В этом разделе описывается Модельно-ориентированное проектирование процесс, который касается действий по разработке и проверке в DO-178C жизненном цикле программного обеспечения.
Фигура 4 иллюстрирует основные программные продукты и действия по разработке программного обеспечения наряду с соответствующими целями из DO-331 [4] таблицы MB.A-2.[1] [2] Твердые горизонтальные стрелы указывают на последовательность действий по разработке программного обеспечения.
Фигура 4: Программные продукты и действия разработки основного программного обеспечения
В следующей таблице перечислены MathWorks® продукты и возможности, которые могут использоваться для поддержки основных действий по разработке программного обеспечения в рабочем процессе.
| Действие рабочего процесса | Доступные продукты и возможности для Модельно-ориентированного проектирования |
|---|---|
| Разработка требований | Инструмент управления требованиями третьих лиц |
| Разработка модели | MATLAB®, Simulink®, Stateflow® |
| Разработка исходного кода | Embedded Coder® |
| Исполняемый объектный код | Сторонний IDE или компилятор, PIL Mode |
Фигура 5 иллюстрирует действия и цели верификации и трассируемости, которые соответствуют основным программным продуктам и действиям по разработке программного обеспечения, показанным на фигуре 4.
Фигура. 5. Деятельность и цели в области верификации и трассируемости
В следующей таблице перечислены Продукты и возможности MathWorks, которые могут использоваться для поддержки основных операций верификации и трассировки рабочего процесса.
| Действие рабочего процесса | Доступные продукты и возможности для Модельно-ориентированного проектирования |
|---|---|
| Верификация требований | Функции Simulink Requirements™ |
| Трассируемость требований | Simulink Requirements |
| Верификация модели | Simulink Check™ - DO-178C/DO-331 проверяет*, Simulink Test™ - менеджер по Тесту*, Simulink Design Verifier™ - Свойство, Оказывающееся (дополнительным), Simulink Design Verifier - (дополнительным) Поиском ошибок проектирования, Simulink Coverage™ - Покрытие модели*, Simulink Report Generator™ - отчет об Описании Разработки системы*, Simulink - Образцовый отчет о Сравнении* |
| Моделирование трассируемости | Simulink Requirements - Requirements Management Interface, Simulink Report Generator - Отчет о проектировании системы *, Simulink - Отчет о сравнении моделей * |
| Верификация кода | Polyspace® Bug Finder™ и Polyspace Bug Finder Server™ - MISRA AC AGC: 2007 проверки, Simulink Code Inspector™ - отчет о верификации кода *, Polyspace Code Prover™ * и Polyspace Code Prover Server * |
| Трассируемость исходного кода | Simulink Code Inspector - Отчет о трассируемости * |
| Исполняемый объектный код верификации | Simulink Test - Test Manager *, Simulink Design Verifier - Генерация тестов, Embedded Coder - PIL-тест, Simulink Coverage - Покрытие кода, Polyspace Code Prover и Polyspace Code Prover server |
| Трассируемость объектного кода | Embedded Coder - отчет о генерации кода, сторонняя IDE или компилятор - Объектный код листинг |
| * DO Qualification Kit может использоваться для поддержки DO-178C квалификации инструмента. | |
[1] DO-331 Table MB.1-1 определяет различные примеры использования модели. Рабочий процесс, представленный здесь, основан на примере MB 1 и адресован уровням обеспечения проекта до DAL A.
[2] Требования, предъявляемые к программному обеспечению, являются результатом процесса разработки системы в соответствии с ARP-4754A.
