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