A Study of the AADL Mode Change Protocol

A Study of the AADL Mode Change Protocol

This paper describes a contribution to the verification of AADL models. It focuses on the part of the language dealing with operating modes. An analysis of the AADL mode change protocol is provided. Then, a translation process is exposed, that takes as an input an AADL model and produces as an outpu...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Bertrand, D., Deplanche, A.-M., Faucou, S., Roux, O.H.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
AADL
Communication switching
Computer architecture
Control systems
Delay
multi-modal systems
Protocols
Real time systems
Resource management
Safety
Switches
System recovery
time Petri nets
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper describes a contribution to the verification of AADL models. It focuses on the part of the language dealing with operating modes. An analysis of the AADL mode change protocol is provided. Then, a translation process is exposed, that takes as an input an AADL model and produces as an output a time Petri net. Lastly, it is explained how the resulting time Petri net model can be used to (formally) verify some real-time properties of the AADL model.
DOI:10.1109/ICECCS.2008.29