MathWorks® предназначает инструкции для моделей разработки инженеров и генерации кода для систем высокой целостности с помощью Модельно-ориентированного проектирования с Продуктами Mathworks. Инструкции предоставляют рекомендации для создания моделей Simulink®, которые завершены, однозначны, статически детерминированы, устойчивы, и поддаются проверке. Инструкции фокусируются на настройках модели, использовании блока и параметрах блоков, которые влияют на поведение симуляции или код, сгенерированный продуктом Embedded Coder®.
Эти инструкции не принимают, что вы используете особую безопасность или стандарт сертификации. Ссылка инструкций некоторые стандарты безопасности когда это применимо, включая:
Инструкции могут также быть применимы к связанным стандартам, включая IEC 62304 и DO-254.
Можно использовать Model Advisor, чтобы поддержать соблюдение этих инструкций. Каждая инструкция перечисляет проверки, которые применимы к той инструкции, или к частям той инструкции.
Инструкции не обращаются к стилю модели или процессам разработки. Для получения дополнительной информации о создании моделей способом, который улучшает непротиворечивость, ясность и удобочитаемость, видят инструкции по Руководствам по моделированию MAB. Руководство процесса разработки и дополнительная информация для определенных стандартов доступны с продуктами DO Qualification Kit (for DO-178) и IEC Certification Kit (for ISO 26262 and IEC 61508).
В то время как соблюдение рекомендаций в инструкциях снизит риск, что ошибка введена во время разработки и не быть обнаруженной, это не гарантия, что разработанная система будет безопасна. С другой стороны, если некоторые рекомендации в инструкциях не сопровождаются, это не означает, что разработанная система будет небезопасна.