IEC Certification Kit проверки

Отображение данных управления строением

Проверяйте идентификатор: mathworks.iec61508.MdlVersionInfo

Отобразите информацию о строении модели и контрольной сумме.

Описание

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

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

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

  • Дата

  • Модель контрольной суммы

Доступно с Simulink® Check™.

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

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

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

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

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

См. также

Отобразите метрики модели и отчет о сложности

Проверяйте идентификатор: 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) в документации 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) - Подмножество языков

  • Основы сигнала (Simulink)

Отображать отчеты об ошибках для IEC Certification Kit

Отображение отчетов об ошибках для IEC Certification Kit.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для IEC Certification Kit, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Доступно с IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта IEC Certification Kit.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Отображение отчетов об ошибках для Simulink Check

Отображение отчетов об ошибках для Simulink Check.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink Check, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink Check.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Simulink Check

Отображение отчетов об ошибках для Simulink Coverage

Отображение отчетов об ошибках для Simulink Coverage™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink Coverage, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink Coverage.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Simulink Coverage

Отображать отчеты об ошибках для Simulink Requirements

Отображение отчетов об ошибках для Simulink Requirements™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink Requirements, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink Requirements.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Simulink Requirements

Отображение отчетов об ошибках для Simulink Design Verifier

Отображение отчетов об ошибках для Simulink Design Verifier™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink Design Verifier, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink Design Verifier.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Simulink Design Verifier

Отображение отчетов об ошибках для Simulink Test

Отображение отчетов об ошибках для Simulink Test™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink Test, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink Test.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Simulink Test

Отображать отчеты об ошибках для Embedded Coder

Отображение отчетов об ошибках для Embedded Coder®.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Embedded Coder, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Embedded Coder.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Embedded Coder

Отображение отчетов об ошибках для AUTOSAR Blockset

Отображение отчетов об ошибках для AUTOSAR Blockset.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для AUTOSAR Blockset, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Доступно с IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Есть отчеты об ошибках для продукта AUTOSAR Blockset.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Отображение отчетов об ошибках для Simulink PLC Coder

Отображение отчетов об ошибках для Simulink PLC Coder™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink PLC Coder, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Доступно с IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink PLC Coder.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Отображение отчетов об ошибках для HDL Coder

Отображение отчетов об ошибках для HDL- Coder™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для HDL Coder, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Доступно с IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта HDL Coder.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Отображать отчеты об ошибках для Polyspace Bug Finder

Отображение отчетов об ошибках для Polyspace® Bug Finder™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Polyspace Bug Finder, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Существуют сообщения об ошибках для продукта Polyspace Bug Finder.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Polyspace Bug Finder

Отображение отчетов об ошибках для Polyspace Bug Finder Server

Отображать отчеты об ошибках для Polyspace Bug Finder Server™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Polyspace Bug Finder Server, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Существуют сообщения об ошибках для продукта Polyspace Bug Finder Server.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Polyspace Bug Finder Server

Отображение отчетов об ошибках для Polyspace Code Prover

Отображение отчетов об ошибках для Polyspace Code Prover™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Polyspace Code Prover, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Polyspace Code Prover.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Polyspace Code Prover

Отображение отчетов об ошибках для Polyspace Code Prover Server

Отображение отчетов об ошибках для Polyspace Code Prover Server.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Polyspace Code Prover Server, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

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

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Polyspace Code Prover Server.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Polyspace Code Prover Server