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.
Условие | Рекомендуемое действие |
---|---|
Нет данных | Эти сводные данные предоставлены для вашей информации. Никакое действие не требуется. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Не позволяет исключения блоков или графиков.
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, которые доступны в 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, которые доступны в 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 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 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 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 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. |
Отобразите отчеты об ошибках для 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. |
Отобразите отчеты об ошибках для 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, которые доступны в 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, которые доступны в 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, которые доступны в 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 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 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 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. |