Exponenta Banner
exponenta event banner

Диагностика

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

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

Установите для этих параметров конфигурации значение error:

  • Блок-схема содержит отключенные ссылки на библиотеки

  • Блок-схема содержит параметризованные связи с библиотекой

ОбъяснениеПредотвращение непредвиденных результатов.
Проверки помощника по моделиПроверка параметров диагностики безопасности для сохранения (Simulink Check)
Ссылки

  • DO-331, Раздел MB.6.3.3.b «Архитектура программного обеспечения согласована»

  • МЭК 61508-3, Таблица A.3 (3) «Поднабор языка»

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 (1b) «Использование языковых поднаборов»
    ISO 26262-6, Таблица 1 (1f) «Использование однозначного графического представления»

  • EN 50128, Таблица A.4 (11) «Поднабор языка»

См. такжеПараметры конфигурации модели: Диагностика
Последнее изменениеR2021a

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

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

В диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Диагностика (Diagnostics) задайте параметры решателя следующим образом.

  • Алгебраический цикл к error.

  • Минимизировать алгебраический цикл до error.

  • Блокировать нарушение приоритета для error при использовании приоритетов блоков.

  • Автоматический выбор параметров решателя для error.

  • Конфликт имен состояний с warning.

Примечание

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

В этой таблице поясняется результат отсутствия указания указанного выше параметра конфигурации.

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

ОбъяснениеПоддержка создания надежного и однозначного кода.
Проверки помощника по моделиПроверка параметров диагностики, связанных с безопасностью, для решателей (Simulink Check)
Ссылки

  • DO-331, Раздел MB.6.3.3.b - Архитектура программного обеспечения согласована.
    DO-331, MB.6.3.3.e «Архитектура программного обеспечения соответствует стандартам»

  • IEC 61508-3, Таблица A.3 (3) 'Поднабор языка "

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 (1b) «Использование языковых поднаборов»

  • EN 50128, Таблица A.4 (11) «Поднабор языка»

См. также
Последнее изменениеR2018b

hisl_0044: Параметры конфигурации > Диагностика > Время выборки

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

В диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Диагностика (Diagnostics) > Время выборки (Sample Time) задайте для этих параметров значение error:

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

Примечание

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

В этой таблице поясняется результат отсутствия указания указанного выше параметра конфигурации.

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

ОбъяснениеAПоддержка создания надежного и однозначного кода.
Проверки помощника по моделиПроверка параметров диагностики, связанных с безопасностью, на время выборки (Simulink Check)
Ссылки

  • DO-331 Раздел MB.6.3.1.b «Высокие требования являются точными и последовательными »
    DO-331, Раздел MB.6.3.2.b «Требования низкого уровня являются точными и согласованными »
    DO-331, раздел MB.6.3.3.b «Архитектура программного обеспечения согласована »
    DO-331, Раздел MB.6.3.3.e - Архитектура программного обеспечения соответствует стандартам.

  • IEC 61508-3, Таблица A.3 (3) 'Поднабор языка "

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 (1b) «Использование языковых поднаборов»
    ISO 26262-6, Таблица 1 (1f) «Использование однозначного графического представления»

  • EN 50128, Таблица A.4 (11) «Поднабор языка»

См. такжеПараметры конфигурации модели: пример диагностики времени
Последнее изменениеR2017b

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

Идентификатор: Заголовокhisl_0301: Параметры конфигурации > Диагностика > Совместимость
ОписаниеУстановка параметров конфигурации S-function для обновления error.
Объяснение

Повышение надежности конструкции.

Проверки помощника по моделиПроверка совместимости параметров диагностики, связанных с безопасностью (Simulink Check)
Ссылки

  • DO-331, Раздел MB.6.3.3.b - Архитектура программного обеспечения согласована

  • IEC 61508-3, таблица A.4 (3) «Оборонительное программирование»

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 (1b) «Использование языковых поднаборов»
    ISO 26262-6, Таблица 1 (1d) «Использование защитных технологий реализации»

  • EN 50128, таблица A.3 (1) «Оборонительное программирование»

См. также

Параметры конфигурации модели: диагностика совместимости в документации Simulink

Последнее изменениеR2017b

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

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

В диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Диагностика (Diagnostics) > Валидность данных (Data Validity) задайте параметры Параметры (Parameters) следующим образом:

  • Обнаружить понижение в error

  • Обнаружение неполного потока в error

  • Обнаружение потери возможности настройки для error

  • Обнаружение переполнения для error

  • Обнаружение потери точности для error

Объяснение

Повышение надежности конструкции.

Проверки помощника по моделиПроверка параметров диагностики, связанной с безопасностью (Simulink Check)
Ссылки

  • DO-331, Раздел MB.6.3.1.g - Алгоритмы точны
    DO-331, Раздел MB.6.3.2.g - Алгоритмы точны.

  • IEC 61508-3, таблица A.4 (3) «Оборонительное программирование»

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 (1b) «Использование языковых поднаборов»
    ISO 26262-6, Таблица 1 (1d) «Использование защитных технологий реализации»

  • EN 50128, таблица A.3 (1) «Оборонительное программирование»

См. также

Параметры конфигурации модели: диагностика достоверности данных в документации Simulink

Последнее изменениеR2018b

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

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

Задайте для параметра конфигурации Detect multiple driving block executing that time step значение error.

Объяснение

Повышение надежности конструкции.

Проверки помощника по моделиПроверка параметров диагностики, связанных с безопасностью, для блоков объединения (Simulink Check)
Ссылки

  • DO-331 MB.6.3.2 b) Точность и последовательность

  • МЭК 61508-3, Таблица A.3 (3) - Поднабор языка

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, таблица 1 (1b) - Использование языковых подмножеств

  • EN 50128, Таблица A.4 (11) - Поднабор языка

См. также

Обнаружение нескольких управляющих блоков, выполняемых одновременно, в документации Simulink

Последнее изменениеR2017b

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

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

Задать для параметра конфигурации Недоопределенная инициализация значение Simplified.

Объяснение

Повышение надежности конструкции.

Проверки помощника по моделиПроверка параметров диагностики, связанных с безопасностью, для инициализации модели (Simulink Check)
Ссылки

  • DO-331, Раздел MB.6.3.3.b - Архитектура программного обеспечения согласована

  • МЭК 61508-3, Таблица A.3 (3) - Поднабор языка

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, таблица 1 (1b) - Использование языковых подмножеств

  • EN 50128, Таблица A.4 (11) - Поднабор языка

  • MISRA C:2012, правило 9.1

См. также

Неполное обнаружение инициализации в документации Simulink

Последнее изменениеR2017b

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

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

Установка параметра конфигурации Блок проверки модели, позволяющий Disable all.

Объяснение

Повышение надежности конструкции.

Проверки помощника по моделиПроверка параметров диагностики, связанных с безопасностью, для данных, используемых для отладки (Simulink Check)
Ссылки

  • DO-331, Раздел MB.6.3.1.e - Высокие требования соответствуют стандартам
    DO-331, Раздел MB.6.3.2.e - Низкоуровневые требования соответствуют стандартам

  • МЭК 61508-3, Таблица A.3 (3) - Поднабор языка

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, таблица 1 (1b) - Использование языковых подмножеств

  • EN 50128, Таблица A.4 (11) - Поднабор языка

См. также

Включение блока проверки модели в документации Simulink

Последнее изменениеR2017b

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

Идентификатор: Заголовокhisl_0306: Параметры конфигурации > Диагностика > Связность > Сигналы
Описание

В диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Диагностика (Diagnostics) > Связность (Connectivity) задайте следующие параметры сигналов:

  • Несоответствие метки сигнала error

  • Неподключенные входные порты блока к error

  • Неподключенные выходные порты блока к error

  • Неподключенная линия к error

Объяснение

Повышение надежности конструкции.

Проверки помощника по моделиПроверка параметров диагностики, связанных с безопасностью, для подключения сигналов (Simulink Check)
Ссылки

  • DO-331, Раздел MB.6.3.1.e - «Требования высокого уровня соответствуют стандартам»
    DO-331, Раздел MB.6.3.2.e - «Требования низкого уровня соответствуют стандартам»

  • МЭК 61508-3, Таблица A.3 (3) - «Поднабор языка»

  • МЭК 62304, 5.5.3 - «Критерии приемки установки программного обеспечения»

  • ISO 26262-6, Таблица 1 (1b) - «Использование языковых поднаборов»
    ISO 26262-6, Таблица 1 (1f) - «Использование однозначного графического представления»

  • EN 50128, таблица A.4 (11) - «Поднабор языка»

См. также

Параметры конфигурации модели: диагностика подключения в документации Simulink

Последнее изменениеR2017b

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

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

В диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Диагностика (Diagnostics) > Связность (Connectivity) задайте параметры шины следующим образом:

  • Неопределенный объект шины в корне Outport block to error

  • Несоответствие имени элемента error

  • Сигнал шины, обрабатываемый как вектор к error

  • Не-шинные сигналы, обрабатываемые как шинные сигналы error

Объяснение

Повышение надежности конструкции.

Проверки помощника по моделиПроверка параметров диагностики безопасности для подключения шины (Simulink Check)
Ссылки

  • DO-331, Раздел MB.6.3.3.b - Архитектура программного обеспечения согласована

  • МЭК 61508-3, Таблица A.3 (3) - Поднабор языка

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, таблица 1 (1b) - Использование языковых подмножеств

  • EN 50128, Таблица A.4 (11) - Поднабор языка

См. также

Параметры конфигурации модели: диагностика подключения в документации Simulink

Последнее изменениеR2020a

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

Идентификатор: Заголовокhisl_0308: Параметры конфигурации > Диагностика > Связность > Вызовы функций
ОписаниеУстановить параметр конфигурации Контекстно-зависимые входы в error.
Объяснение

Повышение надежности конструкции.

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

  • DO-331, Раздел MB.6.3.3.b - Архитектура программного обеспечения согласована

  • МЭК 61508-3, Таблица A.3 (3) - Поднабор языка

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, таблица 1 (1b) - Использование языковых подмножеств

  • EN 50128, Таблица A.4 (11) - Поднабор языка

См. также

Параметры конфигурации модели: диагностика подключения в документации Simulink

Последнее изменениеR2017b

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

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

В диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Диагностика (Diagnostics) > Преобразование типа (Type Conversion) задайте следующие параметры:

  • Ненужное преобразование типа в warning

  • Преобразование входного сигнала блока вектор/матрица в error

  • Преобразование 32-разрядного целого числа в одинарную точность с плавающей запятой в warning

Объяснение

Повышение надежности конструкции.

Проверки помощника по модели Проверка параметров диагностики, связанных с безопасностью, для преобразования типов (Simulink Check)
Ссылки

  • DO-331, Раздел MB.6.3.1.g - Алгоритмы точны
    DO-331, Раздел MB.6.3.2.g - Алгоритмы точны

  • IEC 61508-3, таблица A.3 (2) Сильно типизированный язык программирования
    IEC 61508-3, Таблица A.4 (3) Оборонительное программирование

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 (1b) Использование языковых подмножеств
    ISO 26262-6, таблица 1 (1с) Обеспечение строгого типирования
    ISO 26262-6, таблица 1 (1d) Использование защитных методов реализации

  • EN 50128, Таблица A.4 (8) Сильно типизированный язык программирования
    EN 50128, Таблица A.3 (1) Оборонительное программирование

См. также

Параметры конфигурации модели: диагностика преобразования типов в документации Simulink

Последнее изменениеR2017b

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

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

В диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Диагностика (Diagnostics) > Привязка модели (Model Referencing) задайте следующие параметры:

  • Несоответствие порта и параметра error

  • Недопустимое подключение корневого блока ввода/вывода к error

  • Неподдерживаемое ведение журнала данных в error

Объяснение

Повышение надежности конструкции.

Проверки помощника по моделиПроверка параметров диагностики, связанных с безопасностью, для ссылок на модели (Simulink Check)
Ссылки

  • DO-331, Раздел MB.6.3.1.d - Требования высокого уровня поддаются проверке
    DO-331, Раздел MB.6.3.2.d - Требования низкого уровня поддаются проверке.
    DO-331, Раздел MB.6.3.3.b - Архитектура программного обеспечения согласована

  • МЭК 61508-3, Таблица A.3 (3) - Поднабор языка

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, таблица 1 (1b) - Использование языковых подмножеств

  • EN 50128, Таблица A.4 (11) - Поднабор языка

См. также

Параметры конфигурации модели: диагностика ссылок на модель в документации Simulink

Последнее изменениеR2020a

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

Идентификатор: Заголовокhisl_0311: Параметры конфигурации > Диагностика > Поток состояния ®
Описание

На панели Диагностика (Diagnostics) > Поток состояния (Stateflow) задайте для этих параметров конфигурации значение error:

Объяснение

Повышение надежности проектирования и продвижение четкого стиля моделирования.

Проверки помощника по моделиПроверка параметров диагностики, связанных с безопасностью, для потока 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) - «Ограниченное использование рекурсии»

  • МЭК 62304, 5.5.3 - «Критерии приемки установки программного обеспечения»

  • ISO 26262-6, Таблица 1 (1b) - «Использование языковых поднаборов»
    ISO 26262-6, таблица 8 (1j) - «Без рекурсий»

  • МЭК 61508-3, Таблица A.3 (3) - «Поднабор языка»

  • MISRA C:2012, правило 17.2

См. также

Параметры конфигурации модели: Диагностика потока состояний в документации Simulink

Последнее изменениеR2021a

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

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

В диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Диагностика (Diagnostics) > Валидность данных (Data Validity) задайте параметры Сигналы (Signals) следующим образом:

  • Разрешение сигнала до Explicit only

  • Деление на сингулярную матрицу error

  • Недостаточно указанные типы данных для error

  • Вывод блока Inf или NaN в error

  • префикс «rt» для идентификаторов error

  • Переносить переполнение в error

  • Насыщение при переполнении в error

  • Проверка диапазона моделирования до error

Объяснение

Повышение надежности конструкции.

Проверки помощника по моделиПроверка параметров диагностики сигналов, связанных с безопасностью (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) «Оборонительное программирование »

  • МЭК 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

Поддержка