Un marco para la formalización semiautomatizada de los requisitos de la automoción

La cantidad y la complejidad de las funciones implementadas en los vehículos han aumentado rápidamente en los últimos años. En la actualidad, la visión del vehículo autónomo ha dejado de ser un sueño o una película de fantasía para convertirse en una realidad. Para conseguir la mejor calidad y una alta seguridad, se necesitan técnicas de verificación avanzadas. Simulink Design Verifier es una herramienta de comprobación de modelos basada en la verificación formal, que puede utilizarse eficazmente para resolver los problemas relativos a la detección de errores y las pruebas en las primeras fases del proyecto. La transformación de los requisitos escritos en su forma tradicional en objetivos de Simulink Design Verifier directamente puede llevar mucho tiempo, además de requerir el conocimiento del modelo del sistema y de la herramienta de verificación. Para reducir el consumo de tiempo y guiar al usuario a través del modelo del sistema y la herramienta de verificación se ha desarrollado un marco semiautomatizado. La implementación de patrones de gramática inglesa restringida en objetos Simulink permite describir los patrones a los ingenieros y reducir el consumo de tiempo. El marco desarrollado es flexible e intuitivo, por lo que puede ser una solución para otras ramas de la industria, pero se requieren futuras pruebas y verificaciones.