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

Ports & Subsystems

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

ID: Заголовок	hisl_0006: Использование того, В то время как Итератор блокируется
Описание	Чтобы поддержать ограниченное итеративное поведение в сгенерированном коде при использовании В то время как блок Iterator, установите В то время как Максимальное количество параметра блока Iterator итераций к положительному целочисленному значению.
Примечание	Когда вы будете использовать, В то время как подсистемы Итератора, определите максимальный номер итераций. При использовании неограниченное количество итераций, сгенерированный код может включать бесконечные циклы, которые приводят к переполнениям времени выполнения. Чтобы наблюдать значение итерации во время моделирования и определить, достигает ли цикл максимального количества итераций, выберите, В то время как параметр блока Iterator Показывает порт номера итерации. Если цикл достигает максимального количества итераций, проверьте выходные значения В то время как блок Iterator.
Объяснение	Поддержка, ограниченная итеративный в сгенерированном коде.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Simulink> использование Проверки того, В то время как Итератор блокируется Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Simulink> использование Проверки того, В то время как Итератор блокируется Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Simulink> использование Проверки того, В то время как Итератор блокируется Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Simulink> использование Проверки того, В то время как Итератор блокируется Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Simulink> использование Проверки того, В то время как Итератор блокируется Для получения дополнительной информации проверки смотрите использование Проверки того, В то время как Итератор блокируется.
Ссылки	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: Использование Для Итератора или В то время как подсистемы Итератора
Описание	Чтобы поддержать однозначное поведение, при использовании Для Подсистемы Итератора или В то время как Подсистема Итератора, избегают использования демонстрационных зависящих от времени блоков, таких как интеграторы, фильтры и передаточные функции в подсистемах.
Объяснение	Избегайте неоднозначного поведения от подсистемы.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Simulink> Контрольный образец зависящие от времени блоки Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Simulink> Контрольный образец зависящие от времени блоки Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Simulink> Контрольный образец зависящие от времени блоки Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Simulink> Контрольный образец зависящие от времени блоки Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Simulink> Контрольный образец зависящие от времени блоки Для получения дополнительной информации проверки смотрите Контрольный образец зависящие от времени блоки.
Ссылки	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	В диалоговом окне параметров блока For Iterator, предельном источнике Итерации набора к `internal`.
	B	Если предельным источником Итерации должен быть `external`, используйте блок, который имеет постоянное значение, такое как Ширина, Зонд или Констант.
	C	В диалоговом окне параметров блока For Iterator очистите Набор затем i (переменная итерации) внешне.
	D	В диалоговом окне параметров блока For Iterator полагайте, что переменная итерации Show выбора наблюдает значение итерации во время моделирования.
Примечания	Когда вы используете блок For Iterator, подаете контрольную переменную цикла с фиксированными (непеременными) значениями, чтобы получить предсказуемое количество итераций цикла. В противном случае цикл может закончиться в непредсказуемые времена выполнения и, в случае внешних переменных итерации, бесконечные циклы, которые могут привести к переполнениям времени выполнения.
Объяснение	A, B, C, D	Поддержите ограниченное итеративное поведение в сгенерированном коде.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Simulink> использование Проверки Для блоков Итератора Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Simulink> использование Проверки Для блоков Итератора Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Simulink> использование Проверки Для блоков Итератора Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Simulink> использование Проверки Для блоков Итератора Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Simulink> использование Проверки Для блоков Итератора Для получения дополнительной информации проверки смотрите использование Проверки Для блоков Итератора.
Ссылки	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: Использование Если блоки и Если Подсистема Действия блокируется

ID: Заголовок	hisl_0010: Использование Если блоки и Если Подсистема Действия блокируется
Описание	Поддерживать сгенерированный код поддающийся проверке, при использовании Если блок с непустыми выражениями `Elseif`,
	A	В блочном диалоговом окне параметра еще выберите Show условие.
	B	Соедините выходные порты, Если блок к тому, Если Подсистема Действия блокируется.
Предпосылки	hisl_0016: Использование блоков, которые вычисляют операторы отношения
Примечания	Комбинация Если и Если блоки Подсистемы Действия включают условное выполнение на основе входных условий. Когда существует только ответвление `if`, вы не должны включать ответвление `else`.
Объяснение	A, B	Поддержите генерацию верифицируемого кода.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Simulink> использование Проверки Если блоки и Если Подсистема Действия блокируется Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Simulink> использование Проверки Если блоки и Если Подсистема Действия блокируется Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Simulink> использование Проверки Если блоки и Если Подсистема Действия блокируется Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Simulink> использование Проверки Если блоки и Если Подсистема Действия блокируется Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Simulink> использование Проверки Если блоки и Если Подсистема Действия блокируется Для получения дополнительной информации проверки смотрите использование Проверки того, Если блоки и Если Подсистема Действия блокируется .
Ссылки	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: Использование блоков Случая Переключателя и блоков Подсистемы Действия

ID: Заголовок	hisl_0011: Использование блоков Случая Переключателя и блоков Подсистемы Действия
Описание	Поддерживать сгенерированный код поддающийся проверке, при использовании блока Switch Case:
	A	В диалоговом окне параметра блока Switch Case выберите случай значения по умолчанию Show.
	B	Соедините выходные порты блока Switch Case к блоку Switch Case Action Subsystem.
	C	Используйте целочисленный тип данных или перечислимую величину для входных параметров, чтобы Переключить блоки Случая.
Предпосылки	hisl_0016: Использование блоков, которые вычисляют операторы отношения
Примечания	Комбинация Случая Переключателя и Если блоки Подсистемы Действия включают условное выполнение на основе входных условий. Обеспечьте путь по умолчанию выполнения в форме блока “Default”.
Объяснение	A, B, C	Поддержите генерацию верифицируемого кода.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Simulink> использование Проверки блоков Случая Переключателя и блоков Подсистемы Действия Случая Переключателя Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Simulink> использование Проверки блоков Случая Переключателя и блоков Подсистемы Действия Случая Переключателя Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Simulink> использование Проверки блоков Случая Переключателя и блоков Подсистемы Действия Случая Переключателя Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Simulink> использование Проверки блоков Случая Переключателя и блоков Подсистемы Действия Случая Переключателя Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Simulink> использование Проверки блоков Случая Переключателя и блоков Подсистемы Действия Случая Переключателя Для получения дополнительной информации проверки смотрите блоки Случая Переключателя использования Проверки и блоки Подсистемы Действия Случая Переключателя.
Ссылки	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	Поддержите однозначное поведение.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Simulink> использование Проверки условно выполняемых подсистем Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Simulink> использование Проверки условно выполняемых подсистем Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Simulink> использование Проверки условно выполняемых подсистем Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Simulink> использование Проверки условно выполняемых подсистем Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Simulink> использование Проверки условно выполняемых подсистем Для получения дополнительной информации проверки смотрите использование Проверки условно выполняемых подсистем.
Ссылки	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 возражают, что явным образом решает к связанной сигнальной линии, установите следующие параметры: Тип данных Размерности порта 'SampleTime'
Примечание	Используя корневой уровень блоки Inport без полностью заданных размерностей, частот дискретизации или типа данных могут привести к неоднозначным результатам симуляции. Если вы явным образом не задаете эти параметры, Simulink назад - распространяет размерности, частоты дискретизации и типы данных от нисходящих блоков.
Объяснение	Избегайте однозначного поведения. Поддержите полную спецификацию программного интерфейса.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Simulink> Проверка на корневой Inports с недостающими свойствами Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Simulink> Проверка на корневой Inports с недостающими свойствами Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Simulink> Проверка на корневой Inports с недостающими свойствами Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Simulink> Проверка на корневой Inports с недостающими свойствами Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Simulink> Проверка на корневой Inports с недостающими свойствами Для получения дополнительной информации проверки смотрите Проверку на корневой 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 на корневом уровне включает дополнительные возможности. Примеры включают: Обнаружение переполнения посредством проверки диапазона моделирования. Оптимизация кода с помощью Встроенного ^Coder®. Верификация модели проекта с помощью Дизайна Simulink Verifier™. Автомасштабирование фиксированной точки с помощью Фиксированной точки Designer™. Заданные области значений дизайна могут использоваться Embedded Coder, чтобы оптимизировать сгенерированный код. Если вы хотите использовать области значений дизайна для оптимизации, в диалоговом окне Configuration Parameters, на панели Генерации кода, рассмотрите Optimize выбора с помощью заданных минимальных и максимальных значений. Области значений для типа шины блоки Inport заданы с элементами шины объекта шины определения. Simulink игнорирует спецификации области значений, обеспеченные непосредственно в блоках Inport, которые являются типом шины.
Объяснение	Поддержите точную спецификацию входного интерфейса.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Simulink> Проверка на корневой Inports с недостающими определениями области значений Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Simulink> Проверка на корневой Inports с недостающими определениями области значений Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Simulink> Проверка на корневой Inports с недостающими определениями области значений Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Simulink> Проверка на корневой Inports с недостающими определениями области значений Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Simulink> Проверка на корневой Inports с недостающими определениями области значений Для получения дополнительной информации проверки смотрите Проверку на корневой 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, на панели Генерации кода, рассмотрите Optimize выбора с помощью заданных минимальных и максимальных значений. Области значений для блоков Выходного порта типа шины заданы с элементами шины объекта шины определения. Simulink игнорирует спецификации области значений, обеспеченные непосредственно в блоках Выходного порта, которые являются типом шины.
Объяснение	Поддержите точную спецификацию выходного интерфейса.
Образцовые проверки советника	Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Simulink> Проверка на корневые Выходные порты с недостающими определениями области значений Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Simulink> Проверка на корневые Выходные порты с недостающими определениями области значений Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Simulink> Проверка на корневые Выходные порты с недостающими определениями области значений Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Simulink> Проверка на корневые Выходные порты с недостающими определениями области значений Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Simulink> Проверка на корневые Выходные порты с недостающими определениями области значений Для получения дополнительной информации проверки смотрите Проверку на корневые Выходные порты с недостающими определениями области значений.
Ссылки	Раздел 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

Поддержка