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

Математические операции

hisl_0001: Использование блока Abs

ID: Заголовок	hisl_0001: Использование блока Abs
Описание	Поддерживать робастность сгенерированного кода, при использовании блока Abs,
	A	Избегайте булевых и типов данных без знака как входных параметров с блоком Abs.
	B	Выберите параметры блоков Saturate on integer overflow.
Примечания	Блок Abs не поддерживает булевы типы данных. Задавая тип входных данных без знака, может оптимизировать блок Abs из сгенерированного кода, приводящего к блоку, который вы не можете проследить до сгенерированного кода. Для типов данных со знаком Simulink^® не представляет абсолютное значение наиболее отрицательной величины. Когда вы выбираете Saturate on integer overflow, абсолютное значение типа данных насыщает к самому положительному представимому значению. Когда вы очищаете Saturate on integer overflow, вычисления абсолютного значения в симуляции и сгенерированном коде не могут быть сопоставимыми или ожидаться.
Объяснение	A	Поддержите генерацию прослеживаемого кода.
Объяснение	B	Достигните сопоставимого и ожидаемого поведения симуляции модели и сгенерированного кода.
Проверки Model Advisor	Проверяйте использование блоков Abs (Simulink Check)
Ссылки	IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество' IEC 61508-3, Таблица A.4 (3) 'Безопасное программирование' IEC 61508-3, Таблица A.3 (2) 'Язык программирования со строгим контролем типов’ IEC 61508-3, таблица B.8 (3) 'анализ потока управления' IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств' ISO 26262-6, Таблица 1 (1d) 'Использование защитных методов реализации' ISO 26262-6, Таблица 7 (1f) 'Анализ потока управления' EN 50128, таблица A.4 (11) 'языковое подмножество' EN 50128, таблица A.3 (1) 'безопасное программирование' EN 50128, таблица A.4 (8) 'язык программирования со строгим контролем типов' EN 50128, таблица A.19 (3) 'анализ потока управления' DO-331, Раздел MB.6.3.2.d 'Низкоуровневые требования поддается проверке' MISRA C:2012, Dir 4.1
В последний раз измененный	R2018b
Примеры	Рекомендуемый Не рекомендуемый

hisl_0002: Использование блоков Математической функции (rem и обратная величина)

ID: Заголовок	hisl_0002: Использование блоков Математической функции (rem и обратная величина)
Описание	Поддерживать робастность сгенерированного кода, при использовании блока Math Function с остатком после деления (`rem`) или обратная величина (`reciprocal`Функции:
	A	Защитите вход `reciprocal` функция от попытки обнулить.
	B	Защитите второй вход `rem` функция от попытки обнулить.
Примечание	Можно получить операцию деления на нуль, приводящую к большому количеству (`Inf`) выходное значение для `reciprocal` функция или Не число (`NaN`) выходное значение для `rem` функция. Чтобы избежать переполнения или неопределенных значений, защитите соответствующий вход от попытки обнулить.
Объяснение	Защитите от переполнения и неопределенных числовых результатов.
Проверки Model Advisor	Проверяйте использование блоков Математической функции (rem и взаимные функции) (Simulink Check)
Ссылки	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.2.g 'Алгоритмы точен' MISRA C:2012, Dir 4.1
В последний раз измененный	R2017b
Примеры	В следующем примере, когда входной сигнал колеблется вокруг нуля, выход показывает большое изменение в значении. Вам нужна дальнейшая защита от большого изменения в значении.

hisl_0003: Использование блоков Квадратного корня

ID: Заголовок	hisl_0003: Использование блоков Квадратного корня
Описание	Чтобы поддержать робастность сгенерированного кода, при использовании блока Square Root, выполняют одно из следующих действий:
	A	Объясните комплексные числа как выход.
	B	Защитите вход от движения отрицательного.
Объяснение	A, B	Избегайте нежелательных результатов в сгенерированном коде.
Проверки Model Advisor	Проверяйте использование блоков Sqrt (Simulink Check)
Ссылки	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.2.g 'Алгоритмы точен' MISRA C:2012, Dir 4.1
В последний раз измененный	R2016a
Примеры

hisl_0028: Использование Взаимных блоков Квадратного корня

ID: Заголовок	hisl_0028: Использование Взаимных блоков Квадратного корня
Описание	Чтобы поддержать робастность сгенерированного кода, при использовании блока Reciprocal Square Root, выполняют одно из следующих действий:
	A	Защитите вход от движения отрицательного.
	B	Защитите вход от попытки обнулить.
Примечание	Можно получить операцию деления на нуль, приводящую к `(Inf)` выходное значение для взаимной функции. Чтобы избежать переполнения или неопределенных значений, защитите соответствующий вход от попытки обнулить.
Объяснение	A, B	Избегайте нежелательных результатов в сгенерированном коде.
Проверки Model Advisor	Проверяйте использование Взаимных блоков Sqrt (Simulink Check)
Ссылки	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.2.g 'Алгоритмы точен' MISRA C:2012, Dir 4.1
В последний раз измененный	R2016a
Примеры

hisl_0004: Использование блоков Математической функции (натуральный логарифм и основа 10 логарифмов)

ID: Заголовок	hisl_0004: Использование блоков Математической функции (натуральный логарифм и основа 10 логарифмов)
Описание	Поддерживать робастность сгенерированного кода, при использовании блока Math Function с натуральным логарифмом (`log`) или основывайте 10 логарифмов (`log10`) параметры функции,
	A	Защитите вход от движения отрицательного.
	B	Защитите вход от равенства нулю.
	C	Объясните комплексные числа как выходное значение.
Примечания	Если вы устанавливаете тип выходных данных объединять, натуральный логарифм и основывать 10 функций логарифма выходные комплексные числа для отрицательных входных значений. Если вы устанавливаете тип выходных данных на действительный, функции выход `NAN` для отрицательных чисел, и минус бесконечность (`-inf`) для нулевых значений.
Объяснение	A, B, C	Поддержите генерацию устойчивого кода.
Проверки Model Advisor	Проверяйте использование блоков Математической функции (журнал и функции log10) (Simulink Check)
Ссылки	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.2.g 'Алгоритмы точен' MISRA C:2012, Dir 4.1
В последний раз измененный	R2017b
Примеры	Можно защитить от: Отрицательные числа с помощью блока Abs. Нулевые значения с помощью комбинации блока MinMax и блока Constant, с набором Constant value к `eps` \epsilon. Следующий пример отображает получившийся вывод для входных значений в пределах от `-100` к `100`.

hisl_0005: Использование блоков продукта

ID: Заголовок	hisl_0005: Использование блоков продукта
Описание	Поддерживать робастность сгенерированного кода, при использовании блока Product с входными параметрами делителя,
	A	В `Element-wise(.*)` режим, защитите входные параметры делителя от попытки обнулить.
	B	В `Matrix(*)` режим, защитите входные параметры делителя от становления сингулярными входными матрицами.
Примечания	При использовании блоков Product для поэлементных делений вы можете получить деление нулем, приводящим к `NaN` вывод . Чтобы избежать переполнения, защитите входные параметры делителя от попытки обнулить. При использовании блоков Product, чтобы вычислить инверсию матрицы или матричное деление, вы можете получить деление сингулярной матрицей. Это деление приводит к `NaN` вывод . Чтобы избежать переполнения, защитите входные параметры делителя от становления сингулярными входными матрицами.
Объяснение	A и B	Защитите от переполнения.
Проверки Model Advisor	Соблюдение этого руководства по моделированию не может быть проверено при помощи проверки Model Advisor.
Ссылки	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) 'безопасное программирование' 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 'Программная архитектура сопоставим' MISRA C:2012, Dir 4.1
Необходимые условия	hisl_0314: Параметры конфигурации> Диагностика> Валидность Данных> Сигналы
В последний раз измененный	R2019a

hisl_0029: Использование блоков Присвоения

ID: Заголовок	hisl_0029: Использование блоков Присвоения
Описание	Чтобы поддержать робастность сгенерированного кода, при использовании блока Assignment, инициализируют поля массивов перед их первым использованием.
Примечания	Если выходной вектор блока Assignment не инициализируется входом с блоком, элементы векторной силы не инициализируются в сгенерированном коде. Когда блок Assignment используется итеративно, и все поле массивов присвоены во время одного шага времени симуляции, вам не нужен вход инициализации с блоком. Доступ к неинициализированным элементам блока выход может привести к неожиданному поведению.
Объяснение	Избегайте нежелательных результатов в сгенерированном коде.
Проверки Model Advisor	Проверяйте использование блоков Присвоения (Simulink Check)
Ссылки	IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество' IEC 61508-3, Таблица A.4 (3) 'Безопасное программирование' IEC 61508-3, Таблица A.3 (2) ‘Язык программирования со строгим контролем типов’ 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) 'безопасное программирование' EN 50128, таблица A.4 (8) 'язык программирования со строгим контролем типов' DO-331, Раздел MB.6.3.1.e 'Требования высокого уровня соответствует стандартам DO-331, Раздел MB.6.3.2.e 'Низкоуровневые требования соответствует стандартам MISRA C:2012, правило 9.1
В последний раз измененный	R2016a
Примеры	Не Рекомендуемый: Никакой вход Y0 инициализации, когда блок не используется итеративно Рекомендуемый: Y0 входа Initialization, когда блок не используется итеративно Рекомендуемый: Инициализируйте поля массивов, когда блок будет использоваться итеративно

hisl_0066: Использование блоков Усиления

ID: Заголовок	hisl_0066: Использование блоков Усиления
Описание	Чтобы поддержать трассируемость сгенерированного кода, значение блока Gain не должно решать к `1`.
Примечания	Процесс генерации кода может удалить значения Усиления, равные `1` во время оптимизации, приводящей к элементам модели без прослеживаемого кода. Исключение к этому правилу устанавливает значение Усиления к именованному объекту данных параметра с неавтоматическим классом памяти.
Объяснение	Поддержите генерацию прослеживаемого кода.
Проверки Model Advisor	Проверяйте использование блоков Усиления (Simulink Check)
Ссылки	DO-331, Раздел MB.6.3.2.d 'Низкоуровневые требования поддается проверке' IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество' IEC 61508-3, Таблица A.4 (3) 'Безопасное программирование' IEC 61508-3, таблица B.8 (3) 'анализ потока управления' IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств' ISO 26262-6, Таблица 1 (1d) 'Использование защитных методов реализации' ISO 26262-6, Таблица 7 (1f) 'Анализ потока управления' EN 50128, таблица A.4 (11) 'языковое подмножество' EN 50128, таблица A.3 (1) 'безопасное программирование' EN 50128, таблица A.19 (3) 'анализ потока управления'
В последний раз измененный	R2018a

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

Поддержка