Attributes

Attribute name Description
Behavior Symbolic expressions defining changes in output for fault state transitions. These fields support Prismatic verification.

	Attribute name	Description
	Behavior	Symbolic expressions defining changes in output for fault state transitions. These fields support Prismatic verification.

Remarks

In a FaultModeModel, Mode objects define the possible fault states.

Aspects

BehaviorModelsAspect: ComponentType, FaultModeModel, ModelicaAggregateInterface, ModelicaModelType, SignalFlowModel

Containment

Parents: FaultModeModel

Formal Specification

Structural Semantics: CyPhyML.4ml

Mode (Atom)