Диагностика

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'

См. также

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

Последнее изменение 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 times	S-функция, которая явно не установлена на наследование шага расчета, может остаться незамеченной и привести к непредсказуемому поведению.

Объяснение 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

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