Можно проверять, что модель или подсистема выполняют выбранные аспекты DO - 178C стандарт безопасности путем выполнения Model Advisor.
Чтобы проверить соответствие стандартам DO, откройте Model Advisor и запустите регистрации By Task> Modeling Standards for DO-178C/DO-331.
Таблица приводит DO-178C/DO-331 проверки.
Следующее является проверками Моделирования систем повышенной надежности, которые применимы для DO-178C/DO-331 стандарты.
Можно проверять, что модель или подсистема выполняют выбранные аспекты Высокого стандарта безопасности Системной модели Целостности путем выполнения Model Advisor.
Чтобы проверить соответствие Высоким стандартам Системной модели Целостности, запустите высокие проверки целостности от этих папок Model Advisor:
By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems
By Task> Modeling Standards for IEC 61508> High-Integrity Systems
By Task> Modeling Standards for IEC 62304> High-Integrity Systems
By Task> Modeling Standards for EN 50128/EN 50657> High-Integrity Systems
By Task> Modeling Standards for ISO 26262> High-Integrity Systems
By Task> Modeling Standards for ISO 25119> High-Integrity Systems
Для получения информации о Факторах High Integrity System Model Software в Бортовых Системах и Сертификации оборудования и связанных стандартах, смотрите Радио-Техническую Комиссию для Аэронавтики (RTCA).
Эта таблица приводит Высокие проверки Системной модели Целостности и их соответствующие руководства по моделированию. Для получения дополнительной информации о Руководствах по моделированию Высокой Целостности, смотрите Моделирование систем повышенной надежности.