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

Ports & Subsystems

hisl_0006: Использование того, В то время как Итератор блокируется

ID: Заголовок	hisl_0006: Использование того, В то время как Итератор блокируется
Описание	Чтобы поддержать ограниченное итеративное поведение в сгенерированном коде при использовании В то время как блок Iterator, установите В то время как параметры блоков Итератора Maximum number of iterations к положительному целочисленному значению.
Примечание	Когда вы будете использовать, В то время как подсистемы Итератора, определите максимальный номер итераций. Если вы используете неограниченное количество итераций, сгенерированный код может включать бесконечные циклы, которые приводят к переполнениям времени выполнения. Чтобы наблюдать значение итерации во время симуляции и определить, достигает ли цикл максимального количества итераций, выберите В то время как параметры блоков Итератора Show iteration number port. Если цикл достигает максимального количества итераций, проверьте выходные значения В то время как блок Iterator.
Объяснение	Поддержка, ограниченная итеративный в сгенерированном коде.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Simulink> Check usage of While Iterator blocks By Task> Modeling Standards for IEC 61508 > High-Integrity Systems> Simulink> Check usage of While Iterator blocks By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Simulink> Check usage of While Iterator blocks By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Simulink> Check usage of While Iterator blocks By Task> Modeling Standards for EN 50128> High-Integrity Systems> Simulink> Check usage of While Iterator blocks Для получения дополнительной информации проверки смотрите использование Проверки того, В то время как Итератор блокируется.
Ссылки	DO-331, Раздел MB.6.3.1.e 'Требования высокого уровня соответствует стандартам DO-331, Раздел MB.6.3.2.e 'Низкоуровневые требования соответствует стандартам 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, правило 14.2 MISRA C:2012, правило 16.4 MISRA C:2012, Dir 4.1
В последний раз измененный	R2018b

hisl_0007: Использование Для Итератора или В то время как подсистемы Итератора

ID: Заголовок	hisl_0007: Использование Для Итератора или В то время как подсистемы Итератора
Описание	Чтобы поддержать однозначное поведение, при использовании Для Подсистемы Итератора или В то время как Подсистема Итератора, избегают использования демонстрационных зависящих от времени блоков, таких как интеграторы, фильтры и передаточные функции в подсистемах.
Объяснение	Избегайте неоднозначного поведения от подсистемы.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Simulink> Check sample time-dependent blocks By Task> Modeling Standards for IEC 61508 > High-Integrity Systems> Simulink> Check sample time-dependent blocks By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Simulink> Check sample time-dependent blocks By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Simulink> Check sample time-dependent blocks By Task> Modeling Standards for EN 50128> High-Integrity Systems> Simulink> Check sample time-dependent blocks Для получения дополнительной информации проверки смотрите Контрольный образец зависящие от времени блоки.
Ссылки	DO-331, Раздел MB.6.3.1.e 'Требования высокого уровня соответствует стандартам DO-331, Раздел MB.6.3.2.e 'Низкоуровневые требования соответствует стандартам Разделы MB.6.3.1.g и MB.6.3.2.g 'Алгоритмы точны 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, правило 14.2 MISRA C:2012, правило 16.4 MISRA C:2012, Dir 4.1
В последний раз измененный	R2018b
Примеры	Следующий пример вызывает предупреждение: блок Discrete FIR Filter является зависящим от времени и находится в Для или В то время как подсистема Итератора.

hisl_0008: Использование Для Блоков Итератора

ID: Заголовок	hisl_0008: Использование Для блоков Итератора
Описание	Чтобы поддержать ограниченное итеративное поведение в сгенерированном коде при использовании блока For Iterator, выполнить одно из следующих действий:
	A	В Для диалогового окна параметров блоков Итератора, набор Iteration limit source к `internal`.
	B	Если Iteration limit source должен быть `external`, используйте блок, который имеет постоянное значение, такое как Ширина, Зонд или Констант.
	C	В Для диалогового окна параметров блоков Итератора, очистите Set next i (iteration variable) externally.
	D	В Для диалогового окна параметров блоков Итератора, полагайте, что Show iteration variable выбора наблюдает значение итерации во время симуляции.
Примечания	Когда вы используете блок For Iterator, питаете контрольную переменную цикла фиксированными (непеременными) значениями, чтобы получить предсказуемое количество итераций цикла. В противном случае цикл может закончиться в непредсказуемые времена выполнения и, в случае внешних переменных итерации, бесконечные циклы, которые могут привести к переполнениям времени выполнения.
Объяснение	A, B, C, D	Поддержите ограниченное итеративное поведение в сгенерированном коде.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Simulink> Check usage of For Iterator blocks By Task> Modeling Standards for IEC 61508 > High-Integrity Systems> Simulink> Check usage of For Iterator blocks By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Simulink> Check usage of For Iterator blocks By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Simulink> Check usage of For Iterator blocks By Task> Modeling Standards for EN 50128> High-Integrity Systems> Simulink> Check usage of For Iterator blocks Для получения дополнительной информации проверки смотрите использование Проверки Для блоков Итератора.
Ссылки	DO-331, MB.Section 6.3.1.e 'Требования высокого уровня соответствуют стандартам DO-331, Раздел MB.6.3.2.e 'Низкоуровневые требования соответствует стандартам 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, правило 14.2 MISRA C:2012, правило 16.4 MISRA C:2012, Dir 4.1
В последний раз измененный	R2016a

hisl_0010: Использование Если блоки и Если блоки Subsystem Действия

ID: Заголовок	hisl_0010: Использование Если блоки и Если блоки Subsystem Действия
Описание	Поддерживать сгенерированный код поддающийся проверке, при использовании Если блок с непустыми выражениями `Elseif`,
	A	В диалоговом окне параметров блоков выберите Show else condition.
	B	Соедините выходные порты Если блок к Если блоки Subsystem Действия.
Предпосылки	hisl_0016: Использование блоков, которые вычисляют операторы отношения
Примечания	Комбинация Если и Если блоки Subsystem Действия включают условное выполнение на основе входных условий. Когда существует только ответвление `if`, вы не должны включать ответвление `else`.
Объяснение	A, B	Поддержите генерацию верифицируемого кода.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Simulink> Check usage of If blocks and If Action Subsystem blocks By Task> Modeling Standards for IEC 61508 > High-Integrity Systems> Simulink> Check usage of If blocks and If Action Subsystem blocks By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Simulink> Check usage of If blocks and If Action Subsystem blocks By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Simulink> Check usage of If blocks and If Action Subsystem blocks By Task> Modeling Standards for EN 50128> High-Integrity Systems> Simulink> Check usage of If blocks and If Action Subsystem blocks Для получения дополнительной информации проверки смотрите использование Проверки Если блоки и Если блоки Subsystem Действия.
Ссылки	DO-331, Разделы MB.6.3.1.g и MB.6.3.2.g 'Алгоритмы точен' Раздел DO-331 MB.6.3.1.b – Требования высокого уровня точен и сопоставим Раздел DO-331 MB.6.3.2.b – Низкоуровневые требования точен и сопоставим IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество' IEC 61508-3, Таблица A.4 (3) 'Безопасное программирование' IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (b) 'Использование языковых подмножеств' ISO 26262-6, Таблица 1 (d) 'Использование защитных методов реализации' EN 50128, таблица A.4 (11) 'языковое подмножество' EN 50128, таблица A.3 (1) 'безопасное программирование' MISRA C:2012, правило 14.2 MISRA C:2012, правило 16.4 MISRA C:2012, Dir 4.1
Смотрите также	na_0012: Использование Переключателя по сравнению с Подсистемой Действия, "Если Затем Еще" в документации Simulink^®
В последний раз измененный	R2016b
Примеры	Рекомендуемый: Elseif с еще
	Не рекомендуемый: нет еще путь
	Рекомендуемый: Только, Если, нет Еще требуемый

hisl_0011: Использование блоков Случая Переключателя и блоков Subsystem Действия

ID: Заголовок	hisl_0011: Использование блоков Случая Переключателя и блоков Subsystem Действия
Описание	Поддерживать сгенерированный код поддающийся проверке, при использовании блока Switch Case:
	A	В диалоговом окне параметров блоков Случая Переключателя выберите Show default case.
	B	Соедините выходные порты блока Switch Case к блоку Subsystem Действия Случая Переключателя.
	C	Используйте целочисленный тип данных или перечислимую величину для входных параметров, чтобы Переключить блоки Случая.
Предпосылки	hisl_0016: Использование блоков, которые вычисляют операторы отношения
Примечания	Комбинация Случая Переключателя и Если блоки Subsystem Действия включают условное выполнение на основе входных условий. Обеспечьте путь по умолчанию выполнения в форме блока “Default”.
Объяснение	A, B, C	Поддержите генерацию верифицируемого кода.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Simulink> Check usage of Switch Case blocks and Switch Case Action Subsystem blocks By Task> Modeling Standards for IEC 61508 > High-Integrity Systems> Simulink> Check usage of Switch Case blocks and Switch Case Action Subsystem blocks By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Simulink> Check usage of Switch Case blocks and Switch Case Action Subsystem blocks By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Simulink> Check usage of Switch Case blocks and Switch Case Action Subsystem blocks By Task> Modeling Standards for EN 50128> High-Integrity Systems> Simulink> Check usage of Switch Case blocks and Switch Case Action Subsystem blocks Для получения дополнительной информации проверки смотрите блоки Случая Переключателя использования Проверки и блоки Subsystem Действия Случая Переключателя.
Ссылки	DO-331, Разделы MB.6.3.1.g и MB.6.3.2.g 'Алгоритмы точен' Раздел DO-331 MB.6.3.1.b – Требования высокого уровня точен и сопоставим Раздел DO-331 MB.6.3.2.b – Низкоуровневые требования точен и сопоставим IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество' IEC 61508-3, Таблица A.4 (3) 'Безопасное программирование' IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (b) 'Использование языковых подмножеств' ISO 26262-6, Таблица 1 (d) 'Использование защитных методов реализации' EN 50128, таблица A.4 (11) 'языковое подмножество' EN 50128, таблица A.3 (1) 'безопасное программирование' MISRA C:2012, правило 14.2 MISRA C:2012, правило 16.4 MISRA C:2012, Dir 4.1
Смотрите также	db_0115: шаблоны Simulink для случая создают в документации Simulink.
В последний раз измененный	R2016b
Примеры	Следующие графические дисплеи пример обеспечения пути по умолчанию выполнения с помощью блока “Default”.

hisl_0012: Использование условно выполняемых подсистем

ID: Заголовок	hisl_0012: Использование условно выполняемых подсистем
Описание	Поддерживать однозначное поведение, при использовании условно выполняемых подсистем:
	A	Задайте наследовал (`-1`) шаги расчета для всех блоков в подсистеме, кроме Константа. Блоки Константа могут использовать бесконечный (`inf`) шаг расчета.
	B	Если подсистема называется асинхронно, избегайте использования демонстрационных зависящих от времени блоков, таких как интеграторы, фильтры и передаточные функции, в подсистеме.
Объяснение	A, B	Поддержите однозначное поведение.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Simulink> Check usage of conditionally executed subsystems By Task> Modeling Standards for IEC 61508 > High-Integrity Systems> Simulink> Check usage of conditionally executed subsystems By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Simulink> Check usage of conditionally executed subsystems By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Simulink> Check usage of conditionally executed subsystems By Task> Modeling Standards for EN 50128> High-Integrity Systems> Simulink> Check usage of conditionally executed subsystems Для получения дополнительной информации проверки смотрите использование Проверки условно выполняемых подсистем.
Ссылки	IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество' IEC 61508-3, Таблица A.4 (3) 'Безопасное программирование' IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (b) 'Использование языковых подмножеств' ISO 26262-6, Таблица 1 (d) 'Использование защитных методов реализации' EN 50128, таблица A.4 (11) 'языковое подмножество' EN 50128, таблица A.3 (1) 'безопасное программирование' DO-331, Разделы MB.6.3.1.g и MB.6.3.2.g 'Алгоритмы точен'
В последний раз измененный	R2018b
Примеры	При использовании дискретных блоков поведение зависит от операции через несколько непрерывных временных шагов. Когда блоки называются периодически, результаты не могут соответствовать вашим ожиданиям.

hisl_0024: определение интерфейса Inport

ID: Заголовок	hisl_0024: определение интерфейса Inport
Описание	Чтобы поддержать сильный ввод данных и однозначное поведение модели и сгенерированного кода, для каждого блока Inport корневого уровня или Сигнала Simulink возражают, что явным образом решает к связанной сигнальной линии, установите следующие параметры: Data type Port dimensions Sample time
Примечание	Используя корневой уровень блоки Inport без полностью заданных размерностей, шагов расчета или типа данных могут привести к неоднозначным результатам симуляции. Если вы явным образом не задаете эти параметры, Simulink назад - распространяет размерности, шаги расчета и типы данных от нисходящих блоков.
Объяснение	Избегайте однозначного поведения. Поддержите полную спецификацию программного интерфейса.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Simulink> Check for root Inports with missing properties By Task> Modeling Standards for IEC 61508 > High-Integrity Systems> Simulink> Check for root Inports with missing properties By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Simulink> Check for root Inports with missing properties By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Simulink> Check for root Inports with missing properties By Task> Modeling Standards for EN 50128> High-Integrity Systems> Simulink> Check for root Inports with missing properties Для получения дополнительной информации проверки смотрите Проверку на корневой Inports с недостающими свойствами.
Ссылки	Раздел DO-331 MB.6.3.1.b 'Требования высокого уровня точен и сопоставим' Раздел DO-331 MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим' IEC 61508-3, Таблица B.9 (6) ‘Полностью заданный интерфейс’ IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-4, Таблица 2 (2) ‘Точно задала интерфейсы‘ EN 50128, таблица A.3 (19) ‘полностью заданный интерфейс‘
В последний раз измененный	R2017b

hisl_0025: Разработайте спецификацию min / макс. спецификацию входных интерфейсов

ID: Заголовок	hisl_0025: Разработайте спецификацию min / макс. спецификацию входных интерфейсов
Описание	Предоставьте информацию min проекта / макс. информацию для корневого уровня блоки Inport, чтобы задать входные области значений интерфейса.
Примечания	Определение области значений блоков Inport на корневом уровне включает дополнительные возможности. Примеры включают: Обнаружение переполнения посредством проверки диапазона симуляции. Оптимизация кода с помощью Embedded Coder^®. Верификация модели проекта с помощью Simulink Design Verifier™. Автомасштабирование фиксированной точки с помощью Fixed-Point Designer™. Заданные области значений проекта могут использоваться Embedded Coder, чтобы оптимизировать сгенерированный код. Если вы хотите использовать области значений проекта для оптимизации, в диалоговом окне Configuration Parameters, на панели Code Generation, рассмотрите Optimize using the specified minimum and maximum values выбора. Области значений для типа шины блоки Inport заданы с элементами шины объекта шины определения. Simulink игнорирует спецификации области значений, обеспеченные непосредственно в блоках Inport, которые являются типом шины.
Объяснение	Поддержите точную спецификацию входного интерфейса.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Simulink> Check for root Inports with missing range definitions By Task> Modeling Standards for IEC 61508 > High-Integrity Systems> Simulink> Check for root Inports with missing range definitions By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Simulink> Check for root Inports with missing range definitions By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Simulink> Check for root Inports with missing range definitions By Task> Modeling Standards for EN 50128> High-Integrity Systems> Simulink> Check for root Inports with missing range definitions Для получения дополнительной информации проверки смотрите Проверку на корневой Inports с недостающими определениями области значений.
Ссылки	Раздел DO-331 MB.6.3.1.b 'Требования высокого уровня точен и сопоставим' Раздел DO-331 MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим' IEC 61508-3, Таблица B.9 (6) ‘Полностью заданный интерфейс’ IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-4, Таблица 2 (2) ‘Точно задала интерфейсы‘ EN 50128, таблица A.1 (11) – спецификации программного интерфейса Таблица A.3 (19) EN 50128 ‘полностью заданный интерфейс‘
В последний раз измененный	R2017b
^[a] Эти возможности усиливают информацию об области значений проекта в различных целях. Для получения дополнительной информации обратитесь к документации для инструментов, которые вы намереваетесь использовать.

hisl_0026: Разработайте спецификацию min / макс. спецификацию выходных интерфейсов

ID: Заголовок	hisl_0026: Разработайте спецификацию min / макс. спецификацию выходных интерфейсов
Описание	Предоставьте информацию min проекта / макс. информацию для блоков Выходного порта корневого уровня, чтобы задать выходные области значений интерфейса.
Примечания	Определение области значений блоков Выходного порта на корневом уровне включает дополнительные возможности. Примеры включают: Обнаружение переполнения посредством проверки диапазона симуляции. Оптимизация кода с помощью Embedded Coder. Верификация модели проекта с помощью Simulink Design Verifier. Автомасштабирование фиксированной точки с помощью Fixed-Point Designer. Заданные области значений проекта могут использоваться Embedded Coder, чтобы оптимизировать сгенерированный код. Если вы хотите использовать области значений проекта для оптимизации, в диалоговом окне Configuration Parameters, на панели Code Generation, рассмотрите Optimize using the specified minimum and maximum values выбора. Области значений для блоков Выходного порта типа шины заданы с элементами шины объекта шины определения. Simulink игнорирует спецификации области значений, обеспеченные непосредственно в блоках Выходного порта, которые являются типом шины.
Объяснение	Поддержите точную спецификацию выходного интерфейса.
Проверки Model Advisor	By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Simulink> Check for root Outports with missing range definitions By Task> Modeling Standards for IEC 61508 > High-Integrity Systems> Simulink> Check for root Outports with missing range definitions By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Simulink> Check for root Outports with missing range definitions By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Simulink> Check for root Outports with missing range definitions By Task> Modeling Standards for EN 50128> High-Integrity Systems> Simulink> Check for root Outports with missing range definitions Для получения дополнительной информации проверки смотрите Проверку на корневые Выходные порты с недостающими определениями области значений.
Ссылки	Раздел DO-331 MB.6.3.1.b 'Требования высокого уровня точен и сопоставим' Раздел DO-331 MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим' IEC 61508-3, Таблица B.9 (6) ‘Полностью заданный интерфейс’ IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-4, Таблица 2 (2) ‘Точно задала интерфейсы‘ EN 50128, таблица A.1 (11) – спецификации программного интерфейса Таблица A.3 (19) EN 50128 ‘полностью заданный интерфейс‘
В последний раз измененный	R2017b
^[a] Эти возможности усиливают информацию об области значений проекта в различных целях. Для получения дополнительной информации обратитесь к документации для инструментов, которые вы намереваетесь использовать.

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

Поддержка