Exponenta Banner

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

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

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

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

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

ОбъяснениеПродвиньте ясный стиль моделирования.
Проверки Model Advisor

  • By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Stateflow> Check state machine type of Stateflow charts

  • By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Stateflow> Check state machine type of Stateflow charts

  • By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Stateflow> Check state machine type of Stateflow charts

  • By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Stateflow> Check state machine type of Stateflow charts

  • By Task> Modeling Standards for EN 50128> High-Integrity Systems> Stateflow> Check state machine type of Stateflow charts

Для получения дополнительной информации проверки смотрите тип конечного автомата Проверки диаграмм Stateflow.

Ссылки

  • 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.1.b 'Требования высокого уровня точен и сопоставим'
    DO-331, Раздел MB.6.3.1.e 'Требования высокого уровня соответствует стандартам
    DO-331, Раздел MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим'
    DO-331, Раздел MB.6.3.2.e 'Низкоуровневые требования соответствует стандартам
    DO-331, Раздел MB.6.3.3.b 'Программная архитектура сопоставим'
    DO-331, Раздел MB.6.3.3.e 'Программная архитектура соответствует стандартам'

Смотрите такжеСоздайте мучнистый и графики Мура (Stateflow)
В последний раз измененныйR2018b

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

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

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

A

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

B

В редакторе Stateflow выберите Display> Chart> Transition Execution Order.

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

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

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

При выборе Display> Chart> Transition Execution Order отображает порядок тестирования перехода.

ОбъяснениеA, B Продвиньте однозначный стиль моделирования.
Проверки Model Advisor

  • By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Stateflow> Check Stateflow charts for ordering of states and transitions

  • By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Stateflow> Check Stateflow charts for ordering of states and transitions

  • By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Stateflow> Check Stateflow charts for ordering of states and transitions

  • By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Stateflow> Check Stateflow charts for ordering of states and transitions

  • By Task> Modeling Standards for EN 50128> High-Integrity Systems> Stateflow> Check Stateflow charts for ordering of states and transitions

Для получения дополнительной информации проверки смотрите диаграммы Stateflow Проверки для упорядоченного расположения состояний и переходов.

Ссылки

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

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

  • 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) 'Использование руководств по стилю'
    ISO 26262-6, Таблица 1 (1 ч) 'Использование соглашений о присвоении имен'

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

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

Следующие темы в документации Stateflow

В последний раз измененный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

  • By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Stateflow> Check for Strong Data Typing with Simulink I/O

  • By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Stateflow> Check for Strong Data Typing with Simulink I/O

  • By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Stateflow> Check for Strong Data Typing with Simulink I/O

  • By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Stateflow> Check for Strong Data Typing with Simulink I/O

  • By Task> Modeling Standards for EN 50128> High-Integrity Systems> Stateflow> Check for Strong Data Typing with Simulink I/O

Для получения дополнительной информации проверки смотрите Проверку на Сильный Ввод Данных с вводом-выводом Simulink.

Ссылки

  • DO-331, Раздел MB.6.3.1.b 'Требования высокого уровня точен и сопоставим'
    DO-331, Раздел MB.6.3.1.e 'Требования высокого уровня соответствует стандартам
    DO-331, Раздел MB.6.3.1.g 'Алгоритмы точен'
    DO-331, Раздел MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим'
    DO-331, Раздел MB.6.3.2.e 'Низкоуровневые требования соответствует стандартам
    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) - языковое подмножество

В последний раз измененныйR2017b

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

ID: Заголовок

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

Описание

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

A

  • В диалоговом окне Configuration Parameters, наборе:

    • Diagnostics> Data Validity> Wrap on overflow к error.

    • Diagnostics> Data Validity> Simulation range checking к error.

  • В окне модели выберите:

    • Simulation> Debug> MATLAB & Stateflow Error Checking Options> Detect Cycles.

B

Для каждой таблицы истинности в модели, в меню Settings Редактора Таблицы истинности, устанавливает следующие параметры на Error:

Underspecified
Overspecified

Примечания

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

ОбъяснениеA, B Защитите от недостижимого кода и непредсказуемое время выполнения.
Проверки Model Advisor

  • By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Stateflow> Check Stateflow debugging options

  • By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Stateflow> Check Stateflow debugging options

  • By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Stateflow> Check Stateflow debugging options

  • By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Stateflow> Check Stateflow debugging options

  • By Task> Modeling Standards for EN 50128> High-Integrity Systems> Stateflow> Check Stateflow debugging options

Для получения дополнительной информации проверки смотрите Проверку параметры отладки Stateflow.

Ссылки

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

  • 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) - языковое подмножество

В последний раз измененныйR2017b
Документация Simulink
Поддержка