Диагностика

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

ID: Заголовок	hisl_0036: Параметры конфигурации> Диагностика> Сохранение
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, устанавливают эти параметры: Блок-схема содержит отключенные ссылки библиотеки на ошибку Блок-схема содержит параметризованные ссылки библиотеки на ошибку
Объяснение	Предотвратите неожиданные результаты.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для сохранения Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для сохранения Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для сохранения Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для сохранения Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для сохранения Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для сохранения.
Ссылки	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, на панели Диагностики, устанавливают параметры Решателя можно следующим образом:

Алгебраический цикл к error.
Минимизируйте алгебраический цикл к error.
Автоматический выбор параметра решателя к error.
Столкновение имени состояния к warning.
Блокируйте приоритетное нарушение к error, если вы используете блочные приоритеты.

Примечание

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

Если диагностический параметр...	Не установлен как обозначенный, затем...
Алгебраический цикл	Автоматическая поломка алгебраических циклов может пойти необнаруженная и может привести к непредсказуемому блочному выполнению порядка.
Минимизируйте алгебраический цикл	Автоматическая поломка алгебраических циклов может пойти необнаруженная и может привести к непредсказуемому блочному выполнению порядка.
Блокируйте приоритетное нарушение	Блокируйтесь порядок выполнения может включать необнаруженные конфликты, которые могут привести к непредсказуемому блочному выполнению порядка.
Автоматический выбор параметра решателя	Автоматическое изменение в решателе, размере шага или времени остановки моделирования может пойти необнаруженное, и может операция сгенерированного кода.
Столкновение имени состояния	Имя, используемое больше чем для одной силы состояния, идет необнаруженное.

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

Нарушение размера шага Min

Последовательное нулевое нарушение пересечений

Противоречивость данных решателя

Посторонние дискретные производные сигналы

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

Образцовые проверки советника

Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для решателей
Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для решателей
Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для решателей
Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для решателей
Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для решателей

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

Ссылки

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, на Диагностике> панель Частоты дискретизации, устанавливают следующие параметры Частоты дискретизации на error:

Исходный блок задает-1 частоту дискретизации
Многозадачный переход уровня
Единственный переход уровня задачи
Многозадачная условно выполняемая подсистема
Задачи с равным приоритетом
Осуществите частоты дискретизации, заданные блоками Спецификации Сигнала
Незаданный inheritability частот дискретизации

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

Примечание

Если диагностический параметр...	Не установлен как обозначенный, затем...
Исходный блок задает-1 частоту дискретизации	Использование наследованных частот дискретизации для исходного блока, таких как Синусоида, может пойти необнаруженное и привести к непредсказуемым уровням выполнения для источника и нисходящих блоков.
Многозадачный переход уровня	Недопустимые переходы уровня между двумя блоками, действующими в многозадачном режиме, могут пойти необнаруженные. Вы не можете использовать недопустимые переходы уровня для встроенных приложений программного обеспечения реального времени.
Единственный переход уровня задачи	Переход уровня между двумя блоками, действующими в однозадачном режиме, может пойти необнаруженный. Вы не можете использовать однозадачные переходы уровня для встроенных приложений программного обеспечения реального времени.
Многозадачные условно выполняемые подсистемы	Условно выполняемая подсистема мультиуровня, действующая в многозадачном режиме. может пойти необнаруженные и поврежденные данные или показать неожиданное поведение в целевой системе, которая позволяет вытеснение.
Задачи с равным приоритетом	Две асинхронных задачи с равным приоритетом могут пойти необнаруженные и показать неожиданное поведение в целевых системах, которые позволяют вытеснение.
Осуществите частоты дискретизации, заданные блоками Спецификации Сигнала	Противоречивые частоты дискретизации для блока Signal Specification и связанного целевого блока могут пойти необнаруженные и привести к непредсказуемым уровням выполнения.
Незаданный inheritability частот дискретизации	S-функция, которая явным образом не собирается наследовать частоту дискретизации, может пойти необнаруженная и привести к непредсказуемому поведению.

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

Образцовые проверки советника

Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для частоты дискретизации
Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для частоты дискретизации
Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для частоты дискретизации
Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для частоты дискретизации
Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для частоты дискретизации

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

Ссылки

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) 'Использование языковых подмножеств'
EN 50128, таблица A.4 (11) 'языковое подмножество'

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

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

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

ID: Заголовок	hisl_0301: Параметры конфигурации> Диагностика> Совместимость
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Диагностике> панель Совместимости, устанавливают параметры Совместимости можно следующим образом: Обновления S-функции необходимы к `error`
Объяснение	Улучшите робастность дизайна.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для совместимости Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для совместимости Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для совместимости Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для совместимости Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для совместимости Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для совместимости.
Ссылки	DO 331, Раздел MB.6.3.3.b – Программная архитектура сопоставима IEC 61508-3, таблица A.4 (3) 'безопасное программирование' IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1d) 'Использование защитных методов реализации' EN 50128, таблица A.3 (1) 'безопасное программирование'
Смотрите также	Образцовые Параметры конфигурации: Диагностика Совместимости в документации Simulink
В последний раз измененный	R2017b

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

ID: Заголовок	hisl_0302: Параметры конфигурации> Диагностика> Законность Данных> Параметры
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Диагностике> панель Законности Данных, устанавливают параметры Параметров можно следующим образом: Обнаружьте удрученный к `error` Обнаружьте потерю значимости к `error` Обнаружьте потерю приспособляемости к `error` Обнаружьте переполнение к `error` Обнаружьте потерю точности для `error`
Объяснение	Улучшите робастность дизайна.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для параметров Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для параметров Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для параметров Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для параметров Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для параметров Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для параметров.
Ссылки	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 (1d) 'Использование защитных методов реализации' EN 50128, таблица A.3 (1) 'безопасное программирование'
Смотрите также	Образцовые Параметры конфигурации: Диагностика Законности Данных в документации Simulink
В последний раз измененный	R2018b

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

ID: Заголовок	hisl_0303: блок Configuration Parameters> Diagnostics> Merge
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, установите: Обнаружьте несколько ведущих блоков, выполняющихся, в то же время продвигаются в `error`
Объяснение	Улучшите робастность дизайна.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для блоков Слияния Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для блоков Слияния Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для блоков Слияния Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для блоков Слияния Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для блоков Слияния Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для блоков Слияния.
Ссылки	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 к `Simplified`
Объяснение	Улучшите робастность дизайна.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для образцовой инициализации Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для образцовой инициализации Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для образцовой инициализации Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для образцовой инициализации Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для образцовой инициализации Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для образцовой инициализации.
Ссылки	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, включающий на `Disable all`.
Объяснение	Улучшите робастность дизайна.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для данных используются для отладки Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для данных используются для отладки Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для данных используются для отладки Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для данных используются для отладки Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для данных используются для отладки Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для данных, используемых для отладки.
Ссылки	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) - языковое подмножество
Смотрите также	Образцовое включение блока Verification в документации Simulink
В последний раз измененный	R2017b

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

ID: Заголовок	hisl_0306: Параметры конфигурации> Диагностика> Возможность соединения> Сигналы
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Диагностике> панель Возможности соединения, устанавливают параметры Сигналов можно следующим образом: Несоответствие метки сигнала к `error` Несвязанные блочные входные порты к `error` Несвязанные блочные выходные порты к `error` Несвязанная строка к `error`
Объяснение	Улучшите робастность дизайна.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для возможности соединения сигнала Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для возможности соединения сигнала Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для возможности соединения сигнала Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для возможности соединения сигнала Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для возможности соединения сигнала Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для возможности соединения сигнала.
Ссылки	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) - языковое подмножество
Смотрите также	Образцовые Параметры конфигурации: Диагностика Возможности соединения в документации Simulink
В последний раз измененный	R2017b

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

ID: Заголовок	hisl_0307: Параметры конфигурации> Диагностика> Возможность соединения> Шины
Описание	Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Диагностике> панель Возможности соединения, устанавливают параметры Шин можно следующим образом: Незаданный объект шины в корневом блоке Outport к `error` Несоответствие имени элемента к `error` Сигнал шины, обработанный как вектор к `error` Не соедините шиной сигналы, обработанные, когда шина сигнализирует к `error` Восстановите выборы шины к `Warn and repair`
Объяснение	Улучшите робастность дизайна.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для возможности соединения шины Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для возможности соединения шины Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для возможности соединения шины Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для возможности соединения шины Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для возможности соединения шины Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для возможности соединения шины.
Ссылки	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, на Диагностике> панель Возможности соединения, устанавливают параметры Вызовов функции можно следующим образом: Недопустимая связь вызова функции с `error` Контекстно-зависимые входные параметры к `Enable all as errors`
Объяснение	Улучшите робастность дизайна.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки, которые применяются к возможности соединения вызова функции Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки, которые применяются к возможности соединения вызова функции Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки, которые применяются к возможности соединения вызова функции Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки, которые применяются к возможности соединения вызова функции Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки, которые применяются к возможности соединения вызова функции Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки, которые применяются к возможности соединения вызова функции.
Ссылки	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, на Диагностике> панель Преобразования типов, устанавливают параметры Преобразования типов можно следующим образом: Векторный/матричный блок ввел преобразование в `error` Ненужное преобразование типов к `warning` 32-битное целое число к одинарной точности пускает в ход преобразование в `warning`
Объяснение	Улучшите робастность дизайна.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для преобразований типов Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для преобразований типов Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для преобразований типов Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для преобразований типов Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для преобразований типов Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для преобразований типов.
Ссылки	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, на Диагностике> панель Ссылки Модели, устанавливают параметры Ссылки Модели можно следующим образом: Несоответствие версии блока модели к `none` Порт и параметр не сочетаются `error` Недопустимая корневая связь блока Inport/Outport с `error` Неподдерживаемая регистрация данных к `error`
Объяснение	Улучшите робастность дизайна.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для образцовой ссылки Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для образцовой ссылки Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для образцовой ссылки Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для образцовой ссылки Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для образцовой ссылки Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для образцовой ссылки.
Ссылки	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, на Диагностике> панель Stateflow, устанавливают эти параметры: Неожиданное отслеживание в обратном порядке к `error` Недопустимый доступ к входным данным в инициализации графика к `error` Никакие безусловные переходы по умолчанию к `error` Переходы вне естественного родительского элемента к `error` Недостижимый путь к выполнению к `error` Неориентированные широковещательные сообщения события к `error` Действие перехода, заданное перед действием условия к `error`
Объяснение	Улучшите робастность дизайна и продвиньте ясный стиль моделирования.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для Stateflow Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для Stateflow Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для Stateflow Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для Stateflow Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для 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, на Диагностике> панель Законности Данных, устанавливают параметры Сигналов можно следующим образом: Разрешение сигнала `Explicit only` Деление сингулярной матрицей к `error` Типы данных Underspecified к `error` Перенеситесь на переполнении к `error` Насыщайте на переполнении к `error` Блок Inf или NaN вывод к `error` “rt” снабжают префиксом для идентификаторов к `error` Проверка диапазона моделирования к `error`
Объяснение	Улучшите робастность дизайна.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для данных сигнала Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для данных сигнала Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для данных сигнала Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для данных сигнала Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью диагностические настройки для данных сигнала Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для данных сигнала.
Ссылки	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

Была ли эта тема полезной?

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