DO-178C/DO-331 проект является шаблоном, который можно использовать, чтобы оптимизировать принятие Модельно-ориентированного проектирования для высокой целостности бортовая разработка программного обеспечения. Главные преимущества применения Модельно-ориентированного проектирования приближаются к MathWorks® инструменты включают:
Валидация требований, как только процесс проектирования начинается
Верификация проектов рано в цикле разработки (устраняет ошибки на ранних стадиях),
Формулировка тестов и процедур рано в цикле разработки
Набор метрик покрытия рано в цикле разработки (не неожиданная работа в конце цикла)
Улучшенное качество программного обеспечения через автоматическую генерацию кода и автоматизированную инспекцию кода
Оптимизированное регрессионное тестирование через автоматизированное выполнение теста
Осуществление податливости к стандартам программного обеспечения посредством автоматизированных проверок
Открытие дефектов в программном обеспечении при помощи статического анализа
Полная трассируемость среди требований, проекта, исходного кода и тестов
Этот шаблон спроектирован, чтобы создать новый проект, который хранит все документы, требования, проекты, код, тесты, результаты и инструменты, которые важны для DO - 178C приложения. Для получения дополнительной информации см.:
Чтобы лучше изучить реализацию шаблона проекта, смотрите Вертолетное Управление полетом: Пример Модельно-ориентированного проектирования для DO - 178C и тематическое исследование DO-331. Это тематическое исследование демонстрирует использование DO - 178C шаблон проекта как часть рабочего процесса для вертолетного проекта управления полетом. Для получения дополнительной информации смотрите Вертолетный Пример Тематического исследования Управления полетом.
Поддерживаемые платформы для 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).
