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