DO-254 проверки облегчают разработку и устранение неисправностей моделей, на основе которых создается код для приложений, которые должны отвечать требованиям безопасности или критически важным требованиям.
При выполнении проверок Check™ Model Advisor выполняет взятие на изменение лицензии Simulink ® DO-254 .
Эти проверки квалифицированы квалификационным комплектом DO для использования в проектах, связанных со стандартом DO-254 и соответствующими стандартами.
Проверки кодера Simulink (кодер Simulink)
Радио-Техническая Комиссия для Аэронавтики (RTCA) для получения информации о - 178C Соображения программного обеспечения в Airborne Systems и Сертификация оборудования и связанные стандарты