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