Обзор проекта «Дорожная полоса - следующий пример»

Тематическое исследование включает данные, которые вы используете в рабочем процессе Модельно-ориентированное проектирование для разработки системы, следующей за трассой. Структура папок проекта, которая соответствует нормативным пунктам ISO 26262:2018, включает:

  • Входные параметры и рабочие продукты (РП) для нормативных положений ISO 26262-6: 2018

  • Шаблон для планирования и анализа документов контрольного списка

  • Проектируйте ограничения в виде библиотек, моделей, строений модели и проверок

Чтобы лучше изучить предварительно заполненное содержимое в дорожном переулке Следующее: Модельно-ориентированное проектирование пример для примера ISO 26262:2018, смотрите следующую таблицу.

Примечание

Проект включает файлы, отображающие информацию, такую как модели и результаты, из проекта или внешне через использование .html, Microsoft® Словесные .docxили PDF файлов.

Нормативная оговоркаHighway Lane-Following Case Study Папка проектаОписание
ISO 26262-4: 2018 Дорожное транспортное средство - Функциональная безопасность - Часть 4: Продукт разработки на уровень системы
Пункт 4: Концепция технической безопасностиISO_04> ISO_4_6_5_1_Technical_Safety_Requirement_SpecificationСодержимое, относящееся к Техническим требованиям безопасности. Рабочий продукт является набором требований TSRS.slreqx.
ISO_04> ISO_4_6_5_3_System_Architecture_Design_Specification

Содержимое, относящееся к спецификации проекта системной архитектуры. К рабочим продуктам относятся:

  • Модель системной архитектуры HLF_SystemArchitecture.slx

  • Словарь данных DD_HLF_SystemArchitecture.sldd

ISO 26262-6: 2018 Дорожное транспортное средство - Функциональная безопасность - Часть 6: Разработка продукта на уровне программного обеспечения

Пункт 5: Общие темы разработки продукта на уровне программного обеспечения

ISO_06_05_Planning> Inputs

Содержимое, относящееся к документации среды разработки ПО.

Рабочий продукт SoftwareDevelopmentEnvironmentsTemplate.docx

является шаблоном, который частично заполнен информацией об основанном на модели дизайне и встроенной среде разработки, основанной на Simulink.

ISO_06_05_Planning> WPs

Пункт 6: Спецификация требований безопасности программного обеспечения

ISO_06_06_Software_Safety_Requirements> Inputs

Содержимое, относящееся к требованиям безопасности программного обеспечения.

Подпапки рабочего продукта включают:

  • ISO_6_6_5_1_Software_Safety_Requirements_Specification - содержит требования безопасности программного обеспечения для функциональности тематического исследования (SSRS.slreqx)

  • ISO_6_6_5_2_HSI_Specification_refined

    Эта папка преднамеренно пуста. Зарезервирован для использования в будущем.

  • ISO_6_6_5_3_Software_Verification_Report - Включает шаблон контрольного списка Requirements_Review_Checklist.xlsx. Можно использовать этот контрольный список для оценки требований к программному обеспечению высокого уровня, чтобы определить, являются ли они точными, последовательными и поддающимися проверке в отношении:

    • Демонстрация пригодности

    • Податливость разработке системы, системным требованиям и технической безопасности

    • Совместимость с аппаратно-программным интерфейсом

    • Соответствие стандартам

    • Алгоритмы

ISO_06_06_Software_Safety_Requirements> WPs

Пункт 7: Архитектурный проект программного обеспечения

ISO_06_07_Software_Architectural_Design> Inputs

Содержит проект конструкций для программной архитектуры модели HighwayLaneFollowingController_SW_Arch.slx, включая:

  • Строения

  • Словари данных

  • Файлы типов данных

  • Отчеты

В этом примере только подпапка рабочего продукта, ISO_6_7_5_1_Software_Architectural_Design_Specification содержит данные. Другие рабочие папки намеренно пусты и зарезервированы для будущего использования.

ISO_06_07_Software_Architectural_Design> WPs

Пункт 8: Программное обеспечение модуля проекта и реализации

ISO_06_08_Software_Unit_Design_and_Implementation> Inputs

Содержит данные, которые релевантны для программных модулей в модели HighwayLaneFollowingController_SW_Arch.slx. Подпапки рабочего продукта включают:

  • ISO_6_8_5_1_Software_Unit_Design_Specification - хранит файлы моделирования, словари данных и тестовые обвязки для программных модулей.

  • ISO_6_8_5_2_Software_Unit_Implementation - содержит отчеты генерации кода для программных модулей, которые были сгенерированы при помощи Embedded Coder®.

ISO_06_08_Software_Unit_Design_and_Implementation> WPs

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

ISO_06_09_Software_Unit_Verification> Inputs

Содержит данные, которые имеют отношение к верификации программных модулей в модели HighwayLaneFollowingController_SW_Arch.slx. Подпапки рабочего продукта включают:

  • ISO_6_9_5_1_Software_Verification_Specification - Сохраняет тестовые файлы, используемые для проверки программного модуля в соответствии с требованиями высокого уровня, которые он реализует. Для этого примера предусмотрены тестовые файлы для программных модулей ControllerModeSelector и WDGBrakingLogic. Тесты выполняются с помощью Simulink® Test™ Test Manager.

  • ISO_6_9_5_2_Software_Verification_Report_refined - содержит отчеты, созданные во время тестов верификации программного обеспечения. Для этого примера подпапка содержит предгенерированные отчеты в .html и PDF форматов. Это также включает результаты тестирования SIL высокого уровня для программных модулей ControllerModeSelector и WDGBrakingLogic, которые можно просмотреть с помощью Simulink Test.

ISO_06_09_Software_Unit_Verification> WPs

Пункт 10: Интегрирование и верификация программного обеспечения

ISO_06_10_Software_Integration_and_Verification> Inputs

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

  • Model Predictive Control Toolbox™

  • Vehicle Dynamics Blockset™

  • Automated Driving Toolbox™

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

ISO_06_10_Software_Integration_and_Verification> WPs

Пункт 11: Проверка из встроенного программного обеспечения

ISO_06_11_Testing_Embedded_Software> InputsПодробные действия по данному пункту не включены в эту версию тематического исследования. Папки намеренно пусты и зарезервированы для использования в будущем.
ISO_06_11_Testing_Embedded_Software> WPs

Приложение C: Строение программного обеспечения

ISO_06_C_Software_Configuration> WPs

Когда это применимо, эта папка содержит информацию о строении для проекта.

В этом примере эти папки намеренно пусты. Данные строения и строение программных модулей были рассмотрены для некоторых конфигурируемых модулей в этом проекте. Дополнительная информация представлена в Highway Lane-Following: A Модельно-ориентированного проектирования Example for ISO 26262:2018 live script (runDemo.mlx), включая ссылку на допустимые пределы.

ISO 26262-8: 2018 Дорожное транспортное средство - Функциональная безопасность - Часть 8: Вспомогательные процессы

Пункт 7: Управление строением

ISO_08> ISO_08_07_Configuration_Management

Для тематического исследования были рассмотрены требования в отношении вспомогательных процессов. Рабочие продукты, соответствующие этим пунктам, не предусмотрены.

Чтобы оценить доверие в использовании программных средств и сгенерировать необходимые отчеты о квалификации инструмента для вашего приложения под фактор, можно использовать следующий IEC Certification Kit программных продуктов:

Эти программные продукты доступны в Менеджера артефактов.

Пункт 8: Управление изменениями

ISO_08> ISO_08_08_Change_Management

Пункт 10: Управление документацией

ISO_08> ISO_08_10_Documentation_Management

Пункт 11: Доверие в использовании программных инструментов

ISO_08> ISO_08_11_Confidence_in_the_use_of_software_tools> WPs

Не применяется

tools

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

  • checks - содержит файлы строения и скрипты для проверок Model Advisor и Polyspace® Стандартные проверки кодирования

  • templates - функция для настройки требований и типов связывания требований в Simulink Requirements™

  • utilities - Служебные функции для запуска проекта и выяснения отношений.

Не применяется

work

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

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

  • demo - Содержит MATLAB® live скрипт runDemo.mlx.

  • dashboards - содержит отчет о состоянии основанного на требовании проверки, сгенерированный с помощью панели Simulink Check™ Model Testing Dashboard.

Похожие темы