Свойства графика

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

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

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

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

ОбъяснениеПродвигайте четкий стиль моделирования.
Проверки Model AdvisorПроверяйте тип конечного автомата диаграмм Stateflow (Simulink Check)
Ссылки
  • IEC 61508-3, Таблица A.3 (3) - Подмножество языков

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»

  • EN 50128, таблица A.4 (11) 'Language Subset'

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

См. также
Последнее изменениеR2018b

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

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

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

A

В диалоговом окне Свойств графика» выберите «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) «Проекты и кодирования»

  • МЭК 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) 'Language Subset'
    EN 50128, таблица A.12 (1) «Стандарт кодирования»
    EN 50128, таблица A.12 (2) 'Руководство по стилю кодирования'

См. также
Последнее изменениеR2018b

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

Идентификатор: Заголовок

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 Check)

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

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

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

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

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

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

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

Идентификатор: Заголовок

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 'Программная архитектура is verifiable'

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

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, таблица 1 (1b) - «Использование языковых подмножеств»
    ISO 26262-6, таблица 1 (1с) «Обеспечение соблюдения строгих типоразмеров»
    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
Для просмотра документации необходимо авторизоваться на сайте