Можно использовать эти проверки Model Advisor, чтобы упростить разработку и поиск и устранение неисправностей моделей, подсистем и соответствующего сгенерированного кода для приложений, чтобы выполнить IEC 61508-3, IEC 62304, ISO 26262-6, ISO 25119, или EN 50128, EN 50657 и стандарты MISRA C:2012. Они сертифицируются 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 проверяет все модели, на которые ссылаются, прежде, чем запустить их на модели верхнего уровня.
Квалифицированный Model Advisor проверяет (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)
ID проверки: 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
ID проверки: mathworks.iec61508.MdlMetricsInfo
Отобразите число элементов и имя, уровень и глубину подсистем для модели или подсистемы.
IEC 61508, ISO 26262, EN 50128 и EN 50 657 стандартов рекомендуют использованию размера и метрик сложности оценить разрабатываемое программное обеспечение. Эта проверка предоставляет информацию о метриках для модели. Предоставленная информация может использоваться, чтобы смотреть, превышают ли размер или сложность модели или подсистемы данные пределы. Отображения проверки:
Счет блока для каждого типа блока Simulink, содержавшегося в данной модели, включая библиотеку, соединил блоки.
Количество Stateflow® создает в данной модели (если применимо).
Имя, уровень и глубина подсистем, содержавшихся в данной модели (если применимо).
Максимальная глубина подсистемы данной модели.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Нет данных | Эти сводные данные предоставлены для вашей информации. Никакое действие не требуется. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Не позволяет исключения блоков или графиков.
IEC 61508-3, Таблица B.9 (1) - предел размера Программного модуля, Таблица B.9 (2) - управление сложностью программного обеспечения
IEC 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)
ID проверки: mathworks.iec61508.UnconnectedObjects
Идентифицируйте несвязанные линии, входные порты и выходные порты в модели.
Несвязанные объекты, вероятно, вызовут проблемы, распространяющие атрибуты сигнала, такие как данные, тип, шаг расчета и размерности.
Порты, соединенные с Ground или блоками Terminator, передают эту проверку.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Существуют несвязанные линии, входные порты или выходные порты в модели или подсистеме. |
|
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
IEC 61508-3, Таблица A.3 (3) - Языковое подмножество
IEC 62304, 5.5.3 - критерии допустимости Программного блока
ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств, Таблицы 1 (1d) - Использование защитных методов реализации
EN 50128, таблица A.4 (11) - языковое подмножество
EN 50657, таблица A.4 (11) - языковое подмножество