Моделирование систем повышенной надежности

Руководства по моделированию для систем высокой целостности

Используйте инструкции высокой целостности, когда вы разработаете модели и сгенерируете код для систем высокой целостности с помощью Модельно-ориентированного проектирования с продуктами MathWorks®. Инструкции обеспечивают установку модели, использование блока и факторы параметров блоков для создания моделей, которые завершены, однозначны, статически детерминированы, устойчивы, и поддаются проверке.

Эти инструкции не принимают, что вы используете особую безопасность или стандарт сертификации. Ссылка инструкций некоторые стандарты безопасности, когда они применяются, включая DO-178C / DO-331, IEC 61508, ISO 26262 и EN 50128.

Если у вас есть лицензия Simulink® Check™, можно использовать Model Advisor, чтобы проверять на податливость с инструкцией.