Диагностика

hisl_0036: Параметры конфигурации > Диагностика > Сохранение

Идентификатор: Заголовокhisl_0036: Параметры конфигурации > Диагностика > Сохранение
Описание

Установите эти параметры конфигурации равными error:

  • Block diagram contains disabled library links

  • Block diagram contains parameterized library links

ОбъяснениеПредотвратите непредвиденные результаты.
Проверки Model AdvisorПроверьте параметры диагностики, связанные с безопасностью, для сохранения (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.3.b «Программной архитектурой согласуется»

  • IEC 61508-3, Таблица A.3 (3) 'Подмножество языка'

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»
    ISO 26262-6, Таблица 1 (1f) «Использование однозначного графического представления»

  • EN 50128, таблица A.4 (11) 'Language Subset'

См. такжеПараметры конфигурации модели: диагностика
Последнее изменениеR2021a

hisl_0043: Параметры конфигурации > Диагностика > Решатель

Идентификатор: Заголовокhisl_0043: Параметры конфигурации > Диагностика > Решатель
Описание

В диалоговом окне Параметров конфигурации на панели Diagnostics установите параметры Solver следующим образом:

  • Algebraic loop с error.

  • Minimize algebraic loop с error.

  • Block priority violation с error при использовании приоритетов блоков.

  • Automatic solver parameter selection с error.

  • State name clash с warning.

Примечание

Включение диагностики, относящейся к решателю, предоставляет информацию для выявления нарушений других руководящих принципов.

В этой таблице поясняется результат того, что не указан параметр конфигурации, как указано выше.

Параметр конфигурацииРезультат
Algebraic loop Автоматическое разрушение алгебраических циклов может остаться незамеченным и привести к непредсказуемому выполнению порядка блоков.
Minimize algebraic loopАвтоматическое разрушение алгебраических циклов может остаться незамеченным и привести к непредсказуемому выполнению порядка блоков.
Block priority violationПорядок выполнения блока может включать в себя необнаруженные конфликты, которые могут привести к непредсказуемому выполнению порядка блока.
Automatic solver parameter selectionАвтоматическое изменение решателя, размера шага или времени остановки симуляции может остаться незамеченным и может привести к операции сгенерированного кода.
State name clashИмя, используемое для нескольких состояний, может остаться незамеченным.

ОбъяснениеПоддержка генерации надежного и однозначного кода.
Проверки Model AdvisorПроверьте параметры диагностики для решателей (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.3.b - Программная архитектура согласована.
    DO-331, MB.6.3.3.e 'Программная архитектура соответствует стандартам "

  • IEC 61508-3, Таблица A.3 (3) 'Подмножество языка "

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»

  • EN 50128, таблица A.4 (11) 'Language Subset'

См. также
Последнее изменениеR2018b

hisl_0044: Параметры конфигурации > Диагностика > Шаг расчета

Идентификатор: Заголовокhisl_0044: Параметры конфигурации > Диагностика > Шаг расчета
Описание

В диалоговом окне Параметров конфигурации на панели Diagnostics > Sample Time установите эти параметры равными error:

Если целевая система не допускает прерывания между задачами с равным приоритетом, установите Задачи с равным приоритетом на none.

Примечание

Включение диагностики, относящейся к решателю, предоставляет информацию для выявления нарушений других руководящих принципов.

В этой таблице поясняется результат того, что не указан параметр конфигурации, как указано выше.

Параметр конфигурацииРезультат
Source block specifies -1 sample timeИспользование унаследованных шагов расчета для исходного блока, такого как Sine Wave, может остаться незамеченным и привести к непредсказуемой скорости выполнения для исходного и нисходящего блоков.
Multitask data transferНедопустимая передача данных между двумя блоками, работающими в многозадачном режиме, может остаться незамеченной. Вы не можете использовать недопустимую передачу данных для встроенных программных обеспечений реального времени.
Single task data transferПередача данных между двумя блоками, работающими в однозадачном режиме, может остаться незамеченной. Вы не можете использовать однозадачную передачу данных для встроенных программных обеспечений реального времени.
Multitask conditionally executed subsystemsУсловно выполненная многоуровневая подсистема, работающая в многозадачном режиме. могут остаться необнаруженными и поврежденными данные или показать неожиданное поведение в целевой системе, которая допускает упреждение.
Tasks with equal priorityДве асинхронные задачи с одинаковым приоритетом могут остаться незамеченными и показать неожиданное поведение в целевых системах, которые допускают упреждение.
Enforce sample times specified by Signal Specification blocksНесогласованные шаги расчета для блока Signal Specification и подключенного блока назначения могут остаться незамеченным и привести к непредсказуемой скорости выполнения.
Unspecified inheritability of sample timesS-функция, которая явно не установлена на наследование шага расчета, может остаться незамеченной и привести к непредсказуемому поведению.

ОбъяснениеAПоддержка генерации надежного и однозначного кода.
Проверки Model AdvisorПроверьте параметры диагностики, связанные с безопасностью, на шаг расчета (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.1.b «Требования высокого уровня являются точными и последовательными »
    DO-331, раздел MB.6.3.2.b «Низкоуровневые требования являются точными и последовательными »
    DO-331, раздел MB.6.3.3.b 'Архитектура программного обеспечения согласована "
    DO-331, раздел MB.6.3.3.e - Программная архитектура соответствует стандартам.

  • IEC 61508-3, Таблица A.3 (3) 'Подмножество языка "

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»
    ISO 26262-6, Таблица 1 (1f) «Использование однозначного графического представления»

  • EN 50128, таблица A.4 (11) 'Language Subset'

См. такжеПараметры конфигурации модели: Шаг расчета Diagnostics
Последнее изменениеR2017b

hisl_0301: Параметры конфигурации > Диагностика > Совместимость

Идентификатор: Заголовокhisl_0301: Параметры конфигурации > Диагностика > Совместимость
ОписаниеУстановите значение параметра конфигурации S-function upgrades needed равным error.
Объяснение

Улучшите робастность проекта.

Проверки Model AdvisorПроверьте параметры диагностики, связанные с безопасностью, на совместимость (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.3.b - Программная архитектура согласована

  • IEC 61508-3, Таблица A.4 (3) «Оборонительное программирование»

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»
    ISO 26262-6, Таблица 1 (1d) «Использование защитных методов реализации»

  • EN 50128, таблица A.3 (1) 'Defensive Programming'

См. также

Параметры конфигурации модели: диагностика совместимости в документации Simulink

Последнее изменениеR2017b

hisl_0302: Параметры конфигурации > Диагностика > Валидность данных > Параметры

Идентификатор: Заголовокhisl_0302: Параметры конфигурации > Диагностика > Валидность данных > Параметры
Описание

В диалоговом окне Параметров конфигурации на панели Diagnostics > Data Validity установите следующие параметры Parameters:

  • Detect downcast с error

  • Detect underflow с error

  • Detect loss of tunability с error

  • Detect overflow с error

  • Detect precision loss с error

Объяснение

Улучшите робастность проекта.

Проверки Model AdvisorПроверьте параметры диагностики, связанной с безопасностью (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.1.g - Алгоритмы точны
    DO-331, раздел MB.6.3.2.g - Алгоритмы точны.

  • IEC 61508-3, Таблица A.4 (3) «Оборонительное программирование»

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»
    ISO 26262-6, Таблица 1 (1d) «Использование защитных методов реализации»

  • EN 50128, таблица A.3 (1) 'Defensive Programming'

См. также

Параметры конфигурации модели: диагностика валидности данных в документации Simulink

Последнее изменениеR2018b

hisl_0303: Параметры конфигурации > Диагностика > Валидность данных > Объединить блоки

Идентификатор: Заголовокhisl_0303: Параметры конфигурации > Диагностика > Валидность данных > Объединить блоки
Описание

Установите значение параметра конфигурации Detect multiple driving blocks executing at the same time step равным error.

Объяснение

Улучшите робастность проекта.

Проверки Model AdvisorПроверьте параметры диагностики, связанные с безопасностью для блоков Merge (Simulink Check)
Ссылки

  • DO-331 MB.6.3.2 (b) Точность и согласованность

  • IEC 61508-3, Таблица A.3 (3) - Подмножество языков

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств

  • EN 50128, таблица A.4 (11) - Подмножество языков

См. также

Обнаружение нескольких ведущих блоков, выполняющихся в одном и том же временном шаге в документации Simulink

Последнее изменениеR2017b

hisl_0304: Параметры конфигурации > Диагностика > Валидность данных > Инициализация модели

Идентификатор: Заголовокhisl_0304: Параметры конфигурации > Диагностика > Валидность данных > Инициализация модели
Описание

Установите значение параметра конфигурации Underspecified initialization равным Simplified.

Объяснение

Улучшите робастность проекта.

Проверки Model AdvisorПроверьте параметры диагностики, связанные с безопасностью, для инициализации модели (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.3.b - Программная архитектура согласована

  • IEC 61508-3, Таблица A.3 (3) - Подмножество языков

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств

  • EN 50128, таблица A.4 (11) - Подмножество языков

  • MISRA C:2012, правило 9.1

См. также

Недоопределенное обнаружение инициализации в документации Simulink

Последнее изменениеR2017b

hisl_0305: Параметры конфигурации > Диагностика > Валидность данных > Отладка

Идентификатор: Заголовокhisl_0305: Параметры конфигурации > Диагностика > Валидность данных > Отладка
Описание

Установите значение параметра конфигурации Model Verification block enabling равным Disable all.

Объяснение

Улучшите робастность проекта.

Проверки Model AdvisorПроверьте параметры диагностики, связанные с безопасностью, для данных, используемых для отладки (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.1.e - Требования высокого уровня соответствуют стандартам
    DO-331, раздел MB.6.3.2.e - Низкоуровневые требования соответствуют стандартам

  • IEC 61508-3, Таблица A.3 (3) - Подмножество языков

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств

  • EN 50128, таблица A.4 (11) - Подмножество языков

См. также

Верификация модели, разрешающий в документации Simulink

Последнее изменениеR2017b

hisl_0306: Параметры конфигурации > Диагностика > Связь > Сигналы

Идентификатор: Заголовокhisl_0306: Параметры конфигурации > Диагностика > Связь > Сигналы
Описание

В диалоговом окне Параметров конфигурации на панели Diagnostics > Connectivity установите следующие параметры Signals:

  • Signal label mismatch с error

  • Unconnected block input ports с error

  • Unconnected block output ports с error

  • Unconnected line с error

Объяснение

Улучшите робастность проекта.

Проверки Model AdvisorПроверьте параметры диагностики безопасности для связи сигналов (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.1.e - «Требования высокого уровня соответствуют стандартам»
    DO-331, раздел MB.6.3.2.e - 'Низкоуровневые требования соответствуют стандартам'

  • IEC 61508-3, Таблица A.3 (3) - 'Language subset'

  • IEC 62304, 5.5.3 - «Критерий приемки Модуля ПО»

  • ISO 26262-6, таблица 1 (1b) - «Использование языковых подмножеств»
    ISO 26262-6, Таблица 1 (1f) - 'Использование однозначного графического представления'

  • EN 50128, таблица A.4 (11) - 'Language Subset'

См. также

Параметры конфигурации модели: диагностика соединения в документации Simulink

Последнее изменениеR2017b

hisl_0307: Параметры конфигурации > Диагностика > Связь > Шины

Идентификатор: Заголовокhisl_0307: Параметры конфигурации > Диагностика > Связь > Шины
Описание

В диалоговом окне Параметров конфигурации на панели Diagnostics > Connectivity установите следующие параметры Buses:

  • Unspecified bus object at root Outport block с error

  • Element name mismatch с error

  • Bus signal treated as vector с error

  • Non-bus signals treated as bus signals с error

Объяснение

Улучшите робастность проекта.

Проверки Model AdvisorПроверьте параметры диагностики безопасности для подключения к шине (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.3.b - Программная архитектура согласована

  • IEC 61508-3, Таблица A.3 (3) - Подмножество языков

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств

  • EN 50128, таблица A.4 (11) - Подмножество языков

См. также

Параметры конфигурации модели: диагностика соединения в документации Simulink

Последнее изменениеR2020a

hisl_0308: Параметры конфигурации > Диагностика > Связь > Вызовы функций

Идентификатор: Заголовокhisl_0308: Параметры конфигурации > Диагностика > Связь > Вызовы функций
ОписаниеУстановите значение параметра конфигурации Context-dependent inputs равным error.
Объяснение

Улучшите робастность проекта.

Проверки Model AdvisorПроверьте параметры диагностики, связанные с безопасностью, которые применяются к соединению вызова функции (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.3.b - Программная архитектура согласована

  • IEC 61508-3, Таблица A.3 (3) - Подмножество языков

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств

  • EN 50128, таблица A.4 (11) - Подмножество языков

См. также

Параметры конфигурации модели: диагностика соединения в документации Simulink

Последнее изменениеR2017b

hisl_0309: Параметры конфигурации > Диагностика > Преобразование типов

Идентификатор: Заголовокhisl_0309: Параметры конфигурации > Диагностика > Преобразование типов
Описание

В диалоговом окне Параметров конфигурации на панели Diagnostics > Type Conversion установите эти параметры следующим образом:

  • Unnecessary type conversion с warning

  • Vector/matrix block input conversion с error

  • 32-bit integer to single precision float conversion с warning

Объяснение

Улучшите робастность проекта.

Проверки Model Advisor Проверьте параметры диагностики, связанные с безопасностью, для преобразований типов (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.1.g - Алгоритмы точны
    DO-331, раздел MB.6.3.2.g - Алгоритмы точны

  • IEC 61508-3, Таблица A.3 (2) Сильно типизированный язык программирования
    IEC 61508-3, Таблица A.4 (3) Оборонительное программирование

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, Таблица 1 (1b) Использование языковых подмножеств
    ISO 26262-6, таблица 1 (1с) Применение строгой типизации
    ISO 26262-6, Таблица 1 (1d) Использование защитных методов реализации

  • EN 50128, таблица A.4 (8) Сильно типизированный язык программирования
    EN 50128, таблица A.3 (1) Оборонительное программирование

См. также

Параметры конфигурации модели: диагностика преобразования типов в документации Simulink

Последнее изменениеR2017b

hisl_0310: Параметры конфигурации > Диагностика > Ссылка на модель

Идентификатор: Заголовокhisl_0310: Параметры конфигурации > Диагностика > Ссылка на модель
Описание

В диалоговом окне Параметров конфигурации на панели Diagnostics > Model Referencing установите эти параметры следующим образом:

  • Port and parameter mismatch с error

  • Invalid root Inport/Outport block connection с error

  • Unsupported data logging с error

Объяснение

Улучшите робастность проекта.

Проверки Model AdvisorПроверьте параметры диагностики, связанные с безопасностью, для ссылки на модель (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.1.d - Требования высокого уровня поддаются проверке
    DO-331, раздел MB.6.3.2.d - Поддаются проверке низкоуровневые требования.
    DO-331, раздел MB.6.3.3.b - Программная архитектура согласована

  • IEC 61508-3, Таблица A.3 (3) - Подмножество языков

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств

  • EN 50128, таблица A.4 (11) - Подмножество языков

См. также

Параметры конфигурации модели: диагностика моделей-ссылок в документации Simulink

Последнее изменениеR2020a

hisl_0311: Параметры конфигурации > Диагностика > Stateflow

Идентификатор: Заголовокhisl_0311: Параметры конфигурации > Диагностика > Stateflow®
Описание

На панели Diagnostics > Stateflow установите эти параметры конфигурации равными error:

Объяснение

Улучшите робастность проекта и продвигайте четкий стиль моделирования.

Проверки Model AdvisorПроверьте параметры диагностики, связанные с безопасностью, для Stateflow (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.1.b «Требования высокого уровня точны и согласованны»
    DO-331, раздел MB.6.3.1.e «Требования высокого уровня соответствуют стандартам»
    DO-331, Section MB.6.3.1.g 'Алгоритмы точны'
    DO-331, раздел MB.6.3.2.b 'Низкоуровневые требования точны и непротиворечивы'
    DO-331, раздел MB.6.3.2.d 'Низкоуровневые требования проверяются'
    DO-331, раздел MB.6.3.2.e 'Низкоуровневые требования соответствуют стандартам'
    DO-331, Section MB.6.3.2.g 'Алгоритмы точны'

  • EN 50128, таблица A.4 (11) - 'Language Subset'
    EN 50128, таблица A.12 (6) - 'Ограниченное использование рекурсии'

  • IEC 62304, 5.5.3 - «Критерий приемки Модуля ПО»

  • ISO 26262-6, таблица 1 (1b) - «Использование языковых подмножеств»
    ISO 26262-6, таблица 8 (1j) - 'Нет рекурсий'

  • IEC 61508-3, Таблица A.3 (3) - 'Language subset'

  • MISRA C:2012, правило 17.2

См. также

Параметры конфигурации модели: диагностика Stateflow в документации Simulink

Последнее изменениеR2021a

hisl_0314: Параметры конфигурации > Диагностика > Валидность данных > Сигналы

Идентификатор: Заголовокhisl_0314: Параметры конфигурации > Диагностика > Валидность данных > Сигналы
Описание

В диалоговом окне Параметров конфигурации на панели Diagnostics > Data Validity установите следующие параметры Signals:

  • Signal resolution с Explicit only

  • Division by singular matrix с error

  • Underspecified data types с error

  • Inf or NaN block output с error

  • “rt” prefix for identifiers с error

  • Wrap on overflow с error

  • Saturate on overflow с error

  • Simulation range checking с error

Объяснение

Улучшите робастность проекта.

Проверки Model AdvisorПроверьте параметры диагностики, связанные с безопасностью, для данных о сигнале (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.4.2.2 «Случаи испытаний на робастность»
    DO-331, раздел MB.6.4.3 «Основанные на требованиях методы проверки »
    DO-331, раздел MB.6.3.1.e «Требования высокого уровня соответствуют стандартам»
    DO-331, раздел MB.6.3.2.e 'Низкоуровневые требования соответствуют стандартам'
    DO-331, Section MB.6.3.1.g 'Алгоритмы точны'
    DO-331, Section MB.6.3.2.g 'Алгоритмы точны'
    DO-331, Section MB.6.3.3.b 'Программная архитектура is consistent'

  • IEC 61508-3, Таблица A.3 (3) 'Подмножество языка "
    IEC 61508-3, Таблица A.4 (3) «Оборонительное программирование »

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»
    ISO 26262-6, Таблица 1 (1d) «Использование защитных методов реализации»

  • EN 50128, таблица A.4 (11) 'Language Subset'
    EN 50128, таблица A.3 (1) 'Defensive Programming'

  • MISRA C:2012, Dir 4.1

См. такжеПараметры конфигурации модели: диагностика валидности данных
Последнее изменениеR2018a

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

Поддержка

Для просмотра документации необходимо авторизоваться на сайте