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:
Параметры конфигурации:
|