Sistemas de tiempo real duros y blandos

Las técnicas de verificación se clasifican a grandes rasgos en estáticas o dinámicas. La verificación estática (o análisis estático) examina el código o el diseño del sistema sin ejecutarlo. Algunos ejemplos son las revisiones de código, las inspecciones y las herramientas automatizadas de análisis estático. La verificación dinámica (o prueba) consiste en ejecutar el sistema con un conjunto de entradas y observar su comportamiento para encontrar defectos. Ambas son complementarias para garantizar la calidad.

El Número de Prioridad de Riesgo (NPR) es una medida cuantitativa utilizada en el AMFE para priorizar los riesgos. Se calcula como el producto de tres factores clasificados: Gravedad (S), Ocurrencia (O) y Detección (D). La fórmula es [latex]RPN = S por O por D[/latex]. Cada factor se suele clasificar en una escala del 1 al 10, lo que permite a los equipos centrarse primero en los riesgos con mayor puntuación.

La Programación Monotónica de Tasa (RMS) es un algoritmo de programación de prioridad estática para tareas periódicas en un sistema de tiempo real. Asigna prioridades según la frecuencia de las tareas: cuanto menor sea el período de una tarea (mayor su tasa), mayor será su prioridad. RMS es un algoritmo de prioridad estática óptimo; es decir, si cualquier algoritmo de prioridad estática puede programar un conjunto de tareas, RMS también puede. La programabilidad se puede comprobar mediante una prueba basada en la utilización.

El Método de Volumen Finito (MFF) es una técnica numérica dominante en CFD para la resolución de ecuaciones diferenciales parciales. Discretiza el dominio en una malla de volúmenes de control y aplica las ecuaciones que lo rigen en su forma integral a cada volumen. Al convertir las integrales de volumen en integrales de superficie mediante el teorema de divergencia, se centra en el cálculo del flujo de propiedades conservadas a través de las caras de la celda.

La verificación formal es el uso de métodos matemáticos para probar o refutar la corrección del diseño de un sistema con respecto a una especificación formal. A diferencia de las pruebas, que sólo pueden demostrar la presencia de errores para entradas específicas, la verificación formal puede demostrar su ausencia para todas las entradas posibles. Consiste en crear un modelo formal del sistema y utilizar técnicas como la comprobación de modelos o la demostración de teoremas.

El algoritmo Metropolis-Hastings es un método MCMC destacado para obtener una secuencia de muestras aleatorias de una distribución de probabilidad en la que el muestreo directo es difícil. En cada iteración, genera un candidato para la siguiente muestra basándose en la muestra actual. Este candidato se acepta o rechaza con una probabilidad determinada, lo que garantiza que la cadena resultante converja a la distribución deseada.

La abstracción en programación orientada a objetos (POO) consiste en ocultar detalles complejos de implementación y mostrar únicamente las características esenciales del objeto. Se centra en lo que hace un objeto, no en cómo lo hace. Esto se logra mediante clases e interfaces abstractas, que definen un modelo para otras clases sin proporcionar una implementación completa, simplificando así los sistemas complejos.

Las Siete Herramientas Básicas de la Calidad son un conjunto de técnicas gráficas identificadas por Kaoru Ishikawa para la resolución de problemas relacionados con la calidad. Estas herramientas son: diagrama de causa y efecto (espina de pescado), hoja de verificación, gráfico de control, histograma, diagrama de Pareto, diagrama de dispersión y estratificación (a menudo presentada como diagrama de flujo). Se consideran básicas porque son fáciles de usar y requieren poca formación estadística formal.

El modelo en cascada es un proceso de desarrollo de software secuencial y no iterativo, donde el progreso fluye de forma continua (como una cascada) a través de distintas fases: concepción, inicio, análisis, diseño, construcción, pruebas, implementación y mantenimiento. Cada fase debe completarse por completo antes de pasar a la siguiente. A menudo se compara con los modelos iterativos para destacar su flexibilidad.

The recovery block scheme is a software fault-tolerance technique based on design diversity and backward error recovery. It structures a program as a series of blocks, each with a primary module, an acceptance test, and one or more alternate modules. If the primary module's output fails the acceptance test, the system state is restored, and an alternate module is executed.

La verificación y la validación son procesos distintos. La verificación garantiza que un producto cumple los requisitos especificados ("¿Lo estás construyendo bien?"). La validación garantiza que el producto satisface las necesidades reales del usuario y el uso previsto ("¿Está construyendo lo correcto?"). Son actividades complementarias dentro de la gestión de la calidad, a menudo realizadas secuencialmente o en paralelo para garantizar tanto la corrección como la utilidad.

El límite de repetibilidad, [latex]r[/latex], es un valor crítico derivado de la desviación típica de la repetibilidad ([latex]s_r[/latex]). Representa la máxima diferencia absoluta esperada entre dos resultados de un mismo ensayo, obtenidos en condiciones de repetibilidad, con una probabilidad de 95%. Suele calcularse como [latex]r = 2,8 veces s_r[/latex]. Si la diferencia supera [latex]r[/latex], los resultados se consideran sospechosos.