ISO 26262-6:2018 руководства по моделированию обеспечивает ограничения руководства и сложности стиля для использования Simulink®, Stateflow® и MATLAB® в ваших моделях. Выведенный из Моделирования систем повышенной надежности (Simulink) и инструкции MathWorks Advisory Board (MAB) (Simulink), ISO 26262-6:2018 руководства по моделированию предназначаются как начальная точка для вас, чтобы задать руководства по моделированию, которые применимы к вашему проекту.
Примечание
Можно использовать Руководства по моделированию артефакта для ISO 26262:2018 (iso26262_guidelines.docx/pdf) настроить и зарегистрировать ваше специфичное для проекта подмножество инструкций. Артефакт доступен в
Менеджере артефактов IEC Certification Kit.
Используйте эти таблицы, чтобы рассмотреть руководства по моделированию, которые применимы к каждой теме или принципу стандартного ISO 26262-6:2018 Дорожные транспортные средства – Функциональной безопасности – Часть 6: Разработка нового продукта на программном уровне.:
Для получения дополнительной информации о доступе к податливости вашего типового кодекса или сгенерированного кода к руководствам по моделированию и кодированию стандартов, см.:
Податливость модели с Высоким Системным Моделированием Целостности и MathWorks Advisory Board — Податливость Модели Проверки (Simulink Check)
Податливость кода с кодированием стандартов — Анализ Polyspace Запуска Кода, Сгенерированного из Модели Simulink (Polyspace Bug Finder)
Податливость сгенерированного кода C с MISRA C:2012 — Сводные таблицы информации о Податливости MISRA C:2012 (Embedded Coder)
Таблица 1: Темы, которые будут Покрыты путем Моделирования и Кодирования Инструкций
Таблица 2: обозначения для архитектурного проекта программного обеспечения
| Обозначения | ID руководства по моделированию | Комментарий | ||||
|---|---|---|---|---|---|---|
| 1a | Естественный язык | Simulink:
MATLAB:
Stateflow:
| ||||
1b | Неофициальные обозначения | Не применяется | ||||
| 1c | Полуформальные обозначения | Simulink:
| ||||
| 1d | Формальные обозначения | Не применяется | ||||
Таблица 3: принципы для проекта программной архитектуры
| Принципы | ID руководства по моделированию | Комментарий | |||
|---|---|---|---|---|---|
| 1a | Соответствующая иерархическая структура компонентов программного обеспечения | Simulink:
| System Composer™ включает определение архитектуры посредством иерархического разложения компонентов. Можно использовать представление центра внимания System Composer, чтобы получить восходящие и нисходящие зависимости определенного компонента архитектуры. | ||
1b | Ограниченный размер и сложность компонентов программного обеспечения | Simulink:
MATLAB:
Stateflow:
| |||
| 1c | Ограниченный размер интерфейсов | Simulink:
| |||
| 1d | Сильное сцепление в каждом компоненте программного обеспечения | Simulink:
Stateflow:
| |||
| 1e | Слабая связь между компонентами программного обеспечения | Simulink:
Stateflow:
| |||
| 1f | Соответствующие свойства планирования | Simulink:
| |||
| 1 г | Ограниченное использование прерываний | Не применяется | |||
| 1 ч | Соответствующая пространственная изоляция компонентов программного обеспечения | Параметры конфигурации:
| |||
| 1i | Соответствующее управление совместно используемыми ресурсами | Simulink:
Параметры конфигурации:
| |||
Таблица 5: обозначения и проект программного блока
| Обозначения | ID руководства по моделированию | Комментарий | ||||
|---|---|---|---|---|---|---|
| 1a | Естественный язык | Simulink:
MATLAB:
Stateflow:
| ||||
1b | Неофициальные обозначения | Не применяется | ||||
| 1c | Полуформальные обозначения | Simulink:
| ||||
| 1d | Формальные обозначения | Не применяется | ||||
Таблица 6: принципы разработки для разработки и реализации программного блока
| Принцип | ID руководства по моделированию | Комментарий | ||
|---|---|---|---|---|
| 1a | Одна запись и одна точка выхода в подпрограммах и функциях | Stateflow:
| ||
1b | Никакие динамические объекты или переменные или иначе онлайновый тест во время их создания | Параметры конфигурации:
| ||
| 1c | Инициализация переменных | MATLAB:
Параметры конфигурации:
| ||
| 1d | Никакое совместное использование имен переменных | Simulink:
Stateflow:
| ||
| 1e | Избегайте глобальных переменных или иначе выровняйте по ширине их использование | Stateflow:
| ||
| 1f | Ограниченное использование указателей | Stateflow:
| ||
| 1 г | Никакие неявные преобразования типов | MATLAB:
Stateflow:
| ||
| 1 ч | Никакой скрытый поток данных или поток управления | Simulink:
| ||
| 1i | Никакие безусловные переходы | Не применяется | Этот элемент связан с консультативными правилами 15.1, 15.2 MISRA C® C:2012, и 15.4 | |
| 1j | Никакие рекурсии | Stateflow:
Параметры конфигурации:
| ||