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