Ingeniería de sistemas basada en requisitos

Detecte requisitos incorrectos, ausentes y conflictivos antes de que comience el diseño

Especificaciones del sistema ejecutable del modelo

STIMULUS proporciona un lenguaje de modelado que permite a los arquitectos de sistemas combinar requisitos textuales formalizados, máquinas de estado y diagramas de bloque en un entorno de simulación totalmente integrado. Los requisitos textuales se pueden asignar a cada nivel de la arquitectura funcional del sistema, mientras que las máquinas de estado se suelen utilizan para describir los modos de ejecución o las secuencias operativas de los sistemas atómicos.

Requisitos textuales

STIMULUS proporciona bibliotecas de plantillas de lenguaje compatibles con prácticas comunes del sector para escribir requisitos de sistemas no ambiguos y estandarizados.

Máquinas de estado

STIMULUS proporciona máquinas de estado jerárquico que se pueden combinar fácilmente con requisitos textuales para especificar el comportamiento esperado del sistema para cada modo de ejecución.

Diagramas de bloque

STIMULUS proporciona diagramas de bloque que permiten la descripción de arquitecturas funcionales o de sistema. En cada nivel de sistema, los requisitos se pueden afinar y asignar a subsistemas.

Especificaciones del sistema de depuración y prueba

Con STIMULUS, puede simular la especificación completa del sistema (requisitos, máquinas de estado y diagramas de bloque) como un todo y buscar errores de especificación antes de la fase de diseño, adoptando un requisito efectivo y un proceso de desarrollo basado en pruebas. STIMULUS genera muchos seguimientos de ejecución que satisfacen las especificaciones del sistema y proporciona potentes funciones de depuración para analizar los resultados de la simulación de requisitos: detección y diagnóstico automáticos de requisitos en conflicto o ausentes, cobertura de requisitos, énfasis de requisitos activos, supervisión de señales, etc.

Requisitos en conflicto

En el momento de la simulación, el solver de STIMULUS detectará los conflictos entre los requisitos. Cuando se produce un conflicto en un instante de tiempo determinado, el simulador se detiene para resaltar el conjunto de requisitos conflictivos.

Faltan requisitos

En el momento de la simulación,STIMULUS detectará los requisitos que faltan o, de forma más precisa, los instantes de tiempo en los que alguna salida del sistema no se haya definido por algún requisito, que se representa con líneas discontinuas en la ventana de simulación.

Cobertura de requisitos

Cuando los requisitos se transforman en observadores, STIMULUS medirá su cobertura funcional. Se considera que un requisito está cubierto si se ha activado al menos una vez desde que se inició la simulación.

STIMULUS en acción: simulación de requisitos

La siguiente figura muestra una captura de pantalla de STIMULUS en la que la simulación de requisitos da lugar a algún conflicto. Una vez que STIMULUS detecta el conflicto, el usuario puede analizarlo mediante las funciones de depuración (simulación de retroceso, énfasis de requisitos, supervisión de señales, etc.).