Перед использованием комплекта DO Qualification Kit убедитесь в том, что Вы знакомы с процессами разработки программного обеспечения, связанного с безопасностью, и с квалификацией инструментов, указанных в стандартах безопасности. Дополнительные сведения см. в разделе Процесс квалификации.
У вас должен быть опыт работы с инструментами проверки MathWorks ®, которые вы хотите получить (а также с необходимым программным обеспечением, таким как MATLAB ® и Simulink ®). Список продуктов, сертифицированных для использования в составе квалификационного комплекта DO, см. в разделе Продукты, поддерживаемые квалификационным комплектом DO .
Важно ознакомиться со стандартами, применимыми к проекту. Дополнительные сведения см. в следующих документах, опубликованных организацией стандартов:
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).
DO-178C Стандарт (встроенный кодер).