Para contribuir a evaluar la calidad del código de software utilizado en las unidades de control electrónico, la Motor Industry Software Reliability Association (MISRA) introdujo directrices para el uso del código C en el software que se ejecuta en automóviles y aeronaves. En 1998, MIRA Ltd. publicó MISRA C (MISRA C:1998) para proporcionar un subconjunto restringido de un lenguaje estandarizado y estructurado que cumpliera con el Nivel de Integridad de Seguridad (SIL) 2 y superiores.
Desde entonces, se han producido varias actualizaciones del estándar, incluidas MISRA C:2004, el estándar MISRA AC AGC en el contexto de la generación automática de código, MISRA C++:2008 para C++ y el estándar MISRA C:2012.
Para obtener más información sobre MISRA C, consulte misra.org.uk.
Simulink, Stateflow y Embedded Coder se utilizan de forma generalizada para generar software embebido para MISRA C®. Los productos de verificación de código de Polyspace® se utilizan para analizar el código escrito a mano o generado para verificar la conformidad con MISRA C. Polyspace Bug Finder soporta la detección de las reglas de codificación de MISRA-C: 2004, MISRA-C++:2008, MISRA C:2012 y MISRA AC AGC.
Es posible configurar un modelo o un subsistema para que el generador de código tenga más probabilidades de producir código compatible con MISRA C: 2012 utilizando el asesor de generación de código. La conformidad con MISRA del código generado se puede comprobar mediante Polyspace, y los resultados se pueden rastrear hasta el modelo. Se pueden incluir anotaciones a nivel de modelo para proporcionar justificaciones de cualquier desviación.
Más información sobre la generación de código conforme con MISRA:
Para ayudar aún más a los usuarios en sus esfuerzos por conseguir la conformidad con MISRA C, MathWorks proporciona la Tabla de soporte de MISRA mediante Embedded Coder con modelos de Simulink y Stateflow.
El paquete de análisis de MISRA C incluye:
- Documentación con resumen de reglas y ejemplos detallados
- Modelos de Simulink
Más información sobre la verificación de la conformidad con MISRA mediante los productos de Polyspace:
Productos clave para el desarrollo de aplicaciones MISRA C:
Díganos cómo podemos ayudarlo.
Póngase en contacto con nosotros para obtener una evaluación personalizada y conseguir precios acordes a sus necesidades.
