Modelización de sistemas de alta integridad
Utilice las directrices de alta integridad cuando desarrolle modelos y genere código para sistemas de alta integridad utilizando el diseño basado en modelos con productos de MathWorks®. Las directrices proporcionan información sobre la configuración del modelo, el uso de los bloques y los parámetros de los bloques para crear modelos que sean completos, sin ambigüedades, estadísticamente determinísticas, sólidos y verificables.
Estas directrices no asumen el uso de una norma de seguridad o certificación concreta. Las directrices hacen referencia a algunas normas de seguridad, si aplican, como DO-178C / DO-331, IEC 61508, ISO 26262, EN 50128/EN 50657, ISO 25119 y EN 50657.
Si tiene una licencia de Simulink® Check™, puede utilizar Model Advisor para comprobar el cumplimiento de una directriz. Para ver las comprobaciones de Model Advisor, consulte Model Advisor Checks for High-Integrity Systems Modeling Guidelines.
Para obtener más información, consulte Motivation y Guideline Template.
Categorías
- Consideraciones sobre los bloques de Simulink
Nombres, operaciones matemáticas, puertos y subsistemas, enrutamiento de señales, operaciones lógicas y de bits
- Consideraciones sobre el gráfico de Stateflow
Nombres, propiedades y arquitectura del gráfico de Stateflow®
- Consideraciones sobre la función de MATLAB y el código de MATLAB
Funciones de MATLAB®, código de MATLAB
- Consideraciones sobre los parámetros de configuración
Ajustes de solver, diagnóstico y optimización
- Consideraciones sobre los requisitos
Vincular los requisitos a un modelo
- Consideraciones sobre el cumplimiento de MISRA C:2012
Cumplimiento de MISRA C:2012, incluido el estilo de modelado, el uso de bloques y los ajustes de configuración