A Study of the AADL Mode Change Protocol

Authors:
Dominique Bertrand;Anne-Marie Déplanche;Sébastien Faucou;Olivier H. Roux
Affiliations:
-;-;-;-
Venue:
ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
Year:
2008

Citing 0
Cited 5

Model driven code generation for critical and adaptative embedded systems

ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'09)
Mode-based reconfiguration of critical software component architectures

Proceedings of the Conference on Design, Automation and Test in Europe
Control co-design: algorithms and their implementation

Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Mode switch timing analysis for component-based multi-mode systems

Journal of Systems Architecture: the EUROMICRO Journal
Development of global specification for dynamically adaptive software

Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.