Перед использованием 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, Design Assurance Guidelines для бортового электронного оборудования
MISRA C:2012, Руководство по использованию языка C в критических системах
Также ознакомьтесь со следующей информацией:
Моделирование систем повышенной надежности (Simulink)
Моделируйте проверку соответствия DO-178C/DO-331 стандарту (Simulink Check).
DO-178C Standard (Embedded Coder).