IEC 61508, IEC 62304, ISO 26262, ISO 25119 и EN 50128/EN 50 657 проверок

IEC 61508, IEC 62304, ISO 26262, ISO 25119 и EN 50128/EN 50 657 проверок

Можно использовать эти проверки 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 проверяет все модели, на которые ссылаются, прежде, чем запустить их на модели верхнего уровня.

Смотрите также

Отобразите данные об управлении конфигурацией

ID проверки: mathworks.iec61508.MdlVersionInfo

Настройка модели дисплея и информация о контрольной сумме.

Описание

Эта проверка информатора отображает следующую информацию для текущей модели:

  • Номер версии модели

  • Автор модели

  • Дата

  • Контрольная сумма модели

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Невозможно получить информацию о версии и контрольной сумме модели. Эти сводные данные предоставлены для вашей информации. Никакое действие не требуется.

Возможности и ограничения

  • Не работает на моделях библиотеки.

  • Не позволяет исключения блоков или графиков.

Смотрите также

Метрики модели дисплея и отчет сложности

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) - языковое подмножество

  • Основы сигнала

Для просмотра документации необходимо авторизоваться на сайте