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