Exponenta Banner

Создайте проект DO-178

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

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

  1. На экране MATLAB Home нажмите Simulink, чтобы открыть начальную страницу Simulink®.

  2. Во вкладке New расширьте опцию DO Qualification Kit, переместитесь, ваш курсор по DO - 178C Проецируют изображение и выбирают Create Project.

  3. В диалоговом окне Create Project введите DO178C_demo как имя проекта и выбора расположение файла, где вы хотите сохранить проект. Нажать ОК.

Simulink генерирует и открывает новый проект. Можно теперь добавить содержимое в проект:

Для получения дополнительной информации об использовании проектов смотрите управление проектами (Simulink).

Ярлыки проекта шаблона проекта DO-178 и папки

Когда вы создаете свой DO - 178C проект при помощи шаблона, проект предварительно заполняется с:

  • Ярлыки проекта

  • Шаблоны документа по планированию

  • Рекомендуемое моделирование и кодирование стандартов

  • Конструктивные ограничения в форме библиотек, шаблонов модели, настроек модели и проверок

  • Инструменты для автоматизации жизненных задач разработки и верификации

Ярлыки проекта обеспечивают простой способ выполнить общие задачи в проекте. В 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_01_Planning

Планы, стандарты и контрольные списки.

> checklists

Контрольные списки для анализа требований, моделей, кода, тестов, результатов испытаний и данных о трассировке.

> plans

Программное обеспечение планируя артефакты. Подпапки включают:

  • MB_11_01_PSAC — содержит План артефакта относительно Аспектов программного обеспечения Сертификации (PSAC)

  • MB_11_02_SDP — содержит План разработки программного обеспечения (SDP) артефакта

  • MB_11_03_SVP — содержит План верификации программного обеспечения (SVP) артефакта

  • MB_11_04_SCMP — содержит План управления конфигурированием ПО (SCMP) артефакта

  • MB_11_05_SQAP — содержит План артефакта относительно Аспектов программного обеспечения Сертификации (PSAC)

> standards

Артефакты стандартов программного обеспечения. Подпапки включают:

  • MB_11_06_SRS — содержит Стандарты требований к программному обеспечению (SRS) артефакта

  • MB_11_07_SDS — содержит Стандарты разработки ПО (SDS) артефакта

  • MB_11_08_SCS — содержит Стандарты программного кода (SCS) артефакта

  • MB_11_23_SMS — содержит Стандарты модели ПО (SMS) артефакта

DO_02_Requirements

Данные о жизненном цикле, которые соответствуют требованиям высокого уровня.

> specification

Хранит ваш высокий уровень и выведенные требования (.slreqx), и их данные о трассируемости (.slmx). Это подпапки пусто после создания.

> verification_results

Хранит ваши контрольные списки, которые соответствуют действиям анализа для высокоуровневых требований к программному обеспечению и выведенных требований. Это подпапки пусто после создания.

DO_03_Design

Данные о жизненном цикле, которые соответствуют низкоуровневым требованиям (модели проекта).

> common

Построения общего умысла и применимые артефакты верификации. Подпапки включают:

  • specification — содержит совместно использованные блоки и данные. В этой папке:

    • block_libraries содержит пользовательские библиотеки блоков (.slx), и их данные о трассируемости (.slmx).

    • data содержит словари общих данных (.slddM) используемый несколькими моделями проекта.

    • data_types содержит пользовательские типы данных, включая перечисления, шины и псевдонимы (.slddM).

  • test_cases — Хранит ваши тесты и процедуры для выборочных библиотечных блоков.

  • verification_results — Хранит ваши результаты верификации для выборочных библиотечных блоков.

> sample_model

Шаблон папки, который можно использовать, чтобы создать модель проекта. Эта папка и ее подпапки пусты после создания.

Если папка модели создается, вы:

  1. Создайте модель и данные и сохраните их в specification подпапка.

  2. Разработайте тесты для проверки модели против требований к программному обеспечению. Сохраните тесты в test_cases подпапка.

  3. Сохраните все результаты верификации для модели в verification_results подпапка.

> sample_model> specification

Модель проекта (.slx) и его данные о трассируемости (.slmx). В этой папке:

  • data содержит словари данных (.slddM) используемый только моделью проекта.

  • documents содержит Отчет Описания Разработки системы модели проекта.

> sample_model> test_cases

Тесты и процедуры для модели проекта. В этой папке:

  • HLR содержит высокоуровневые тестовые обвязки (.slx) и высокоуровневые тестовые файлы (.mldatx) это разрабатывается для модели проекта и их данных о трассируемости (.slmx).

  • LLR содержит низкоуровневые тестовые обвязки (.slx) и низкоуровневые тестовые файлы (.mldatx) это разрабатывается для модели проекта.

> sample_model> verification_results

Верификация заканчивается для модели проекта. В этой папке:

  • design_error_detections содержит Отчет Поиска ошибок проектирования.

  • design_standard_checks содержит Отчет Model Advisor.

  • model_coverages содержит совокупный Отчет Покрытия модели и отчеты, представленные высокоуровневыми и низкоуровневыми тестами.

  • model_metrics содержит Метрический Отчет Модели.

  • model_reviews содержит Контрольный список Анализа Модели.

  • simulation_results содержит результаты симуляции и Отчеты Результатов симуляции, включая произведенных высокоуровневыми и низкоуровневыми тестами модели проекта.

DO_04_Code

Данные о жизненном цикле, которые соответствуют исходному коду и исполняемому объектному коду.

> specification

Хранит сгенерированный код. Это подпапки пусто после создания.

> verification_results

Верификация заканчивается для исходного кода и исполняемого объектного кода. Это папки и его подпапки пусто после создания.

> verification_results> code_reviews

Отчеты инспекции кода и контрольные списки рассмотрения кода.

> verification_results> eoc_test_results

Результаты испытаний и Отчеты Результатов испытаний.

> verification_results> code_coverages

Отчеты покрытия кода.

> verification_results> coding_error_detections

Отчеты Polyspace® Bug Finder™ Analysis.

> verification_results> code_proving

Отчеты верификации Polyspace Code Prover.

> verification_results> code_standard_checks

Polyspace, кодирующий отчеты стандартов.

> verification_results> code_metrics

Метрические отчеты Polyspace кода.

DO_05_Artifacts

Хранит ваши данные о жизненном цикле и артефакты, которые не производятся при помощи инструментов Mathworks. Это - ответственность пользователя создать эти артефакты:

  • MB_11_15_SEC — индекс Настройки среды Жизненного цикла программного обеспечения артефакта (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

Содержит данные о жизненном цикле квалификации инструмента.

Специфичные для инструмента подпапки, которые соответствуют Продуктам Mathworks, которые поддерживаются DO Qualification Kit, включают:

  • PolyspaceBugFinder

  • PolyspaceCodeProver

  • SimulinkCheck

  • SimulinkCodeInspector

  • SimulinkCoverage

  • SimulinkDesignVerifier

  • SimulinkModelComparison

  • SimulinkReportGenerator

  • SimulinkRequirements

  • SimulinkTest

help

Инструкции относительно использования DO - 178C шаблон проекта, описание папок/подпапок проекта и советы для Requirements Management Interface Simulink Requirements™.

tools

Инструменты и настройки, которые важны для проекта.

> checks

Конфигурационные файлы для проверок Model Advisor и Polyspace, Кодирующего Стандартные проверки, спроектированные, чтобы дополнить Стандарты модели ПО (SMS) и Стандарты программного кода (SCS), предоставленные в проекте, соответственно.

> compatible_blocks

Библиотека блоков, содержащая все примитивные блоки, которые совместимы с Simulink Code Inspector™. Служит ограничениями разработки ПО.

> templates

Шаблоны и настройки для создания моделей. Подпапки включают:

  • model_configurations — содержит настройки базовой модели, которые соответствуют артефакту Стандартов Модели ПО.

  • model_templates — содержит шаблон модели, который соответствует артефакту Стандартов Модели ПО.

> utilities

Служебные функции, которые можно использовать, чтобы выполнить существенные задачи разработки и верификации. Подпапки включают:

  • code_generation — содержит служебные функции для генерации кода и получения жизненной информации о файле кода.

  • modeling — содержит служебные функции для получения жизненной модели и информации о библиотеке блоков.

  • project_management — содержит служебные функции для управления проект. В этой папке:

    • shutdown содержит ярлык проекта, который выполняет задачи очистки и восстановления при закрытии проекта.

    • startup содержит ярлык проекта, который выполняет регистрацию и задачи настройки при запуске проекта.

  • report_generation — содержит служебные функции для генерации Отчетов Описания Разработки системы и Отчетов Требований.

  • requirements_management — содержит служебные функции для конфигурирования настроек Интерфейса управления требования (RMI) Simulink Coverage™.

  • verification — содержит служебные функции для проверки моделей и кода. В этой папке:

    • dynamic_testing содержит служебные функции, которые проверяют модели и код при помощи методологий динамического тестирования.

    • static_analysis содержит служебные функции, которые проверяют модели и код при помощи статических анализов и проверок.

work

Значение по умолчанию рабочая папка, которая содержит, работает разрабатываемые и промежуточные результаты верификации.

cache подпапка содержит артефакты сборки модели, используемые в симуляции и промежуточных артефактах, созданных в результате выполнения действий верификации.

Документация DO Qualification Kit
Поддержка