Код чека: 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) в документации по Generator™ отчетов Simulink
Simulink.BlockDiagram.getChecksum (Simulink) в документации Simulink
Simulink.SubSystem.getChecksum (Simulink) в документации Simulink
Код чека: mathworks.iec61508.MdlMetricsInfo
Отображение количества элементов и имени, уровня и глубины подсистем для модели или подсистемы.
Стандарты IEC 61508, ISO 26262, EN 50128 и EN 50657 рекомендуют использовать метрики размера и сложности для оценки разрабатываемого программного обеспечения. Эта проверка предоставляет информацию о метриках для модели. Предоставленная информация может использоваться для проверки того, превышает ли размер или сложность модели или подсистемы заданные пределы. Появится проверка:
Количество блоков для каждого типа блока Simulink, содержащегося в данной модели, включая связанные с библиотекой блоки.
Количество конструкций Stateflow ® в данной модели (если применимо).
Наименование, уровень и глубина подсистем, содержащихся в данной модели (если применимо).
Максимальная глубина подсистемы данной модели.
Доступно при проверке Simulink.
Для этой проверки требуется лицензия Stateflow.
| Состояние | Рекомендуемое действие |
|---|---|
| Н/Д | Эта сводка предоставляется для вашего сведения. Никаких действий не требуется. |
Выполняется для библиотечных моделей.
Анализ содержимого связанных блоков библиотеки.
Анализирует содержимое во всех маскированных подсистемах.
Не допускает исключения блоков или диаграмм.
МЭК 61508-3, Таблица B.9 (1) - Ограничение размера программного модуля, Таблица B.9 (2) - Контроль сложности программного обеспечения
МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения
ISO 26262-6, Таблица 1 (1а) - Обеспечение соблюдения требований низкой сложности, Таблица 3 (а) - Иерархическая структура компонентов программного обеспечения, Таблица 3 (b) - Ограниченный размер компонентов программного обеспечения и Таблица 3 (с) - Ограниченный размер интерфейсов
EN 50128, Таблица A.12 (8) - Ограниченный размер и сложность функций, подпрограмм и методов и (9) Ограниченное количество параметров подпрограмм
EN 50657, Таблица A.12 (8) - Ограниченный размер и сложность функций, подпрограмм и методов и (9) Ограниченное количество параметров подпрограмм
sldiagnostics (Simulink)
в документации Simulink
Цикломатическая сложность для диаграмм статофлоу (покрытие Simulink)
Код чека: mathworks.iec61508.UnconnectedObjects
Определите неподключенные линии, входные порты и выходные порты в модели.
Неподключенные объекты могут вызвать проблемы с распространением атрибутов сигнала, таких как данные, тип, время выборки и размеры.
Порты, подключенные к блокам Ground или Terminator, проходят эту проверку.
Доступно при проверке Simulink.
| Состояние | Рекомендуемое действие |
|---|---|
| В модели или подсистеме имеются неподключенные линии, входные порты или выходные порты. |
|
Выполняется для библиотечных моделей.
Не анализирует содержимое связанных с библиотекой блоков.
Анализирует содержимое во всех маскированных подсистемах.
Допускает исключения блоков и диаграмм.
МЭК 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)
Отображение отчетов об ошибках для комплекта сертификации МЭК.
Выполните эту проверку для отображения отчетов об ошибках для комплекта сертификации МЭК, доступных по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется вместе с комплектом для сертификации МЭК.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Существуют отчеты об ошибках для продукта IEC Certification Kit. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |
Отображение отчетов об ошибках для проверки Simulink.
Выполните эту проверку, чтобы отобразить отчеты об ошибках для Simulink Check, доступные по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется с комплектом для сертификации DO и комплектом для сертификации IEC.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Существуют отчеты об ошибках для продукта Simulink Check. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |
Отображение отчетов об ошибках для Coverage™ Simulink.
Выполните эту проверку для отображения отчетов об ошибках для Simulink Coverage, доступных по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется с комплектом для сертификации DO и комплектом для сертификации IEC.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Существуют отчеты об ошибках для продукта Simulink Coverage. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |
Отображение отчетов об ошибках для Requirements™ Simulink.
Выполните эту проверку, чтобы отобразить отчеты об ошибках для требований Simulink, доступные по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется с комплектом для сертификации DO и комплектом для сертификации IEC.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Существуют отчеты об ошибках для продукта Simulink Requirements. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |
Отображение отчетов об ошибках для Verifier™ Simulink Design.
Выполните эту проверку для отображения отчетов об ошибках для Simulink Design Verifier, доступных по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется с комплектом для сертификации DO и комплектом для сертификации IEC.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Существуют отчеты об ошибках для продукта Simulink Design Verifier. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |
Отображение отчетов об ошибках для Test™ Simulink.
Выполните эту проверку для отображения отчетов об ошибках Simulink Test, доступных по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется с комплектом для сертификации DO и комплектом для сертификации IEC.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Существуют отчеты об ошибках для продукта Simulink Test. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |
Отображение отчетов об ошибках для встроенного кодера ®.
Выполните эту проверку для отображения отчетов об ошибках встроенного кодера, доступных по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется с комплектом для сертификации DO и комплектом для сертификации IEC.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Существуют отчеты об ошибках продукта Embedded Coder. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |
Отображение отчетов об ошибках для блока AUTOSAR.
Выполните эту проверку для отображения отчетов об ошибках для блока AUTOSAR, доступных по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется вместе с комплектом для сертификации МЭК.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Имеются отчеты об ошибках для продукта AUTOSAR Blockset. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |
Отображение отчетов об ошибках для Coder™ Simulink PLC.
Выполните эту проверку для отображения отчетов об ошибках для кодера Simulink PLC, доступных по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется вместе с комплектом для сертификации МЭК.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Имеются отчеты об ошибках для продукта Simulink PLC Coder. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |
Отображение отчетов об ошибках для Coder™ HDL.
Выполните эту проверку для отображения отчетов об ошибках кодера HDL, доступных по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется вместе с комплектом для сертификации МЭК.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Существуют отчеты об ошибках для продукта HDL Coder. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |
Отображение отчетов об ошибках для Finder™ ошибок Polyspace ®.
Выполните эту проверку, чтобы отобразить отчеты об ошибках для Polyspace Bug Finder, доступные по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется с комплектом для сертификации DO и комплектом для сертификации IEC.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Существуют отчеты об ошибках для продукта Polyspace Bug Finder. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |
Отображение отчетов об ошибках для Server™ поиска ошибок Polyspace.
Выполните эту проверку, чтобы отобразить отчеты об ошибках для сервера поиска ошибок Polyspace, доступные по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется с комплектом для сертификации DO и комплектом для сертификации IEC.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Существуют отчеты об ошибках для продукта Polyspace Bug Finder Server. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |
Отображение отчетов об ошибках для Prover™ кода Polyspace.
Выполните эту проверку для отображения отчетов об ошибках для программы проверки кода Polyspace, доступных по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется с комплектом для сертификации DO и комплектом для сертификации IEC.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Существуют сообщения об ошибках для продукта Polyspace Code Prover. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |
Отображение отчетов об ошибках для сервера проверки кода Polyspace.
Выполните эту проверку для отображения отчетов об ошибках для сервера проверки кода Polyspace, доступных по адресу www.mathworks.com/support/bugreports.
Примечание
Эта проверка не определяет, могут ли эти ошибки повлиять на модель.
Поставляется с комплектом для сертификации DO и комплектом для сертификации IEC.
Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Только показывать отчеты об ошибках, измененные после даты (мм/дд/гггг).
| Состояние | Рекомендуемое действие |
|---|---|
| Существуют отчеты об ошибках для продукта Polyspace Code Prover Server. | Просмотрите описания отчетов об ошибках и обходные пути, представленные в ссылках, перечисленных в столбце ID окна Model Advisor. |