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