Диагностика

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

Смотрите также
В последний раз измененный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 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

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

Ссылки
  • 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