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

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

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

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

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

Для получения дополнительной информации смотрите Шаблон Мотивации и Инструкции.