exponenta event banner

Используя модельно-ориентированное проектирование в тематическом исследовании ISO 26262:2018

Магистральная система следования маршрута ведет транспортное средство, чтобы переместиться в отмеченном маршруте. Для этого транспортного средства это обеспечивает скорость набора или безопасное расстояние от предыдущего транспортного средства в том же маршруте. Система обычно использует алгоритмы обработки видения, чтобы обнаружить маршруты и транспортные средства от камеры. Обнаружения транспортного средства от камеры сплавлены с обнаружениями от радара, чтобы улучшить способность обнаружить окружающие транспортные средства. Контроллер системы использует обнаружения маршрута, обнаружения транспортного средства и скорость набора, чтобы управлять регулированием и ускорением.

Магистральный пример тематического исследования следования маршрута показывает, как можно использовать проект Simulink оптимизировать принятие рабочего процесса Модельно-ориентированного проектирования для проекта ISO 26262:20218 ASIL D. Можно использовать этот проект, который включает многие этапы жизненного цикла разработки и верификации, вызванные ISO 26262, нормативные пункты, чтобы обеспечить работают продукты, которые требуются как доказательство для податливости с нормативными пунктами в части 6 ISO 26262:2018.

Для ссылки этот рабочий процесс Модельно-ориентированного проектирования включает MathWorks® продукты, что можно использовать для действий процесса, заданных ISO 26262-6:2018 пункты. Этот рабочий процесс используется, чтобы разработать артефакты в магистральном тематическом исследовании следования маршрута. Для получения дополнительной информации о рабочих процессах, смотрите Рабочие процессы IEC Certification Kit.

Model-Based Design workflow for ISO 26262-6:2018

Тематическое исследование ISO 26262:2018 включает скрипты, которые выполняют разработку, генерацию кода, верификацию и действия генерации отчета. Результаты включают артефакты, которые необходимы как доказательство для податливости. Можно автоматизировать выполнение их верификация и действия валидации при помощи скриптов Live Editor в MATLAB® или непрерывная интеграция с Jenkins™:

Для каждой модели:

  • Генерирует отчет описания разработки системы (SDD).

  • Соответствие проверок со Стандартами Модели ПО.

  • Осуществляет проверки для поиска ошибок проектирования.

  • Генерирует код.

Для кода, который сгенерирован из каждой модели, проверьте соответствие кода к Стандартам Программного кода (MISRA C®).

Для требований и тестов:

  • Генерирует отчет для каждого набора требований.

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

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

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

  • Оценивает полное тестовое покрытие для проверки сгенерированного кода.

Для получения дополнительной информации об использовании тематического исследования ISO 26262:2018 см.: