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