Exponenta Banner

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

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

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

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

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

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

  • Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Stateflow> тип конечного автомата Проверки диаграмм Stateflow

  • Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Stateflow> тип конечного автомата Проверки диаграмм Stateflow

  • Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Stateflow> тип конечного автомата Проверки диаграмм Stateflow

  • Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Stateflow> тип конечного автомата Проверки диаграмм Stateflow

  • Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Stateflow> тип конечного автомата Проверки диаграмм Stateflow

Для получения дополнительной информации проверки смотрите тип конечного автомата Проверки диаграмм 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 заданный порядок выполнения состояния/перехода.

B

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

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

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

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

При выборе Отображения> График> Порядок выполнения Перехода отображает порядок тестирования перехода.

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

  • Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Stateflow> диаграммы Stateflow Проверки для упорядоченного расположения состояний и переходов

  • Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Stateflow> диаграммы Stateflow Проверки для упорядоченного расположения состояний и переходов

  • Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Stateflow> диаграммы Stateflow Проверки для упорядоченного расположения состояний и переходов

  • Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Stateflow> диаграммы Stateflow Проверки для упорядоченного расположения состояний и переходов

  • Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Stateflow> диаграммы Stateflow Проверки для упорядоченного расположения состояний и переходов

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

  • Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Stateflow> использование Проверки построений Stateflow

  • Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Stateflow> использование Проверки построений Stateflow

  • Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Stateflow> использование Проверки построений Stateflow

  • Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Stateflow> использование Проверки построений Stateflow

  • Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Stateflow> использование Проверки построений Stateflow

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

Ссылки

  • 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, наборе:

    • Диагностика> Законность Данных> Переносится на переполнении к error.

    • Диагностика> Законность Данных> проверка диапазона Моделирования к error.

  • В образцовом окне выберите:

    • Моделирование> Отладка> MATLAB & Stateflow Error Checking Options> Обнаруживает Циклы.

B

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

Underspecified
Чрезмерно определенный

Примечания

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

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

  • Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Stateflow> Проверка параметры отладки Stateflow

  • Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Stateflow> Проверка параметры отладки Stateflow

  • Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Stateflow> Проверка параметры отладки Stateflow

  • Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Stateflow> Проверка параметры отладки Stateflow

  • Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Stateflow> Проверка параметры отладки Stateflow

Для получения дополнительной информации проверки смотрите Проверку параметры отладки 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
Поддержка