Перед использованием продукта DO Qualification Kit убедитесь, что вы имеете:
Знание о разработке критического по отношению к безопасности программного обеспечения.
Знание:
DO - 178C, факторы программного обеспечения в бортовых системах и сертификации оборудования
DO-330, факторы проверки программного инструмента
DO-331, основанное на модели дополнение разработки и верификации к DO - 178C и DO - 278A
DO-333, дополнение формальных методов к DO - 178C и DO - 278A
DO-254, руководство обеспечения проекта бортовым электронным оборудованием
Испытайте использующие функции инструментов верификации MathWorks®, которые вы хотите квалифицировать (и связал требуемое программное обеспечение, такое как MATLAB® и Simulink®).
Кроме того, познакомьтесь со следующей информацией:
Моделирование систем повышенной надежности (Simulink)
Проверки модели на DO-178C/DO-331 Стандартную Податливость (Simulink Check).
Если у вас есть лицензия Embedded Coder®, DO - 178C Стандарт (Embedded Coder).
