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

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!