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