Проверки IEC Certification Kit

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

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

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

Описание

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

Номер версии модели
Автор модели
Дата
Контрольная сумма модели

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

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

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

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

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

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

IEC 61508-3, Таблица A.8 (5) – Управление конфигурированием ПО
IEC 62304-8 – процесс Управления конфигурированием ПО
ISO 26262-8, Пункт 7 – управление конфигурацией
EN 50128, таблица A.9 (5) – управление конфигурированием ПО
Управляйте версиями модели и задайте свойства модели (Simulink)
Model Change Log (Simulink Report Generator) в документации Simulink Report Generator™
Simulink.BlockDiagram.getChecksum (Simulink) в документации Simulink
Simulink.SubSystem.getChecksum (Simulink) в документации Simulink

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

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

Отобразите число элементов и имя, уровень и глубину подсистем для модели или подсистемы.

Описание

IEC 61508, ISO 26262, EN 50128 и EN 50 657 стандартов рекомендуют использованию размера и метрик сложности оценить разрабатываемое программное обеспечение. Эта проверка предоставляет информацию о метриках для модели. Предоставленная информация может использоваться, чтобы смотреть, превышают ли размер или сложность модели или подсистемы данные пределы. Отображения проверки:

Счет блока для каждого типа блока Simulink, содержавшегося в данной модели, включая библиотеку, соединил блоки.
Количество Stateflow^® построения в данной модели (если применимо).
Имя, уровень и глубина подсистем, содержавшихся в данной модели (если применимо).
Максимальная глубина подсистемы данной модели.

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

Эта проверка требует лицензии Stateflow.

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

Условие	Рекомендуемое действие
N/A	Эти сводные данные предоставлены для вашей информации. Никакое действие не требуется.

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

Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Не позволяет исключения блоков или графиков.

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

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.

Введите параметры

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

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

Отобразите отчеты об ошибках для Simulink Coverage

Отобразите отчеты об ошибках для Simulink Coverage™.

Описание

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

Примечание

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

Доступный с DO Qualification Kit и IEC Certification Kit.

Введите параметры

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

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

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

Отобразите отчеты об ошибках для Simulink Requirements™.

Описание

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

Примечание

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

Доступный с DO Qualification Kit и IEC Certification Kit.

Введите параметры

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

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

Отобразите отчеты об ошибках для Simulink Design Verifier

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

Описание

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

Примечание

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

Доступный с DO Qualification Kit и IEC Certification Kit.

Введите параметры

Закончитесь и рекомендуемые действия

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

Отобразите отчеты об ошибках для Simulink Test

Отобразите отчеты об ошибках для Simulink Test™.

Описание

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

Примечание

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

Доступный с DO Qualification Kit и IEC Certification Kit.

Введите параметры

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

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

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

Отобразите отчеты об ошибках для Embedded Coder^®.

Описание

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

Примечание

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

Доступный с DO Qualification Kit и IEC Certification Kit.

Введите параметры

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

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

Отобразите отчеты об ошибках для AUTOSAR Blockset

Отобразите отчеты об ошибках для AUTOSAR Blockset.

Описание

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

Примечание

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

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

Введите параметры

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

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

Отобразите отчеты об ошибках для Simulink PLC Coder

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

Описание

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

Примечание

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

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

Введите параметры

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

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

Отобразите отчеты об ошибках для HDL Coder

Отобразите отчеты об ошибках для HDL Coder™.

Описание

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

Примечание

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

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

Введите параметры

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

Условие	Рекомендуемое действие
Существуют отчеты об ошибках для продукта 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.

Введите параметры

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

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

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

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

Описание

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

Примечание

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

Доступный с DO Qualification Kit и IEC Certification Kit.

Введите параметры

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

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

Отобразите отчеты об ошибках для Polyspace Code Prover

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

Описание

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

Примечание

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

Доступный с DO Qualification Kit и IEC Certification Kit.

Введите параметры

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

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

Отобразите отчеты об ошибках для Polyspace Code Prover Server

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

Описание

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

Примечание

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

Доступный с DO Qualification Kit и IEC Certification Kit.

Введите параметры

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

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

Документация