Можно использовать эти проверки Model Advisor, чтобы облегчить разработку и поиск и устранение проблем с моделями, подсистемами и соответствующим сгенерированным кодом для приложений, чтобы соответствовать 61508-3 IEC, 62304 IEC, 26262-6 ISO, 25119 ISO или EN 50128, EN 50657 и стандартам C:2012 MISRA. Они сертифицированы IEC Certification Kit для использования в процессах разработки, которые должны соответствовать IEC 61508, ISO 26262, EN 50128, EN 50657, ISO 25119 или производным стандартам.
Model Advisor выполняет взятие на изменение Simulink® Check™ лицензию при запуске этих проверок.
Если ваша модель использует ссылки на модели, запустите проверки IEC 61508, IEC 62304, ISO 26262, ISO 25119 или EN 50128/EN 50657 на всех ссылочных моделях, прежде чем запускать их на модели верхнего уровня.
Если ваша модель использует ссылки на модели, запустите проверки IEC 61508, IEC 62304, ISO 26262 ISO 25119 или EN 50128/EN 50657 на всех ссылочных моделях, прежде чем запускать их на модели верхнего уровня.
Проверки квалифицированной модели-консультанта ( IEC Certification Kit)
Стандарт IEC 61508 (Embedded Coder)
Стандарт IEC 62304 (Embedded Coder)
Стандарт ISO 26262 (Embedded Coder)
Стандарт EN 50128 (Embedded Coder)
Стандарт ISO 25119 (Embedded Coder)
Инструкции MISRA C (Embedded Coder)
Проверяйте идентификатор: mathworks.iec61508.MdlVersionInfo
Отобразите информацию о строении модели и контрольной сумме.
Эта проверка информатора отображает следующую информацию для текущей модели:
Номер версии модели
Автор модели
Дата
Модель контрольной суммы
Доступно с Simulink Check.
| Состояние | Рекомендуемое действие |
|---|---|
| Не удалось получить информацию о версии модели и контрольной сумме. | Эти сводные данные приведены для вашей информации. Никаких действий не требуется. |
Не работает на библиотечных моделях.
Не допускает исключения блоков или графиков.
IEC 61508-3, Таблица A.8 (5) - Управление строением программного обеспечения
IEC 62304-8 - Процесс управления строением программного обеспечения
ISO 26262-8, пункт 7 - Управление строением
EN 50128, Таблица A.9 (5) - Управление строением программного обеспечения
Model Change Log (Simulink Report Generator) в документации Simulink Report Generator™
Simulink.BlockDiagram.getChecksum в документации Simulink
Simulink.SubSystem.getChecksum в документации Simulink
Проверяйте идентификатор: mathworks.iec61508.MdlMetricsInfo
Отобразите количество элементов и имя, уровень и глубину подсистем для модели или подсистемы.
Стандарты IEC 61508, ISO 26262, EN 50128 и EN 50657 рекомендуют использовать метрики размера и сложности для оценки разрабатываемого программного обеспечения. Эта проверка предоставляет информацию о метриках для модели. Предоставленная информация может использоваться, чтобы проверить, превышает ли размер или сложность модели или подсистемы заданные пределы. На экране отображается проверка:
Количество блоков для каждого типа блоков Simulink, содержащихся в данной модели, включая блоки, связанные с библиотекой.
Счетчик Stateflow® конструкции в данной модели (если применимо).
Имя, уровень и глубина подсистем, содержащихся в данной модели (если применимо).
Максимальная глубина подсистемы данной модели.
Доступно с Simulink Check.
Для этой проверки требуется лицензия Stateflow.
| Состояние | Рекомендуемое действие |
|---|---|
| Н/Д | Эти сводные данные приведены для вашей информации. Никаких действий не требуется. |
Работает на библиотечных моделях.
Анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.
Не допускает исключения блоков или графиков.
IEC 61508-3, Таблица B.9 (1) - Предельный размер программного модуля, Таблица B.9 (2) - Контроль сложности программного обеспечения
МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО
ISO 26262-6, Таблица 1 (1a) - Применение малой сложности, Таблица 3 (a) - Иерархическая структура компонентов программного обеспечения, Таблица 3 (b) - Ограниченный размер компонентов программного обеспечения, и Таблица 3 (c) - Ограниченный размер интерфейсов
EN 50128, таблица A.12 (8) - Ограниченный размер и сложность функций, стандартных подпрограмм и методов и (9) Ограниченное число параметров стандартной подпрограммы
EN 50657, таблица A.12 (8) - Ограниченный размер и сложность функций, стандартных подпрограмм и методов и (9) Ограниченное число параметров стандартной подпрограммы
sldiagnostics
в документации Simulink
Цикломатическая сложность для диаграмм Stateflow (Simulink Coverage)
Проверяйте идентификатор: mathworks.iec61508.UnconnectedObjects
Идентифицируйте несвязанные линии, входные порты и выходные порты в модели.
Несвязанные объекты, вероятно, вызовут проблемы с распространением атрибутов сигнала, таких как данные, тип, шаг расчета и размерности.
Порты, подключенные к Ground или Terminator блокам, проходят эту проверку.
Доступно с Simulink Check.
| Состояние | Рекомендуемое действие |
|---|---|
| В модели или подсистеме есть несвязанные линии, входные порты или выходные порты. |
|
Работает на библиотечных моделях.
Не анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.
Допускает исключения блоков и графиков.
IEC 61508-3, Таблица A.3 (3) - Подмножество языков
МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО
ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств, Таблица 1 (1d) - Использование защитных методов реализации
EN 50128, таблица A.4 (11) - Подмножество языков
EN 50657, Таблица A.4 (11) - Подмножество языков