exponenta event banner

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

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

  • Исходные данные и рабочие продукты (WP) для нормативных пунктов ISO 26262-6: 2018

  • Типовое планирование и проверка документов контрольного списка

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

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

Примечание

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

Нормативная оговоркаПапка проекта «Дорожная полоса - следующий пример»Описание
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 > Входы

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

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

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

ISO_06_05_Planning > WP

Пункт 6 - Технические требования к безопасности программного обеспечения

ISO_06_06_Software_Safety_Requirements > Входы

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

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

  • 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 > WP

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

ISO_06_07_Software_Architectural_Design > Входы

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

  • Файлы конфигурации

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

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

  • Отчеты

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

ISO_06_07_Software_Architectural_Design > WP

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

ISO_06_08_Software_Unit_Design_and_Implementation > Входы

Содержит данные, относящиеся к блокам программного обеспечения в модели. 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 > WP

Статья 9: Проверка программного обеспечения

ISO_06_09_Software_Unit_Verification > Входы

Содержит данные, относящиеся к проверке программных блоков в модели. 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.

ISO_06_09_Software_Unit_Verification > WP

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

ISO_06_10_Software_Integration_and_Verification > Входы

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

  • Управление прогнозом модели Toolbox™

  • Динамика транспортного средства Blockset™

  • Автоматизированное вождение Toolbox™

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

ISO_06_10_Software_Integration_and_Verification > WP

Статья 11. Тестирование встроенного программного обеспечения

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

Приложение C: Конфигурация программного обеспечения

ISO_06_C_Software_Configuration > WP

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

В данном примере эти папки намеренно пусты. Данные конфигурации и конфигурация программных блоков были рассмотрены для некоторых конфигурируемых блоков в этом проекте. Более подробная информация приведена в разделе Полоса движения: Пример проектирования на основе модели для сценария ISO 26262:2018 в прямом эфире (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 > WP

Неприменимо

инструменты

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

  • check - содержит файлы конфигурации и сценарии для проверок Model Advisor и стандартных проверок Polyspace ® Coding

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

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

Неприменимо

работа

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

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

  • demo - содержит сценарий MATLAB ® live runDemo.mlx.

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

Связанные темы