MathWorks® предназначает инструкции для моделей разработки инженеров и генерации кода для систем высокой целостности с помощью Модельно-ориентированного проектирования с Продуктами Mathworks.
Инструкции используют этот шаблон.
Проверки Model Advisor на руководства по моделированию Высокой Целостности
Simulink® Check™ включает проверки Model Advisor на податливость со стандартами безопасности, на которые ссылаются в инструкциях высокой целостности.