Exponenta Banner

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

Документация по IEC Certification Kit

Поддержка