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

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

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

hisf_0001: Тип Конечного автомата (Simulink)

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

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

hisf_0011: настройки отладки Stateflow (Simulink)

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

hisf_0004: Использование рекурсивного поведения (Simulink)

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

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

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

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

Инструкции по алгоритму управления MathWorks Automotive Advisory Board (MAAB)

db_0127: команды MATLAB в Stateflow

db_0151: шаблоны Конечного автомата для действий перехода

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

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

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

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

jc_0521: Использование возвращаемого значения от графических функций

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

jc_0541: Использование настраиваемых параметров в Stateflow

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

na_0001: Поразрядные операторы Stateflow

na_0013: операция Comparison в Stateflow

Для получения дополнительной информации смотрите Проверки Model Advisor на Руководства по моделированию Высокой Целостности (Simulink) и Проверки Model Advisor на Инструкции MAAB (Simulink).

Смотрите также

| | |