Диагностика

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

ID: Заголовок	hisl_0036: Параметры конфигурации> Диагностика> Сохранение
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, устанавливают эти параметры: Block diagram contains disabled library links к ошибке Block diagram contains parameterized library links к ошибке
Объяснение	Предотвратите неожиданные результаты.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for saving By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for saving By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for saving By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for saving By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for saving Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для сохранения.
Ссылки	DO-331, Раздел MB.6.3.3.b ‘Программная архитектура сопоставим’ IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество' IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств' ISO 26262-6, Таблица 1 (1f) 'Использование однозначного графического представления' EN 50128, таблица A.4 (11) 'языковое подмножество'
В последний раз измененный	R2017b

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

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

Описание

Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на панели Diagnostics, устанавливают параметры Solver можно следующим образом:

Algebraic loop к error.
Minimize algebraic loop к error.
Automatic solver parameter selection к error.
State name clash к warning.
Block priority violation к error, если вы используете приоритеты блока.

Примечание

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

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

Можно установить следующие диагностические параметры на любое значение:

Min step size violation

Consecutive zero crossings violation

Solver data inconsistency

Extraneous discrete derivative signals

Объяснение Поддержите генерацию устойчивого и однозначного кода.

Проверки Model Advisor

By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for solvers
By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for solvers
By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for solvers
By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for solvers
By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for solvers

Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для решателей.

Ссылки

DO-331, Раздел MB.6.3.3.b – Программная архитектура сопоставима.
DO-331, MB.6.3.3.e 'Программная архитектура соответствует стандартам’
IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество'
IEC 62304, 5.5.3 - критерии допустимости Программного блока
ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств'
EN 50128, таблица A.4 (11) 'языковое подмножество'

Смотрите также

Образцовые Параметры конфигурации: Диагностика в документации Simulink^®
jc_0021: Образцовые диагностические настройки в документации Simulink

В последний раз измененный R2018b

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

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

Описание

Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Diagnostics> панель Sample Time, устанавливают следующие параметры Sample Time на error:

Source block specifies -1 sample time
Multitask rate transition
Single task rate transition
Multitask conditionally executed subsystem
Tasks with equal priority
Enforce sample times specified by Signal Specification blocks
Unspecified inheritability of sample times

Если целевая система не позволяет вытеснение между задачами, которые имеют равный приоритет, устанавливают Tasks with equal priority на none.

Примечание

Если диагностический параметр...	Не установлен как обозначенный, затем...
Source block specifies -1 sample time	Использование наследованных шагов расчета для исходного блока, таких как Синусоида, может пойти необнаруженное и привести к непредсказуемым уровням выполнения для источника и нисходящих блоков.
Multitask rate transition	Недопустимые переходы уровня между двумя блоками, действующими в многозадачном режиме, могут пойти необнаруженные. Вы не можете использовать недопустимые переходы уровня для встроенных приложений программного обеспечения реального времени.
Single task rate transition	Переход уровня между двумя блоками, действующими в однозадачном режиме, может пойти необнаруженный. Вы не можете использовать однозадачные переходы уровня для встроенных приложений программного обеспечения реального времени.
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

By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for sample time
By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for sample time
By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for sample time
By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for sample time
By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for sample time

Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для шага расчета.

Ссылки

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) 'Языковое подмножество'
IEC 62304, 5.5.3 - критерии допустимости Программного блока
ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств'
ISO 26262-6, Таблица 1 (1f) 'Использование однозначного графического представления'
EN 50128, таблица A.4 (11) 'языковое подмножество'

Смотрите также Образцовые Параметры конфигурации: Диагностика Шага расчета в документации Simulink

В последний раз измененный R2017b

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

ID: Заголовок	hisl_0301: Параметры конфигурации> Диагностика> Совместимость
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Diagnostics> панель Compatibility, устанавливают параметры Compatibility можно следующим образом: S-function upgrades needed к `error`
Объяснение	Улучшите робастность проекта.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for compatibility By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for compatibility By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for compatibility By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for compatibility By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for compatibility Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для совместимости.
Ссылки	DO-331, Раздел MB.6.3.3.b – Программная архитектура сопоставима IEC 61508-3, таблица A.4 (3) 'безопасное программирование' IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств' ISO 26262-6, Таблица 1 (1d) 'Использование защитных методов реализации' EN 50128, таблица A.3 (1) 'безопасное программирование'
Смотрите также	Образцовые Параметры конфигурации: Диагностика Совместимости в документации Simulink
В последний раз измененный	R2017b

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

ID: Заголовок	hisl_0302: Параметры конфигурации> Диагностика> Валидность Данных> Параметры
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Diagnostics> панель Data Validity, устанавливают параметры Parameters можно следующим образом: Detect downcast к `error` Detect underflow к `error` Detect loss of tunability к `error` Detect overflow к `error` Detect precision loss к `error`
Объяснение	Улучшите робастность проекта.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for parameters By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for parameters By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for parameters By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for parameters By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for parameters Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для параметров.
Ссылки	DO-331, Раздел MB.6.3.1.g – Алгоритмы точны DO-331, Раздел MB.6.3.2.g – Алгоритмы точны. IEC 61508-3, таблица A.4 (3) 'безопасное программирование' IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств' ISO 26262-6, Таблица 1 (1d) 'Использование защитных методов реализации' EN 50128, таблица A.3 (1) 'безопасное программирование'
Смотрите также	Образцовые Параметры конфигурации: Диагностика Валидности Данных в документации Simulink
В последний раз измененный	R2018b

hisl_0303: блок Configuration Parameters> Diagnostics> Merge

ID: Заголовок	hisl_0303: блок Configuration Parameters> Diagnostics> Merge
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, установите: Detect multiple driving blocks executing at the same time step к `error`
Объяснение	Улучшите робастность проекта.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for Merge blocks By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for Merge blocks By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for Merge blocks By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for Merge blocks By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for Merge blocks Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для блоков Слияния.
Ссылки	DO-331 MB.6.3.2 (b) точность и непротиворечивость IEC 61508-3, Таблица A.3 (3) - Языковое подмножество IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств EN 50128, таблица A.4 (11) - языковое подмножество
Смотрите также	Обнаружьте несколько ведущих блоков, выполняющихся, одновременно продвигаются в документацию Simulink
В последний раз измененный	R2017b

hisl_0304: Параметры конфигурации> Диагностика> Образцовая инициализация

ID: Заголовок	hisl_0304: Параметры конфигурации> Диагностика> Образцовая инициализация
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, установите: Underspecified initialization detection к `Simplified`
Объяснение	Улучшите робастность проекта.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for model initialization By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for model initialization By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for model initialization By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for model initialization By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for model initialization Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для образцовой инициализации.
Ссылки	DO-331, Раздел MB.6.3.3.b – Программная архитектура сопоставима IEC 61508-3, Таблица A.3 (3) - Языковое подмножество IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств EN 50128, таблица A.4 (11) - языковое подмножество MISRA C:2012, правило 9.1
Смотрите также	Обнаружение инициализации Underspecified в документации Simulink
В последний раз измененный	R2017b

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

ID: Заголовок	hisl_0305: Параметры конфигурации> Диагностика> Отладка
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Параметров конфигурации, устанавливают Model Verification block enabling на `Disable all`.
Объяснение	Улучшите робастность проекта.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for data used for debugging By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for data used for debugging By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for data used for debugging By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for data used for debugging By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for data used for debugging Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для данных, используемых для отладки.
Ссылки	DO-331, Раздел MB.6.3.1.e – Требования высокого уровня соответствуют стандартам DO-331, Раздел MB.6.3.2.e – Низкоуровневые требования соответствуют стандартам IEC 61508-3, Таблица A.3 (3) - Языковое подмножество IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств EN 50128, таблица A.4 (11) - языковое подмножество
Смотрите также	Включение блока Model Verification в документации Simulink
В последний раз измененный	R2017b

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

ID: Заголовок	hisl_0306: Параметры конфигурации> Диагностика> Возможность соединения> Сигналы
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Diagnostics> панель Connectivity, устанавливают параметры Signals можно следующим образом: Signal label mismatch к `error` Unconnected block input ports к `error` Unconnected block output ports к `error` Unconnected line к `error`
Объяснение	Улучшите робастность проекта.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for signal connectivity By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for signal connectivity By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for signal connectivity By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for signal connectivity By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for signal connectivity Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для возможности соединения сигнала.
Ссылки	DO-331, Раздел MB.6.3.1.e – 'Требования высокого уровня соответствует стандартам DO-331, Раздел MB.6.3.2.e – 'Низкоуровневые требования соответствует стандартам IEC 61508-3, Таблица A.3 (3) - 'Языковое подмножество' IEC 62304, 5.5.3 - 'Критерии допустимости программного блока' ISO 26262-6, Таблица 1 (1b) - 'Использование языковых подмножеств' ISO 26262-6, Таблица 1 (1f) - 'Использование однозначного графического представления' EN 50128, таблица A.4 (11) - 'языковое подмножество'
Смотрите также	Образцовые Параметры конфигурации: Диагностика Возможности соединения в документации Simulink
В последний раз измененный	R2017b

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

ID: Заголовок	hisl_0307: Параметры конфигурации> Диагностика> Возможность соединения> Шины
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на 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` Repair bus selections к `Warn and repair`
Объяснение	Улучшите робастность проекта.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for bus connectivity By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for bus connectivity By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for bus connectivity By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for bus connectivity By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for bus connectivity Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для возможности соединения шины.
Ссылки	DO-331, Раздел MB.6.3.3.b – Программная архитектура сопоставима IEC 61508-3, Таблица A.3 (3) - Языковое подмножество IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств EN 50128, таблица A.4 (11) - языковое подмножество
Смотрите также	Образцовые Параметры конфигурации: Диагностика Возможности соединения в документации Simulink
В последний раз измененный	R2018b

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

ID: Заголовок	hisl_0308: Параметры конфигурации> Диагностика> Возможность соединения> Вызовы функции
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Diagnostics> панель Connectivity, устанавливают параметры Function calls можно следующим образом: Invalid function-call connection к `error` Context-dependent inputs к `Enable all as errors`
Объяснение	Улучшите робастность проекта.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings that apply to function-call connectivity By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings that apply to function-call connectivity By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings that apply to function-call connectivity By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings that apply to function-call connectivity By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings that apply to function-call connectivity Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки, которые применяются к возможности соединения вызова функции.
Ссылки	DO-331, Раздел MB.6.3.3.b – Программная архитектура сопоставима IEC 61508-3, Таблица A.3 (3) - Языковое подмножество IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств EN 50128, таблица A.4 (11) - языковое подмножество
Смотрите также	Образцовые Параметры конфигурации: Диагностика Возможности соединения в документации Simulink
В последний раз измененный	R2017b

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

ID: Заголовок	hisl_0309: Параметры конфигурации> Диагностика> Преобразование типов
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Diagnostics> панель Type Conversion, устанавливают параметры Type Conversion можно следующим образом: Vector/matrix block input conversion к `error` Unnecessary type conversion к `warning` 32-bit integer to single precision float conversion к `warning`
Объяснение	Улучшите робастность проекта.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for type conversions By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for type conversions By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for type conversions By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for type conversions By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for type conversions Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для преобразований типов.
Ссылки	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) Безопасное программирование IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Табличное 1 (1b) Использование языковых подмножеств ISO 26262-6, Табличное 1 (1c) Осуществление строгого контроля типов ISO 26262-6, Табличное 1 (1d) Использование защитных методов реализации EN 50128, таблица A.4 (8) язык программирования со строгим контролем типов EN 50128, табличное A.3 (1) безопасное программирование
Смотрите также	Образцовые Параметры конфигурации: Диагностика Преобразования типов в документации Simulink
В последний раз измененный	R2017b

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

ID: Заголовок	hisl_0310: Параметры конфигурации> Диагностика> Образцовая Ссылка
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Diagnostics> панель Model Referencing, устанавливают параметры Model Referencing можно следующим образом: Model block version mismatch к `none` Port and parameter mismatch к `error` Invalid root Inport/Outport block connection к `error` Unsupported data logging к `error`
Объяснение	Улучшите робастность проекта.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for model referencing By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for model referencing By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for model referencing By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for model referencing By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for model referencing Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для образцовой ссылки.
Ссылки	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) - Языковое подмножество IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств EN 50128, таблица A.4 (11) - языковое подмножество
Смотрите также	Образцовые Параметры конфигурации: Модель, Ссылающаяся на Диагностику в документации Simulink
В последний раз измененный	R2018a

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

ID: Заголовок	hisl_0311: Параметры конфигурации> Диагностика> Stateflow^®
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Diagnostics> панель Stateflow, устанавливают эти параметры: Unexpected backtracking к `error` Invalid input data access in chart initialization к `error` No unconditional default transitions к `error` Transitions outside natural parent к `error` Unreachable execution path к `error` Undirected event broadcasts к `error` Transition action specified before condition action к `error`
Объяснение	Улучшите робастность проекта и продвиньте ясный стиль моделирования.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for Stateflow By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for Stateflow By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for Stateflow By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for Stateflow By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for Stateflow Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для Stateflow.
Ссылки	DO-331, Раздел MB.6.3.1.b 'Требования высокого уровня точен и сопоставим' DO-331, Раздел MB.6.3.1.e 'Требования высокого уровня соответствует стандартам DO-331, Раздел 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, Раздел MB.6.3.2.g 'Алгоритмы точен' EN 50128, таблица A.4 (11) - 'языковое подмножество' 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) - 'Языковое подмножество' MISRA C:2012, правило 17.2
Смотрите также	Образцовые Параметры конфигурации: Диагностика Stateflow в документации Simulink
В последний раз измененный	R2018b

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

ID: Заголовок	hisl_0314: Параметры конфигурации> Диагностика> Валидность Данных> Сигналы
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Diagnostics> панель Data Validity, устанавливают параметры Signals можно следующим образом: Signal resolution к `Explicit only` Division by singular matrix к `error` Underspecified data types к `error` Wrap on overflow к `error` Saturate on overflow к `error` Inf or NaN block output к `error` “rt” prefix for identifiers к `error` Simulation range checking к `error`
Объяснение	Улучшите робастность проекта.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for signal data By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for signal data By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for signal data By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for signal data By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related diagnostic settings for signal data Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для данных сигнала.
Ссылки	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, Раздел MB.6.3.1.g 'Алгоритмы точен' DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен' DO-331, Раздел MB.6.3.3.b 'Программная архитектура сопоставим' IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество' IEC 61508-3, Таблица A.4 (3) 'Безопасное программирование' IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств' ISO 26262-6, Таблица 1 (1d) 'Использование защитных методов реализации' EN 50128, таблица A.4 (11) 'языковое подмножество' EN 50128, таблица A.3 (1) 'безопасное программирование' MISRA C:2012, Dir 4.1
Смотрите также	Образцовые параметры конфигурации: диагностика валидности данных
В последний раз измененный	R2018a

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