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

Стройте диаграмму архитектуры

hisf_0003: Использование битовых операций

ID: Заголовок	hisf_0003: Использование битовых операций
Описание	При использовании битовых операций в блоках Stateflow^®,
Описание	A	Избегайте типов данных целого числа со знаком как операндов к битовым операциям.
Примечания	Обычно, битовые операции не значимы на целых числах со знаком. Нежелательное поведение может произойти. Например, операция сдвига может переместить знаковый бит в номер или числовой бит в знаковый бит.
Объяснение	A	Продвиньте однозначный стиль моделирования.
Проверки Model Advisor	Проверяйте использование битовых операций в диаграммах Stateflow (Simulink Check)
Ссылки	IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество' IEC 61508-3, Таблица A.3 (2) 'Язык программирования со строгим контролем типов’ IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств' ISO 26262-6, Таблица 1 (1c) 'Осуществление строгого контроля типов' EN 50128, таблица A.4 (11) 'языковое подмножество' EN 50128, таблица A.3 (1) 'безопасное программирование' DO-331, Раздел MB.6.3.3.d 'Программная архитектура поддается проверке' DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен' MISRA C:2012, правило 10.1
Смотрите также	hisl_0019: Использование битовых операций
В последний раз измененный	R2016a

hisf_0004: Защитите от вызовов рекурсивной функции, чтобы улучшить податливость кода

ID: Заголовок	hisf_0004: Защитите от вызовов рекурсивной функции, чтобы улучшить податливость кода
Описание	Чтобы улучшить податливость сгенерированного кода, не вызывайте функции рекурсивно. Это включает любую комбинацию графических функций, функций таблицы истинности, функций MATLAB^® или функций Simulink^®.
Необходимые условия	hisf_0011: настройки отладки Stateflow hisl_0311: Параметры конфигурации> Диагностика> Stateflow hisl_0060: Параметры конфигурации, которые улучшают податливость MISRA C:2012
Примечания	Рекурсия существует когда вызовы функции сама прямо или косвенно посредством другого вызова функции.
Объяснение	Способствуйте поведению вызова ограниченной функции.
Проверки Model Advisor	Проверяйте использование рекурсий (Simulink Check)
Ссылки	IEC 61508-3, Таблица B.1 (6) 'Ограничила использование рекурсии' IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 6 (1j) 'Никакие рекурсии' EN 50128, таблица A.12 (6) 'Ограничила использование рекурсии' DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен' DO-331, Раздел MB.6.3.3.d 'Программная архитектура поддается проверке' MISRA C:2012, правило 17.2
В последний раз измененный	R2021a
Примеры	Существует несколько шаблонов в Stateflow, который может привести к рекурсии. Вызовы рекурсивной функции
Примеры	Когда состояние по умолчанию A вводится, событие `Evn` широковещательно передается в действии входа A. `Evn` результаты в рекурсивном вызове алгоритма интерпретации. Поскольку A активен, исходящий переход A тестируется. Начиная с текущего события `Evn` совпадает с событием перехода (и из-за отсутствия условия), действие условия выполняется, широковещательно передавая `Evn` снова. Это приводит к новому вызову алгоритма интерпретации, который повторяет ту же последовательность шагов до переполнения стека. Вызовы рекурсивной функции

hisf_0007: Использование условий соединения (обеспечивающий взаимное исключение)

ID: Заголовок	hisf_0007: Использование условий соединения (обеспечивающий взаимное исключение)
Описание	Улучшить ясность и предотвратить генерацию недостижимого кода:
Описание	A	Сделайте условия соединения взаимоисключающими.
Примечания	Можно использовать эту инструкцию, чтобы обеспечить подмножество языка моделирования в проектах высокой целостности.
Объяснение	A	Улучшите ясность и предотвратите генерацию недостижимого кода.
Ссылки	DO-331, Раздел MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим' DO-331, Раздел MB.6.3.2.d 'Низкоуровневые требования поддается проверке' ISO 26262-6, Таблица 1 (1e) – Использование хорошо доверяемых принципов разработки
Проверки Model Advisor	Соблюдение этого руководства по моделированию не может быть проверено при помощи проверки Model Advisor.
В последний раз измененный	R2012b
Пример

hisf_0013: Использование путей к переходу (пересекающий параллельные государственные границы)

ID: Заголовок	hisf_0013: Использование путей к переходу (пересекающий параллельные государственные границы)
Описание	Постараться не создавать схемы, которые трудно изучить,
Описание	A	Постарайтесь не создавать переходы, которые пересекаются от одного параллельного состояния до другого.
Примечания	Можно использовать эту инструкцию, чтобы обеспечить подмножество языка моделирования в проектах высокой целостности.
Объяснение	A	Улучшите удобочитаемость модели.
Проверки Model Advisor	Проверяйте диаграммы Stateflow на пути к переходу, которые пересекают параллельные государственные границы (Simulink Check)
Ссылки	IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество' IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств' EN 50128, таблица A.4 (11) 'языковое подмножество' DO-331, Раздел MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим'
В последний раз измененный	R2017b
Пример	В следующем примере, когда `Out_A` 4, оба родительских состояния (`A_Parent` и `B_Parent`) повторно введены. Возвращение в родительские состояния сбрасывает значения `Out_A` и `Out_B` обнулять.

hisf_0014: Использование путей к переходу (проходящий через состояния)

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

hisf_0015: Сильный ввод данных (бросающий переменные и параметры в выражениях)

ID: Заголовок	hisf_0015: Сильный ввод данных (бросающий переменные и параметры в выражениях)
Описание	Упростить сильный ввод данных,
Описание	A	Явным образом введите переменные броска и параметры различных типов данных в: Условия перехода Действия перехода Состояния активности
Примечания	Программное обеспечение Stateflow автоматически бросает переменные другого типа в совпадающий тип данных. Эта инструкция помогает разъяснить типы данных промежуточных переменных.
Объяснение	A	Примените сильный ввод данных.
Проверки Model Advisor	Проверяйте диаграммы Stateflow на сильный ввод данных (Simulink Check)
Ссылки	IEC 61508-3, Таблица A.3 (2) ‘Язык программирования со строгим контролем типов’ IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1c) 'Осуществление строгого контроля типов' EN 50128, таблица A.4 (8) 'язык программирования со строгим контролем типов' DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен' MISRA C:2012, правило 10.1 MISRA C:2012, правило 12.2
В последний раз измененный	R2021a
Примеры	Рекомендуемый Не рекомендуемый

hisf_0016: имена порта Stateflow

ID: Заголовок	hisf_0016: имена порта Stateflow
Описание	Имя ввода или вывода Stateflow должно совпасть с соответствующим сигналом. Исключение к инструкции - то, что допускающие повторное использование блоки Stateflow могут иметь различные имена порта.
Объяснение	Поддержите генерацию прослеживаемого кода.
Проверки Model Advisor	Проверяйте именование портов в диаграммах Stateflow (Simulink Check)
Ссылки	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) 'языковое подмножество'
В последний раз измененный	2018a

hisf_0017: определение объема объекта данных Stateflow

ID: Заголовок	hisf_0017: определение объема объекта данных Stateflow
Описание	Объекты данных Stateflow с локальным осциллографом должны быть заданы на уровне графика или ниже.
Объяснение	Поддержите генерацию прослеживаемого кода.
Проверки Model Advisor	Проверяйте определение объема объектов данных Stateflow (Simulink Check)
Ссылки	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) 'языковое подмножество'
В последний раз измененный	2018a
Примеры	Рекомендуемый Не рекомендуемый

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

Поддержка