Руководства по моделированию для графиков

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

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

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

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

hisf_0009: Сильный набор данных (Simulink и Stateflow контура)

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

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

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

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

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

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

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

Руководства по моделированию MathWorks Advisory Board (MAB)

db_0127: Ограничение на команды MATLAB в блоках Stateflow

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

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

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

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

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

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

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

Для получения дополнительной информации смотрите Model Advisor Checks for High-Integrity Modeling Guidelines и Model Advisor Checks for MAB и JMAAB Compliance (Simulink Check).

См. также

| | |