Exponenta Banner

Диагностика

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

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

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

  • 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

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

Ссылки

  • 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.

  • 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

  • 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

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

Ссылки

  • 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) 'языковое подмножество'

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

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

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

В диалоговом окне Configuration Parameters, на Diagnostics> панель 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Использование наследованных шагов расчета для исходного блока, таких как Sine Wave, может пойти необнаруженное и привести к непредсказуемым уровням выполнения для источника и нисходящих блоков.
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 timesS-функция, которая явным образом не собирается наследовать шаг расчета, может пойти необнаруженная и привести к непредсказуемому поведению.

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

Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для шага расчета (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) 'Языковое подмножество'

  • 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: Параметры конфигурации> Диагностика> Совместимость
ОписаниеУстановите параметр конфигурации 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

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

Ссылки

  • 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

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

Ссылки

  • 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: Параметры конфигурации> Диагностика> Валидность Данных> блоки Слияния

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

Установите параметр конфигурации 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

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

Ссылки

  • 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: Параметры конфигурации> Диагностика> Валидность Данных> инициализация Модели
Описание

Установите параметр конфигурации Underspecified initialization на 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

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

Ссылки

  • 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

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

Ссылки

  • 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

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

Ссылки

  • 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

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

Ссылки

  • 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

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

Ссылки

  • 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, устанавливает эти параметры можно следующим образом:

  • Unnecessary type conversion к warning

  • Vector/matrix block input conversion к error

  • 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

Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для преобразований типов (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) Безопасное программирование

  • 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 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

Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для модели, ссылающейся (на 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) - Языковое подмножество

  • 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

  • Undirected event broadcasts к error

  • Transition action specified before condition action к error

  • Unreachable execution path к 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 (Simulink Check).

Ссылки

  • 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

  • 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

  • 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

Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью диагностические настройки для данных сигнала (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, Раздел 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
Документация Simulink
Поддержка