Создайте DO-178C/DO-331 Проект

DO - 178C Проект является шаблоном для управления процесс разработки программного обеспечения для DO-178C/DO-331 при помощи MathWorks^® инструменты. Чтобы использовать в своих интересах схему этого проекта при запуске новой программы, можно создать проект на основе этого шаблона.

Создать проект DO-178 при помощи шаблона проекта:

На экране MATLAB Home нажмите Simulink, чтобы открыть Simulink^® начальная страница.
Во вкладке New расширьте опцию DO Qualification Kit, переместитесь, ваш курсор по DO - 178C Проецируют изображение и выбирают Create Project.
В диалоговом окне Create Project введите DO178C_demo как имя проекта и выбора расположение файла, где вы хотите сохранить проект. Нажать ОК.

Simulink генерирует и открывает новый проект. Проект предварительно заполняется с:

Ярлыки проекта
Шаблоны документа по планированию
Рекомендуемое моделирование и кодирование стандартов
Конструктивные ограничения в форме библиотек, шаблонов модели, настроек модели и проверок
Инструменты для автоматизации жизненных задач разработки и верификации
Среда Jenkins™, которая использует непрерывное интегрирование, чтобы полностью автоматизировать выполнение действий верификации программного обеспечения.

Можно теперь добавить содержимое в проект:

Исследуйте ярлыки проекта

Ярлыки проекта в обеспечивании простого способа выполнить общие задачи в проекте.

В DO - 178C шаблон проекта, встроенные ярлыки включают:

Добавьте, что Новая Модель — Создает модель, которая автоматически добавляется к DO_03_Design папка проекта. Для получения дополнительной информации смотрите, Добавляет Модель проекта к Вашему проекту DO-178.
Установите значение по умолчанию, настройка Model Advisor — задает do178Checks.json как конфигурационный файл Model Advisor по умолчанию. Этот конфигурационный файл поставляется с DO - 178C шаблон проекта. Для получения дополнительной информации смотрите Использование Model Advisor Configuration Editor, чтобы Создать Пользовательскую Настройку Model Advisor (Simulink Check).
Настройка Model Advisor Значения по умолчанию восстановления — Очищает установку, которая определяет do178Checks.json как настройка Model Advisor по умолчанию. Model Advisor возвращается настройка Model Advisor, чтобы использовать стандартную настройку, которая задана вашим системным администратором.

Исследуйте папки проекта

DO - 178C папки проекта содержит данные, которые используются в рабочем процессе Модельно-ориентированного проектирования. Используйте следующую таблицу, чтобы лучше изучить содержимое папок проекта когда вы:

Создайте проект
Выполните действия верификации при помощи live скрипта тематического исследования (runDemo.mlx) или Дженкинс непрерывное интегрирование.

Папки проекта в DO - 178C тематическое исследование заполняются с данными, моделями, и так далее которые используются, чтобы спроектировать вертолетную систему управления полетом. В то время как иерархия папок и высокоуровневое концептуальное содержимое совпадают с теми в шаблоне проекта, эти папки заполняются с дополнительными данными.

Папка	Описание
`\continuous_integeration`
`\help`	Инструкции относительно использования Дженкинса непрерывное интегрирование в DO - 178C проект.
`\job`	Источники MATLAB для среды Дженкинса СИ, включая: `DODemoTasks.m` — Класс MATLAB, который обрисовывает в общих чертах задание сборки Дженкинса на основе операций Model-Based Design в DO - 178C проект. `JenkinsJob.m` — Абстрактный класс, который является базисом для разработки задания сборки Дженкинса, такого как `DODemoTasks`. `JenkinsReport.m` — Класс MATLAB, который генерирует отчеты XML от задания сборки Дженкинса. `runJob.m` — Функция MATLAB, которая является точкой входа, чтобы запустить задание сборки Дженкинса.
`\reports`	При использовании непрерывного интегрирования эта папка включает отчеты результатов, отформатированные плагином Отображения Сводных данных Дженкинса. Результаты включают: Сводные данные сборки — Полные результаты для каждой задачи Дженкинса создают задание. Сводные данные Результата верификации — Результаты для отдельных итераций задач верификации, перечисленными результатами в табличном формате. Эта папка пуста, когда вы создаете шаблон проекта.
`\DO_01_Planning`
`\checklists`	Контрольные списки для анализа требований, моделей, кода, тестов, результатов испытаний, симуляции и данных о трассировке.
`\plansMB_11_01_PSAC`	Запланируйте Аспекты программного обеспечения шаблона Certification (PSAC). Это - ответственность пользователя предоставить информацию в этом артефакте.
`\plansMB_11_02_SDP`	Шаблон Software Development Plan (SDP). Это - ответственность пользователя предоставить информацию в этом артефакте.
`\plansMB_11_03_SVP`	Шаблон Software Verification Plan (SVP). Это - ответственность пользователя предоставить информацию в этом артефакте.
`\plansMB_11_04_SCMP`	Шаблон Software Configuration Management Plan (SCMP). Это - ответственность пользователя предоставить информацию в этом артефакте.
`\plans\MB_11_05_SQAP`	Запланируйте Аспекты программного обеспечения шаблона Certification (PSAC). Это - ответственность пользователя предоставить информацию в этом артефакте.
`\standards\MB_11_06_SRS`	Шаблон Software Requirements Standards (SRS). Это - ответственность пользователя обновить этот артефакт так, чтобы это включало только стандарты, которые применимы для проекта на рассмотрении.
`\standards\MB_11_07_SDS`	Шаблон Software Design Standards (SDS). Это - ответственность пользователя обновить этот артефакт так, чтобы это включало только стандарты, которые применимы для проекта на рассмотрении.
`\standards\MB_11_08_SCS`	Шаблон Software Code Standards (SCS). Это - ответственность пользователя обновить этот артефакт так, чтобы это включало только стандарты, которые применимы для проекта на рассмотрении.
`\standards\MB_11_23_SMS`	Шаблон Software Model Standards (SMS). Это - ответственность пользователя обновить этот артефакт так, чтобы это включало только стандарты, которые применимы для проекта на рассмотрении.
`\DO_02_Requirements`
`\specification`	Хранит документы и данные о трассировке для системных требований и высокоуровневых требований к программному обеспечению. Папка пуста, когда вы создаете шаблон проекта. В задании сборки Дженкинса эти отчеты сгенерированы при помощи `taskGenReqReport()` В DO - 178C тематическое исследование, папка включает: Требования устанавливают `SR.slreqx` (системные требования) и `HLR.slreqx` (требования высокого уровня). `HLR.slmx`, который хранит данные о трассировке между высокоуровневыми требованиями к программному обеспечению и связанными системными требованиями. Подпапка `\documents` предоставляет отчеты относительно системных требований и высокоуровневых требований к программному обеспечению.
`\verification_results`	Хранит ваши контрольные списки, которые соответствуют действиям анализа для высокоуровневых требований к программному обеспечению и выведенных требований. Эта папка пуста, когда вы создаете шаблон проекта.
`\DO_03_Design`
`\common`	Обеспечивает построения проекта и артефакты верификации, которые характерны для моделей в проекте.
`\ common\specification`	Хранилища совместно использовали блоки и данные. Подпапки включают: `\block_libraries` содержит пользовательские библиотеки блоков (`.slx`) и данные о трассируемости (`.slmx`). `\data` содержит словари общих данных (`.slddM`) используемый несколькими моделями проекта. `\data_types` содержит пользовательские типы данных, включая перечисления, шины и псевдонимы (`.slddM`).
`\common\test_cases`	Тесты хранилищ и процедуры для выборочных библиотечных блоков.
`\common\verification_results`	Верификация хранилищ заканчивается для выборочных библиотечных блоков
`\<model>`	В DO - 178C тематическое исследование, существует пять папок <model>, каждая из которых выведена из `sample_model` шаблон папки: `Flight_Control` — Верхний уровень, допускающая повторное использование модель, которая реализует полную стратегию управления `Actuator_Control` — Модель одноразового использования, низшего уровня `AHRS_Voter` — Модель одноразового использования, низшего уровня `InnerLoop_Control` — Модель одноразового использования, низшего уровня `OuterLoop_Control` — Модель одноразового использования, низшего уровня Эти модели представляют низкоуровневые требования к программному обеспечению, которые прослеживают до высокоуровневых требований к программному обеспечению, полученных в `\DO_02_Requirements\specification\HLR.slreqx`. Программная архитектура обычно выводится из того, как проект организован. С Модельно-ориентированным проектированием программная архитектура по сути устанавливается иерархией модели проекта, на основе естественной группировки высокоуровневых требований к программному обеспечению. В этом тематическом исследовании проект подразделен на несколько моделей, чтобы удовлетворить различным требованиям в `HLR.slreqx`.
`\<model>\specification`	В DO - 178C тематическое исследование, эта папка хранит `.slx` модели специфичный файл и `.slmx` файл, который хранит данные о трассировке между моделью и связанными высокоуровневыми требованиями к программному обеспечению. Подпапки включают: `\data` хранит словарь данных Simulink, который называют в честь модели с префиксом `DD`, для того, чтобы хранить данные модели специфичные. Поскольку `Actuator_Control` является допускающим повторное использование, существует дополнительный MATLAB^® скрипт, который называют в честь модели с префиксом `localDD_`. Этот скрипт содержит специфичные для экземпляра данные модели. `\data_types` хранит отчет модели System Design Description (SDD).
`\<model>\test_cases`	В DO - 178C тематическое исследование, эта папка содержит тесты и процедуры для модели проекта. Подпапки включают: `\HLR` высокоуровневые тестовые обвязки хранилищ (`.slx`) и высокоуровневые тестовые файлы (`.mldatx`) разработанный для модели проекта и их данных о трассируемости (`.slmx`). В тематическом исследовании существует три высокоуровневых теста для модели `AHRS_Voter`. Эти тесты, которые доступны в `\AHRS_Voter\test_cases\HLR\AHRS_Voter_REQ_Based_Test.mldatx\`, использование внешне сохранило тестовые обвязки (`HRS_Voter_Harness_HLR_11.slx`, `AHRS_Voter_Harness_HLR_12.slx`, и `HRS_Voter_Harness_HLR_13.slx`) проверять модель `AHRS_Voter` против требований `HLR_11`, `HLR_12`, и `HLR_13`, соответственно. Эта папка также содержит файл Simulink Test™ `AHRS_Voter_REQ_Based_Test.slmx`, который хранит данные о трассировке между тестами и высокоуровневыми требованиями к программному обеспечению, которые они разрабатываются, чтобы проверить. `\LLR` низкоуровневые тестовые обвязки хранилищ (`.slx`) и низкоуровневые тестовые файлы (`.mldatx`) разработанный для модели. В тематическом исследовании, сгенерированных низкоуровневых тестах для модели `AHRS_Voter` доступны в `\AHRS_Voter\test_cases\LLR\AHRS_Voter_SLDV_Based_Test.mldatx`. Эти тесты используют тестовую обвязку `AHRS_Voter_Harness_SLDV.slx`.
`\<model>\verification_results`	В DO - 178C тематическое исследование, эта папка хранит результаты верификации для каждой модели проекта. Подпапки включают: `\design_standard_checks` хранит отчет Model Advisor для модели `AHRS_Voter`. `\model_coverages` хранит отчеты покрытия модели, включая совокупный отчет, для модели `AHRS_Voter`. Подпапки включают: `\HLR` хранит отчет покрытия модели, представленный высокоуровневыми тестами. `\LLR` хранит отчет покрытия модели, представленный низким уровнем tests\. `\model_metrics` хранит метрический отчет модели для модели `AHRS_Voter`. `\model_reviews` хранит контрольный список анализа модели для модели `AHRS_Voter`. `\simulation_results` хранит результаты симуляции и отчеты для модели `AHRS_Voter`. Подпапки включают: `\HLR` хранит отчет результатов симуляции, представленный высокоуровневыми тестами. `\LLR` хранит отчет результатов симуляции, представленный низкоуровневыми тестами.
`\DO_04_Code`
`\specification`	Эта папка хранит файлы кода, сгенерированные из отчетов генерации кода и моделей проекта. Это может также содержать файлы кода вручную записанного кода. В папке исходные и объектные файлы для разделяемых утилит и моделей, на которые ссылаются, организованы в `slprj` папка, в то время как исходные и объектные файлы для каждой модели верхнего уровня помещается в отдельную папку сборки. Эта папка пуста, когда вы создаете шаблон проекта. В DO - 178C тематическое исследование, код для модели верхнего уровня находится в `Flight_Control_ert_rtw`. Код для каждой модели низшего уровня находится в `\slprj\ert` папка, с разделяемым кодом.
`\verification`	Сохраните результаты верификации для исходного кода и исполняемого объектного кода.
`\verification\code_coverages\<model>`	Эта папка пуста, когда вы создаете шаблон проекта. В DO - 178C тематическое исследование, эта папка хранит результаты анализа покрытия кода для каждой модели проекта. Подпапки включают: `\host` покрытие кода хранилищ сообщает для кода модели проекта, которые собраны во время программного обеспечения в операциях (SIL) цикла, включая совокупный отчет покрытия кода. Подпапки включают: `\HLR` хранит отчет покрытия кода, представленный высокоуровневыми тестами модели проекта, действующей в режиме SIL. `\LLR` хранит отчет покрытия кода, представленный низкоуровневыми тестами модели проекта, действующей в режиме SIL. `\target` покрытие кода хранилищ сообщает для кода модели проекта, которая собрана во время процессора в операциях (PIL) цикла, включая совокупный отчет покрытия кода. Подпапки включают: `\HLR` хранит отчет покрытия кода, представленный высокоуровневыми тестами модели проекта, действующей в режиме PIL. `\LLR` хранит отчет покрытия кода, представленный низкоуровневыми тестами модели проекта, действующей в режиме PIL.
`\verification\code_metrics\<model>`	Эта папка пуста, когда вы создаете шаблон проекта. В DO - 178C тематическое исследование, эта папка хранит Polyspace^® метрики кода сообщают для кода модели проекта.
`\verification\code_proving\<model>`	Эта папка пуста, когда вы создаете шаблон проекта. В DO - 178C тематическое исследование, эта папка хранит отчет верификации Polyspace Code Prover™ для кода модели проекта.
`\verification\code_reviews\<model>`	Эта папка пуста, когда вы создаете шаблон проекта. В DO - 178C тематическое исследование, эта папка хранит Отчет Simulink Code Inspector™ и контрольный список рассмотрения кода для кода модели проекта.
`\verification\code_standard_checks\<model>`	Эта папка пуста, когда вы создаете шаблон проекта. В DO - 178C тематическое исследование, эта папка хранит Polyspace Bug Finder™, кодирующий отчет стандартов для кода модели проекта. Отчет включает в себя результаты проверки исходного кода каждой модели против правил кодирования Polyspace Bug Finder, как задано в `tools`\`checks`\`MISRA_C_2012_ACG.xml`.
`\verification\code_error_detections\<model>`	Эта папка пуста, когда вы создаете шаблон проекта. В DO - 178C тематическое исследование, эта папка хранит аналитический отчет Polyspace Bug Finder, который обеспечивает результаты оценки кода модели проекта для ошибок.
`\verification\eoc_test_results\<model>`	Эта папка пуста, когда вы создаете шаблон проекта. В DO - 178C тематическое исследование, эта папка хранит результаты испытаний и отчеты результатов испытаний для кода модели проекта. Подпапки включают: `\host` результаты испытаний хранилищ и результаты испытаний сообщают для кода модели проекта, которая была собрана во время программного обеспечения в операциях (SIL) цикла. Подпапки включают: `\HLR` материал хранилищ сгенерирован высокоуровневыми тестами модели проекта, действующей в режиме SIL. `\LLR` хранилища включают результаты, сгенерированные низкоуровневыми тестами модели проекта, действующей в режиме SIL. Подпапка `\instrumented` включает содержимое для кода, который был оснащен для анализа структурного покрытия; `\instrumented` обеспечивает содержимое для кода, который не был оснащен для анализа структурного покрытия. `\instrumented` включает содержимое для кода, который был оснащен для анализа структурного покрытия. `\uninstrumented` обеспечивает содержимое для кода, который не был оснащен для анализа структурного покрытия. `\target` хранилища тестируют результаты и отчеты результатов испытаний для кода модели проекта, которая собрана во время процессора в операциях (PIL) цикла. Подпапки включают: `\HLR` материал хранилищ сгенерирован высокоуровневыми тестами модели проекта, действующей в режиме PIL. `\LLR` хранилища включают результаты, сгенерированные низкоуровневыми тестами модели проекта, действующей в режиме PIL. Подпапка `\instrumented` включает содержимое для кода, который был оснащен для анализа структурного покрытия; `\instrumented` обеспечивает содержимое для кода, который не был оснащен для анализа структурного покрытия. `\instrumented` включает содержимое для кода, который был оснащен для анализа структурного покрытия. `\uninstrumented` обеспечивает содержимое для кода, который не был оснащен для анализа структурного покрытия.
`\DO_05_Artifacts`
`\MB_11_15_SECI`	Индекс Настройки среды Жизненного цикла программного обеспечения артефакта хранилищ (SEC). Это - ответственность пользователя обеспечить этот артефакт для проекта на рассмотрении.
`\MB_11_16_SCI`	Индекс настройки программного обеспечения (SCI) артефакта хранилищ. Это - ответственность пользователя обеспечить этот артефакт для проекта на рассмотрении.
`\MB_11_17_PR`	Проблемные отчеты (PR) артефакта хранилищ. Это - ответственность пользователя обеспечить этот артефакт для проекта на рассмотрении.
`\MB_11_18_SCMR`	Записи управления конфигурированием ПО (SCMR) артефакта хранилищ. Это - ответственность пользователя обеспечить этот артефакт для проекта на рассмотрении.
`\MB_11_19_SQAR`	Записи гарантии качества ПО (SQAR) артефакта хранилищ. Это - ответственность пользователя обеспечить этот артефакт для проекта на рассмотрении.
`\MB_11_20_SAS`	Сводные данные выполнения программного обеспечения (SAS) артефакта хранилищ. Это - ответственность пользователя обеспечить этот артефакт для проекта на рассмотрении.
`\MB_11_22_PDIF`	Файл элемента данных параметра (PDIF) артефакта хранилищ. Это - ответственность пользователя обеспечить этот артефакт для проекта на рассмотрении.
`\DO_06_Tool Qualification`
`\PolyspaceBugFinder` `\PolyspaceCodeProver` `\SimulinkCheck` `\SimulinkCodeInspector` `\SimulinkCoverage` `\SimulinkDesignVerifier` `\SimulinkModelComparison` `\SimulinkReportGenerator` `\SimulinkRequirements` `\SimulinkTest`	Специфичные для инструмента данные о жизненном цикле проверки для инструментов Mathworks, которые поддерживаются DO Qualification Kit.
`\help`	Инструкции относительно использования DO - 178C шаблон проекта, описание папок проекта и советы для Requirements Management Interface (RMI) Simulink Requirements™.
`\tools`	Инструменты и настройки, которые важны для проекта.
`\tools\checks`	Эта папка хранит конфигурационные файлы Model Advisor для использования, чтобы обнаружить нарушения стандартов модели ПО, включая несовместимости Simulink Code Inspector и Polyspace, кодирующий стандартную настройку для использования, чтобы обнаружить нарушения стандартов программного кода. Подпапки включают: `\mw` содержит примеры пользовательских проверок Model Advisor на использование, чтобы обнаружить нарушения Стандартов Модели ПО. `\usr` содержит пользовательские пользовательские проверки Model Advisor
`\tools\compatible_blocks`	Хранит библиотеку блоков, содержащую все примитивные блоки, которые совместимы с Simulink Code Inspector.
`\tools\templates`	Шаблоны хранилищ и настройки для создания новых моделей. Подпапки включают: `\model_configurations` — Содержит настройки базовой модели, которые соответствуют артефакту Стандартов Модели ПО. `\model_templates` — Содержит шаблон модели, который соответствует артефакту Стандартов Модели ПО.
`\tools\utilities`	Служебные функции, которые выполняют существенные задачи разработки и верификации. Подпапки включают: `\code_generation` — Используемый для генерации кода и получения жизненной информации о файле кода. `\modeling` — Используемый для получения жизненной модели и информации о библиотеке блоков. `\project_management` — Используемый для управления проект. В этой папке: `\shutdown` содержит ярлык проекта, который выполняет задачи очистки и восстановления при закрытии проекта. `\startup` содержит ярлык проекта, который выполняет регистрацию и задачи настройки при запуске проекта. `\report_generation` — Используемый для генерации отчетов Описания разработки системы (SDD) и отчетов требований. `\requirements_management` — Используемый для конфигурирования настроек Интерфейса управления требования (RMI) Simulink Coverage™. `\verification` — Используемый для проверки моделей и кода. В этой папке: `\dashboard` содержит служебные функции для использования Метрической Инструментальной панели. `\dynamic_testing` содержит служебные функции, которые используются для методологий динамического тестирования. `\static_analysis` содержит служебные функции, которые используются для статических анализов и проверок.
`\work`	Значение по умолчанию рабочая папка, которая содержит, работает разрабатываемые и промежуточные результаты верификации. Подпапки включают: `\cache` содержит артефакты сборки модели, используемые для симуляции и промежуточных артефактов, созданных в результате выполнения действий верификации. В DO - 178C тематическое исследование, `\demo` содержит live скрипт MATLAB `runDemo.mlx`. Для получения дополнительной информации смотрите, Выполняют Действия Верификации при помощи Live скриптов в MATLAB.

Документация