Используйте инструкции высокой целостности, когда вы разработаете модели и сгенерируете код для систем высокой целостности с помощью Модельно-ориентированного проектирования с продуктами MathWorks®. Инструкции обеспечивают образцовую установку, блочное использование и блочные факторы параметра для создания моделей, которые завершены, однозначны, статически детерминированы, устойчивы, и поддаются проверке.
Эти инструкции не принимают, что вы используете особую безопасность или стандарт сертификации. Ссылка инструкций некоторые стандарты безопасности, когда они применяются, включая DO-178C / DO 331, IEC 61508, ISO 26262 и EN 50128.
Если у вас есть лицензия Simulink® Check™, можно использовать Образцового Советника, чтобы проверить на соответствие с инструкцией.
