Проект DO-178C/DO-331 - это шаблон, который можно использовать для оптимизации внедрения конструкции на основе модели для разработки авиационного программного обеспечения с высокой целостностью. Этот шаблон предназначен для создания нового проекта, в котором хранятся все документы, требования, проекты, код, тесты, результаты и инструменты, релевантные для DO-178C/DO-331 приложений. Этот проект предварительно заполнен:
Шаблоны документов планирования
Рекомендуемые стандарты моделирования и кодирования
Создание ограничений в формах библиотек, шаблонов моделей, конфигураций моделей и проверок
Оснащение для автоматизации жизненно важных задач разработки и проверки
К основным преимуществам применения подхода к проектированию на основе модели к инструментам MathWorks ® относятся:
Проверка требований сразу после начала процесса проектирования
Проверка проектов на ранних этапах цикла разработки (устранение ошибок на ранних этапах)
Разработка тестовых примеров и процедур на ранних этапах цикла разработки
Сбор показателей покрытия на ранних этапах цикла разработки (без непредвиденной работы в конце цикла)
Повышение качества программного обеспечения за счет автоматического создания кода и автоматической проверки кода
Оптимизированное регрессионное тестирование за счет автоматического выполнения тестов
Обеспечение соответствия стандартам программного обеспечения посредством автоматизированных проверок
Обнаружение дефектов в программном обеспечении с помощью статического анализа
Полная прослеживаемость требований, конструкции, исходного кода и тестовых примеров
Этот шаблон предназначен для создания нового проекта, в котором хранятся все документы, требования, проекты, код, тесты, результаты и инструменты, релевантные для DO-178C приложений. Дополнительные сведения см. в разделе:
Чтобы лучше понять реализацию шаблона проекта, см. Пример проектирования на основе модели для DO-178C и DO-331. В этом примере показано использование шаблона проекта DO-178C как части потока операций для проекта управления полетом вертолета. Этот пример включает многие этапы жизненного цикла разработки и проверки, предусмотренные DO-178C и DO-331 стандартами безопасности. Для открытия примера в командной строке MATLAB ® введите:
do178CaseStudyStart Поддерживаемыми платформами для проекта DO-178C являются Windows ® и Linux ®.
Минимальные требования к программному обеспечению MathWorks включают:
MATLAB
Симулинк ®
Отчет MATLAB Generator™
Генератор отчетов Simulink
MATLAB Coder™
Симулинк-кодер
Встроенный кодер ®
Симулинк Requirements™
Симулинк Check™
Симулинк Coverage™
Симулинк Test™
Verifier™ проектирования Simulink
Inspector™ кода Simulink
Ошибка Polyspace ® Finder™
Код Polyspace Prover™
Designer™ с фиксированной точкой
Требования к внешнему программному обеспечению:
Поддерживается компилятор C/C + +. Дополнительные сведения см. в разделе Поддерживаемые и совместимые компиляторы - все продукты на веб-сайте MathWorks.
с подключаемыми модулями Summary Display и MATLAB. Дополнительные сведения см. в разделе Разработка Jenkins Build Jobs с использованием непрерывной интеграции в проекте DO-178C/DO-331
.
Примечание
Если вы хотите запустить задания непрерывной интеграции Jenkins на нескольких хостах или в облаке, свяжитесь с командой MathWorks CI. Для продуктов компилятора и продуктов преобразования, таких как Embedded Coder, Simulink Design Verifier и Simulink Code Inspector, могут потребоваться клиентские лицензии.