Свойства диаграммы

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

ID: Заголовокhisf_0001: Тип Конечного автомата
ОписаниеЧтобы создать графики Stateflow®, которые реализуют сопоставимую семантику Stateflow, используйте тот же State Machine Type (Classic, Mealy, или Moore) для всех графиков в модели.
Примечание

В диаграммах Мили действия сопоставлены с переходами. В графиках Мура действия сопоставлены с состояниями. В Классических графиках действия могут быть сопоставлены и с переходом и с состояниями.

Во время компиляции Stateflow проверяет, что семантика графика выполняет формальные определения и правила выбранного типа конечного автомата. Если семантика графика не находится в податливости, программное обеспечение предоставляет диагностическое сообщение.

ОбъяснениеПродвиньте ясный стиль моделирования.
Проверки 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 'Низкоуровневые требования точен и сопоставим'

Смотрите также
В последний раз измененныйR2018b

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

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

Сделайте следующее, чтобы явным образом установить порядок выполнения для активных состояний и допустимых переходов в диаграммах Stateflow:

A

В диалоговом окне Chart Properties выберите User specified state/transition execution order.

Необходимые условияhisl_0311: Параметры конфигурации> Диагностика> Stateflow
Примечание

Выбор User specified state/transition execution order ограничивает зависимость семантики диаграммы Stateflow на геометрическом положении параллельных состояний и переходов.

Определение порядка выполнения состояний и переходов позволяет вам осуществлять детерминизм в поисковом порядке для активных состояний и допустимых переходов. Вы имеете контроль над порядком, в котором выполняются параллельные состояния, и переходы, происходящие из источника, тестируются на выполнение. Если вы явным образом не устанавливаете порядок выполнения, программное обеспечение Stateflow определяет порядок выполнения в соответствии с детерминированным алгоритмом.

ОбъяснениеAПродвиньте однозначный стиль моделирования.
Проверки Model AdvisorПроверяйте диаграммы Stateflow на упорядоченное расположение состояний и переходов (Simulink Check)
Ссылки

Эта инструкция поддержки, придерживающиеся:

  • DO-331, Раздел MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим'

  • IEC 61508–3, Таблица A.3 (3) 'Языковое подмножество'
    IEC 61508–3, Таблица A.4 (5) 'Проект и стандарты кодирования'

  • IEC 62304, 5.5.3 - критерии допустимости Программного блока

  • ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств'
    ISO 26262-6, Таблица 1 (1e) 'Использование хорошо доверяемых принципов разработки
    ISO 26262-6, Таблица 1 (1f) 'Использование однозначного графического представления'
    ISO 26262-6, Таблица 1 (1g) 'Использование руководств по стилю'

  • EN 50128, таблица A.4 (11) 'языковое подмножество'
    EN 50128, таблица A.12 (1) 'кодирование стандарта'
    EN 50128, таблица A.12 (2) 'руководство стиля кодирования'

Смотрите также
В последний раз измененныйR2018b

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

ID: Заголовок

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

Описание

Поддерживать сильный ввод данных между Simulink и Stateflow,

AВыберите свойство диаграммы Use Strong Data Typing with Simulink I/O.
ПримечанияПо умолчанию введите к и выведите от диаграмм Stateflow, имеют тип double. Взаимодействовать через интерфейс непосредственно с Сигналами Simulink типов данных кроме double, выберите Use Strong Data Typing with Simulink I/O. В этом режиме типы данных между Simulink и контуром Stateflow со строгим контролем типов, и программное обеспечение Simulink не обрабатывает типы данных как double. Диаграмма Stateflow принимает входные сигналы любого типа данных, поддержанного программным обеспечением Simulink, при условии, что тип входного сигнала совпадает с типом соответствующего объекта входных данных Stateflow. В противном случае программное обеспечение сообщает об ошибке несоответствия типов.
ОбъяснениеAПоддержите код со строгим контролем типов.
Проверки Model Advisor

Проверяйте на Сильный Ввод Данных с вводом-выводом Simulink (Simulink Check)

Ссылки
  • DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен'

  • IEC 61508-3, Таблица A.3 (2) ‘Язык программирования со строгим контролем типов’
    IEC 61508-3, Таблица A.3 (3) - Языковое подмножество
    IEC 61508-3, Таблица A.4 (5) - Проект и стандарты кодирования

  • IEC 62304, 5.5.3 - критерии допустимости Программного блока

  • ISO 26262-6, Таблица 1 (1b) - Использование языковых подмножеств
    ISO 26262-6, Таблица 1 (1c) 'Осуществление строгого контроля типов'
    ISO 26262-6, Таблица 1 (1d) - Использование защитных методов реализации
    ISO 26262-6, Таблица 1 (1e) - Использование хорошо доверяемых принципов разработки
    ISO 26262-6, Таблица 1 (1f) - Использование однозначного графического представления
    ISO 26262-6, Таблица 1 (1g) - Использование руководств по стилю
    ISO 26262-6, Таблица 1 (1 ч) - Использование соглашений о присвоении имен

  • EN 50128, таблица A.3 (1) - безопасное программирование
    EN 50128, таблица A.4 (8) 'язык программирования со строгим контролем типов'
    EN 50128, таблица A.4 (11) - языковое подмножество

Смотрите такжеЗадайте свойства для диаграмм Stateflow (Stateflow)
В последний раз измененныйR2017b

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

ID: Заголовок

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

Описание

Защищать от недостижимого кода и неопределенное время выполнения,

A

Установите параметры конфигурации Wrap on overflow и Simulation range checking к error.

В модели откройте вкладку Debug и выберите Diagnostics> Detect Cyclical Behavior

B

Щелкните правой кнопкой по каждой таблице истинности в модели и выберите Properties. Установите эти параметры на Error:

  • Underspecification

  • Overspecification

Примечания

Диагностика во время выполнения только инициирована в процессе моделирования. Если состояние ошибки не достигнуто в процессе моделирования, сообщение об ошибке не инициировано для генерации кода.

ОбъяснениеA, B Защитите от недостижимого кода и непредсказуемое время выполнения.
Проверки Model AdvisorПроверяйте параметры отладки Stateflow (Simulink Check)
Ссылки
  • DO-331, Раздел MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим'
    DO-331, Раздел MB.6.3.3.d 'Программная архитектура поддается проверке'

  • IEC 61508-3, Таблица A.3 (2) ‘Язык программирования со строгим контролем типов’
    IEC 61508-3, Таблица A.3 (3) - Языковое подмножество
    IEC 61508-3, Таблица A.4 (5) - Проект и стандарты кодирования

  • IEC 62304, 5.5.3 - критерии допустимости Программного блока

  • ISO 26262-6, Таблица 1 (1b) - 'Использование языковых подмножеств'
    ISO 26262-6, Таблица 1 (1c) 'Осуществление строгого контроля типов'
    ISO 26262-6, Таблица 1 (1d) - 'Использование защитных методов реализации'
    ISO 26262-6, Таблица 1 (1e) - 'Использование хорошо доверяемых принципов разработки'
    ISO 26262-6, Таблица 1 (1f) - 'Использование однозначного графического представления'
    ISO 26262-6, Таблица 1 (1g) - 'Использование руководств по стилю'

  • EN 50128, таблица A.3 (1) - безопасное программирование
    EN 50128, таблица A.4 (8) 'язык программирования со строгим контролем типов'
    EN 50128, таблица A.4 (11) - языковое подмножество

Смотрите такжеЗадайте свойства функций таблицы истинности (Stateflow)
В последний раз измененныйR2017b
Для просмотра документации необходимо авторизоваться на сайте