exponenta event banner

Рекомендации по моделированию диаграмм

При разработке моделей и создании кода для диаграмм используйте рекомендации по моделированию.

Рекомендации по моделированию систем с высокой целостностью

hisf_0001: Тип конечного автомата

hisf_0002: Заданное пользователем состояние/порядок выполнения перехода

hisf_0009: Сильная типизация данных (граница Simulink и Stateflow)

hisf_0011: Параметры отладки Stateflow

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

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

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

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

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

hisf_0015: Сильная типизация данных (заливка переменных и параметров в выражения)

Рекомендации по моделированию Консультативного совета MathWorks (MAB)

db_0127: Ограничение команд MATLAB в блоках потока состояний

jc_0451: Использование унарного минуса на неподписанных целых числах

jc_0481: Использование жестких сравнений равенства для чисел с плавающей запятой в Stateflow

jc_0501: Формат записей в блоке состояния

jc_0511: Возврат значений из графической функции

jc_0531: Переход по умолчанию

jm_0011: Указатели в Stateflow

na_0001: Стандартное использование операторов Stateflow

Дополнительные сведения см. в разделах Рекомендации по моделированию с высоким уровнем целостности и Проверки соответствия MAB и JMAAB (Simulink Check).

См. также

| | |