• Aucun résultat trouvé

Definition of states and modes as general concepts for system design and validation

N/A
N/A
Protected

Academic year: 2021

Partager "Definition of states and modes as general concepts for system design and validation"

Copied!
9
0
0

Texte intégral

Figure

Figure 1 – Attributes used to define a state type We link our definition of state to concepts enabling to model it using different languages and modeling objects:
Figure 3 – Original state diagram characterizing the consist operability
Figure 7 – Attributes defining the operability modes We consider another type of mode, illustrated in  fig-ure 8
Figure 9 – Attributes of “Manage the TCMS HMI”

Références

Documents relatifs