Conference article

Refinement of AADL models using early-stage analysis methods

Guillaume Brau
University of Luxembourg, Laboratory of Advanced Software Systems, Luxembourg

Jérôme Hugues
Universitå de Toulouse – ISAE, Toulouse, France

Nicolas Navet
University of Luxembourg, Laboratory of Advanced Software Systems, Luxembourg

Download article

Published in: Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop; December 3; Vancouver; Canada

Linköping Electronic Conference Proceedings 90:6, s. 29-32

Show more +

Published: 2013-11-13

ISBN: 978-91-7519-451-6

ISSN: 1650-3686 (print), 1650-3740 (online)


Model-Driven Engineering (MDE) is a relevant approach to support the engineering of distributed embedded systems with performance and dependability constraints. MDE involves models definitions and transformations to cover most of the system life-cycle: design; implementation and Verification & Validation activities towards system qualification. Still; few works evaluate the early integration of performance evaluation based on architectural models. In this paper; we investigate the early-stage use of analysis in AADL modeling. Precisely; we exemplify on an avionics case study how to dimension the data flows for an application distributed over an AFDX network. Based on the insight from this study; we suggest a simple framework and associated techniques to efficiently support analysis activities in the early-stage design phases.


AADL; ARINC653; AFDX; analysis combination; WCTT evaluation; Network Calculus


[1] G. Brau; J. Hugues; and N. Navet. Refinement of AADL models using early-stage analysis methods. Technical Report TR-LASSY-13-06; LASSY; University of Luxembourg; 2013. Available at

[2] D. Redman; D. Ward; J. Chilenski; and G. Pollari. Virtual Integration for Improved System Design. In Proceedings of The First Analytic Virtual Integration of Cyber-Physical Systems Workshop; San Diego; California; USA; Nov. 2010.

[3] P. H. Feiler and D. P. Gluch. Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley Professional; 1st edition; 2012.

[4] G. Lasnier; B. Zalila; L. Pautet; and J. Hugues. Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. In Proceedings of the 14th Ada-Europe International Conference; Brest; France; June 8-12 2009.

[5] J. Delange; L. Pautet; A. Plantec; M. Kerboeuf; F. Singhoff; and F. Kordon. Validate; simulate; and implement ARINC653 systems using the AADL. In SIGAda annual international conference on Ada and related technologies; SIGAda ’09; pages 31–44; New York; NY; USA; 2009.

[6] M. Lauer. Une méthode globale pour la vérification d’exigences temps réel - Application à l’Avionique Modulaire Intégrée. Thèse de doctorat; Institut National Polytechnique de Toulouse; Toulouse; France; juin 2012.

[7] Aeronautical Radio Incorporated. ARINC Report 653P0 Avionics Application Software Standard Interface; Part 0; Overview of ARINC 653.

[8] Aeronautical Radio Incorporated. ARINC Report 664P7-1 Aircraft Data Network; Part 7; Avionics Full-Duplex Switched Ethernet Network.

[9] SAE/AS2-C. Architecture Analysis & Design Language V2 (AS5506A); January 2009.

[10] A. Al Sheikh; O. Brun; M. Chéramy; and P.-E. Hladik. Optimal design of virtual links in AFDX networks. Real-Time Systems; 49(3):308–336; 2013. doi: 10.1007/s11241-012-9171-z

[11] M. Boyer; J. Migge; and M. Fumey. PEGASE - A Robust and Efficient Tool for Worst-Case Network Traversal Time Evaluation on AFDX. In SAE AeroTech Congress & Exhibition; Toulouse; France; October 18-21 2011.

[12] O. Gilles and J. Hugues. Expressing and enforcing userdefined constraints of AADL models. In Proceedings of the 5th UML& AADL Workshop; Oxford; UK; 2010.

Citations in Crossref