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

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

Используйте руководящие принципы высокой целостности при разработке моделей и генерации кода для систем высокой целостности с помощью Модельно-ориентированное Проектирование with 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 Checks for High-Integrity Modeling Guidelines.

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

Для просмотра документации необходимо авторизоваться на сайте