• Aucun résultat trouvé

From AADL to Timed Abstract State Machines: A Verified Model Transformation

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "From AADL to Timed Abstract State Machines: A Verified Model Transformation"

Copied!
28
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

Figure

Fig. 1. A global view of the verified AADL model transformation.
Fig. 2. Architecture of the electronic throttle controller system.
Fig. 3. A part of textual specification of the AADL model of the ETC system.
Fig. 4. A TASM example.
+6

Références

Télécharger maintenant ( PDF - 28 Page - 1.82 MB )

Documents relatifs