Проверки IEC Certification Kit

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

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

  • Основы сигнала (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