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
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.
с Итоговым Отображением и плагинами MATLAB. Для получения дополнительной информации смотрите, Разрабатывают Задания Сборки Дженкинса при помощи Непрерывного Интегрирования в DO-178C/DO-331 Проект
.
Примечание
Если вы хотите запустить Дженкинса непрерывные задания сборки интегрирования на нескольких хостах или в облаке, свяжитесь с командой MathWorks CI. Продукты компилятора и продукты преобразования, такие как Embedded Coder, Simulink Design Verifier, и Simulink Code Inspector, могут потребовать Лицензий на клиентский доступ (CAL).