Проверяйте идентификатор: 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
Проверяйте идентификатор: 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, которые доступны в 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. |