AADL: An architecture design and analysis language for complex embedded real-time systems

Ruan Jian Xue Bao/Journal of Software

Volumn 21, Issue 5, 2010, Pages 899-915

  Yang, Zhi Bin ^a   Pi, Lei ^b   Hu, Kai ^a   Gu, Zong Hua ^c   Ma, Dian Fu ^a  

^a BEIHANG UNIVERSITY   (China)

^b IRIT   (France)

^c ZHEJIANG UNIVERSITY   (China)

Author keywords

AADL (architecture analysis and design language); Complex embedded real time system; Model driven; System architecture

Indexed keywords

ARCHITECTURE ANALYSIS; ARCHITECTURE DESIGNS; CODE GENERATION; EMBEDDED REAL TIME SYSTEMS; FORMAL SEMANTICS; MODEL TRANSFORMATION; MODEL-BASED; MODELING ELEMENTS; RESEARCH DIRECTIONS;

ARCHITECTURE; DESIGN; EMBEDDED SYSTEMS; FORMAL METHODS; LINGUISTICS; SEMANTICS;

REAL TIME SYSTEMS;

EID: 77953260025     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1001.2010.03700     Document Type: Article

References (92)

1. Feiler PH, Lewis BA, Vestal S. The SAE architecture analysis & design language (AADL)-A standard for engineering performance critical systems. In: Proc. of the 2006 IEEE Conf. on Computer Aided Control Systems Design. Washington: IEEE Computer Society Press, 2006. 1206-1211.
2. OMG. UML Profile for Schedulability, Performance, and Time V1.1. 2005. http://www.omg.org/technology/documents/formal/ schedulability.htm
3. OMG. UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms Specification V1.1. 2008. http://www.omg.org/technology/documents/formal/QoS_FT.htm
4. OMG. UML profile for modeling and analysis of real-time and embedded systems Beta 2. 2008. http://www.omgmarte.org/
5. SAE Aerospace. SAE AS5506: Architecture Analysis and Design Language (AADL). SAE Int'l, 2004. http://www.aadl.info/aadl/ currentsite/
6. Farail P, Gaufillet P, Canals A, Le Camus C, Sciamma D, Michel P, Cregut X, Pantel M. The TOPCASED project: A toolkit in open source for critical aeronautic systems design. In: Proc. of the 3rd European Congress Embedded Real Time Software. Toulouse: French Society of Automobile Engineers, 2006. 55-59.
7. Gaufillet P, Heim S, Bonnin H, Dissaux P. ITEA SPICES AADL experimentation at airbus. In: Proc. of the 14th Int'l Conf. on Reliable Software Technologies, Ada-Europe. Washington: IEEE Computer Society Press, 2009. http://public.enst-bretagne.fr/ ~kermarre/RST2009/p.gaufillet_airbus.pdf
8. Lewis BA, Feiler PH. Multi-Dimensional model based engineering using AADL. In: Proc. of the 19th IEEE/IFIP Int'l Symp. on Rapid System Prototyping. Washington: IEEE Computer Society Press, 2008. xv(xviii.
9. HOOD User Group. HOOD Reference Manual Release 4.0. HUG, 1995. http://www.esa.int/TEC/Software_engineering_and_ standardisation/TECKLAUXBQE_0.html
10. SAE Aerospace. Architecture Analysis and Design Language (AADL) Annex Volume 1. Document Number: AS5506/1, SAE International, 2006. http://www.sae.org/technical/standards/ AS5506/1
11. SAE Aerospace. SAE AS5506 Annex: Behavior_Specification V1.6. SAE International, 2006. http://www.aadl.info/aadl/ documents/Behaviour_Annex1.6.pdf
12. SAE Aerospace. SAE AS5506A: Architecture Analysis and Design Language V2.0. 2009. http://www.sae.org/technical/ standards/AS5506A
13. Singhoff F, Legrand J, Nana L, Marce L. Cheddar: A flexible real time scheduling framework. ACM Ada Letters, 2004, 24(4):1-8. [doi: 10.1145/1046191.1032298]
14. The SEI AADL Team. An extensible open source AADL tool environment (OSATE). Software Engineering Institute, CMU, 2006. http://www.aadl.info/aadl/downloads/ osate13/AADLToolUserGuide1.3.0%202006-06-02.pdf
15. Dessaux P, Singhoff F. Stood and Cheddar: AADL as a pivot language for analysing performances of real time architectures. In: Proc. of the 4th European Congress on Embedded Real-Time Software. Toulouse, 2008. http://www.ea2215.univ-brest.fr/ publications/par_chercheur/singhoff/ERTS08.pdf
16. Fran-a RB, Bodeveix JP, Filali M, Rolland JF, Chemouil D, Thomas D. The AADL behaviour annex-Experiments and roadmap. In: Proc. of the 12th IEEE Int'l Conf. on Engineering Complex Computer Systems. Washington: IEEE Computer Society, 2007. 377-382.
17. Bodeveix JP, Filali M, Rached M, Chemouil D, Gaufillet P. Experimenting an AADL behavioural annex and a verification method. In: Proc. of the DASIA 2006-DAta Systems in Aerospace. Berlin, 2006. ftp://ftp.estec.esa.nl/pub/wm/wme/Web/ AADLExperience2006.pdf
18. Yang ZB, Hu K, Ma DF, Pi L. Towards a formal semantics for the AADL behavior annex. In: Proc. of the IEEE/ACM Design, Automation and Test in Europe 2009. Nice: EDAA, 2009. 1166-1171.
19. Singhoff F, Plantec A. AADL modeling and analysis of hierarchical schedulers. In: Proc. of the 2007 ACM Int'l Conf. on SIGAda Annual Int'l Conf. New York: ACM Press, 2007. 41-50.
20. Ma Y, Talpin JP, Gautier T. Virtual prototyping AADL architectures in a polychronous model of computation. In: Proc. of the 6th ACM/IEEE Int'l Conf. on Formal Methods and Models for Co-Design. Washington: IEEE Computer Society Press, 2008. 139-148.
21. Brun M, Delatour J, Trinquet Y. Code generation from AADL to a real-time operating system: An experimentation feedback on the use of model transformation. In: Breitman K, Wookcock J, Sterrit R, Hinchey MJ, eds. Proc. of the 13th IEEE Int'l Conf. on Engineering of Complex Computer Systems. Washington: IEEE Computer Society Press, 2008. 257-262.
22. Autosar Web Site. http://www.autosar.org
23. Cuenot P, Chen DJ, Gerard S, L-nn H, Reiser MO, Servat D, Sj-stedt CJ, Kolagari RT, T-rngren M, Weber M. Managing complexity of automotive electronics using the EAST-ADL. In: Proc. of the 12th IEEE Int'l Conf. on Engineering Complex Computer Systems. Washington: IEEE Computer Society Press, 2007. 353-358.
24. Andree C, Mallet F, de Simone R. Modeling of immediate vs. delayed data communications: From AADL to UML MARTE. In: Proc. of the Forum on Specification & Design Languages (FDL). Barcelona: ECSI, 2007. 249-254.
25. Feiler PH. Efficient embedded runtime systems through port communication optimization. In: Breitman K, Wookcock J, Sterrit R, Hinchey MJ, eds. Proc. of the 13th IEEE Int'l Conf. on Engineering of Complex Computer Systems. Washington: IEEE Computer Society Press, 2008. 294-300.
26. Lee SY, Mallet F, de Simone R. Dealing with AADL end-to-end flow latency with UML MARTE. In: Breitman K, Wookcock J, Sterrit R, Hinchey MJ, eds. Proc. of the 13th IEEE Int'l Conf. on Engineering of Complex Computer Systems. Washington: IEEE Computer Society Press, 2008. 228-233.
27. Rolland JF, Bodeveix JP, Chemouil D, Filali M, Thomas D. Towards a formal semantics for AADL execution model. In: Proc. of the 4th European Congress on Embedded Real-Time Software. 2008. http://www.citeulike.org/user/DavidChemouil/article/ 3482660
28. Rolland JF, Bodeveix JP, Filali M, Chemouil D, Thomas D. Modes in asynchronous systems. In: Breitman K, Wookcock J, Sterrit R, Hinchey MJ, eds. Proc. of the IEEE Int'l Conf. on Engineering Complex Computer Systems. Washington: IEEE Computer Society Press, 2008. 282-287.
29. Pi L, Yang ZB, Bodeveix JP, Filali M, Hu K, Ma DF. A comparative study of FIACRE and TASM to define AADL real time concepts. In: Proc. of the 14th IEEE Int'l Conf. on Engineering of Complex Computer Systems. Washington: IEEE Computer Society Press, 2009. 347-352.
30. Berthomieu B, Bodeveix JP, Farail P, Filali M, Garavel H, Gaufillet P, Lang F, Vernadat F. Fiacre: An intermediate language for model verification in the TOPCASED environment. In: Proc. of the 4th European Congress on Embedded Real-Time Software. Toulouse, 2008. ftp://ftp.inrialpes.fr/pub/vasy/publications /others/Berthomieu-Bodeveix Farail-et-al-08.pdf
31. Ouimet M, Lundqvist K. The Timed abstract state machine language: Abstract state machines for real-time system engineering. Journal of Universal Computer Science, 2008, 14(12):2007-2033.
32. Behrmann G, David A, Larsen KG. A tutorial on UPPAAL. In: Proc. of the 4th Int'l School on Formal Methods for the Design of Computer, Communication, and Software Systems. Bertinoro: Springer-Verlag, 2004. 200-236.
33. Chkouri MY, Robert A, Bozga M, Sifakis J. Translating AADL into BIP-Application to the verification of real-time systems. In: Proc. of the ACESMB 2008 Workshop Conjunction with MODELS 2008. Berlin, Heidelberg: Springer-Verlag, 2009. 5-19.
34. Basu A, Bozga M, Sifakis J. Modeling heterogeneous real-time components in BIP. In: Hung DV, Pandya P, eds. Proc. of the SEFM 2006. Washington: IEEE Computer Society Press, 2006. 3-12.
35. Benammar M, Belala F, Latreche F. AADL behavioral annex based on generalized rewriting logic. In: Rolland C, Collard M, Pastor O, Flory A, Cavarero JL, eds. Research Challenges in Information Science. Washington: IEEE Computer Society Press, 2008. 1-8.
36. Abdoul T, Champeau J, Dhaussy P, Pillain PY, Roger JC. AADL execution semantics transformation for formal verification. In: Breitman K, Wookcock J, Sterrit R, Hinchey MJ, eds. Proc. of the 13th IEEE Int'l Conf. on Engineering of Complex Computer Systems. Washington: IEEE Computer Society Press, 2008. 263-268.
37. Bozga M, Graf S, Mounier L. IF-2.0: A validation environment for component-based real-time systems. In: Proc. of the Conf. on Computer Aided Verification. Berlin: Springer-Verlag, 2002. 630-640.
38. Sokolsky O, Lee I, Clark D. Schedulability analysis of AADL models. In: Proc. of the 20th Int'l Parallel and Distributed Processing Symp. 2006. http://ieeexplore.ieee.org/stamp/stamp.jsp-tp=&arnumber=1639421
39. Lee I, Philippou A, Sokolsky O. A family of resource-bound real-time process algebras. Electronic Notes in Theoretical Computer Science, 2006, 162:221-226. [doi: 10.1016/j.entcs.2005.12.085]
40. Clarke D, Lee I, Xie HL. VERSA: A tool for the specification and analysis of resource-bound real-time systems. Journal of Computer and Software Engineering, 1995, 3(2):185-215.
41. Sokolsky O, Chernoguzov A. Analysis of AADL models using real-time calculus with applications to wireless architectures. Technical Report, No.MS-CIS-08-25, Department of Computer and Information Science, University of Pennsylvania, 2008. http://repository.upenn.edu/cis_reports/887/
42. Thiele L, Chakraborty S, Naedele M. Real-Time calculus for scheduling hard real-time systems. In: Int'l Symp. on Circuits and Systems ISCAS 2000. Washington: IEEE Computer Society Press, 2000. 101-104.
43. Rugina PAE. Dependability modeling and evaluation-From AADL to stochastic Petri nets [Ph.D. Thesis]. Toulouse: LAAS- CNRS, 2008.
44. Bodeveix JP, Filali M, Martin S. Towards formalising AADL in proof assistants. Electronic Notes in Theoretical Computer Science. 2005, 141:153-169. [doi: 10.1016/j.entcs.2005.05.008]
45. Gerard S, Feiler PH, Rolland JF, Filali M, Reiser MO, Delanote D, Berbers Y, Pautet L, Perseil I. UML&AADL '2007 Grand challenges. ACM SIGBED Review, 2007, 4(4):1-17. [doi: 10.1145/1366546.1366547]
46. Fuentes L, Sanchez P. Towards executable aspect-oriented UML models. In: Proc. of the 10th Int'l Workshop on Aspect-Oriented Modeling. New York: ACM Press, 2007. 28-34.
47. Delanote D, van Baelen S, Joosen W, Berbers Y. Using AADL in model driven development. In: Canals A, Gerard S, Perseil I, eds. Proc. of the Int'l Conf. on Engineering Complex Computer Systems. Washington: IEEE Computer Society Press, 2007. 1-10.
48. Feiler PH, de Niz D, Raistrick C, Lewis BA. From PIMs to PSMs. In: Proc. of the 12th IEEE Int'l Conf. on Engineering Complex Computer Systems. Washington: IEEE Computer Society Press, 2007. 365-370.
49. Fetzer C. Systems engineering modeling languages: SysML & AADL. TU Dresden, 2004. http://wwwse.inf.tu-dresden.de/data/ courses/SE1/SE1-2004-lec13.pdf
50. Dissaux P. AADL model transformations. In: Ouwehand L, ed. Proc. of the DASIA 2005 Conf. in Edinburgh. 2005. http://www.ellidiss.com/dasia05.pdf
51. Burns A, Wellings AJ. HRT-HOOD: A structured design method for hard real-time systems. Real-Time Systems, 1994, 6(1): 73-114. [doi: 10.1007/BF01245300]
52. Delanote D, van Baelen S, Joosen W, Berbers Y. Using AADL in model driven development. In: Canals A, Gerard S, Perseil I, eds. Int'l Conf. on Engineering Complex Computer Systems. Washington: IEEE Computer Society Press, 2007. 1-10.
53. Mei H. A complementary approach to requirements engineering-software architecture orientation. Software Engineering Notes, 2000, 25(2):40-45. [doi: 10.1145/346057.346070]
54. Svetinovic D. Architecture-Level requirements specification. In: Proc. of the 2nd Int'l Software Requirements to Architectures Workshop. 2003. 14-19. http://se.uwaterloo.ca/~straw03/ProceedingsSTRAW03.pdf
55. Czarnecki K, Helsen S. Classification of model transformation approaches. In: Proc. of the OOPSLA 2003 Workshop on Generative Techniques in the Context of Model-Driven Architecture. 2003. http://www.swen.uwaterloo.ca/~kczarnec/ECE750T7/ czarnecki_helsen.pdf
56. OMG. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. 2007. http://www.omg.org/docs/ptc/ 07-07-07.pdf
57. Jouault F, Kurtev I. Transforming models with ATL. In: Proc. of the Model Transformations in Practice Workshop at MoDELS 2005. Berlin: Springer-Verlag, 2006. 128-138.
58. Drey Z, Faucher C, Fleurey F, Mahe V, Vojtisek D. Kermeta Language Reference Manual. 2009. http://www.kermeta.org/docs/ KerMeta-Manual.pdf
59. Agrawal A. Graph rewriting and transformation (GReAT): A solution for the model integrated computing (MIC) bottleneck. In: Proc. of the 18th IEEE Int'l Conf. on Automated Software Engineering. Washington: IEEE Computer Society Press, 2003. 364-368.
60. Axlog. ADeS, a simulator for AADL. 2007. http://www.axlog.fr/aadl/ades_en.html
61. Varona-Gomez R, Villar E. AADS: AADL simulation and performance analysis in SystemC. In: IEEE/ACM Design, Automation and Test in Europe 2009. Nice: EDAA, 2009. http://www.teisa.unican.es/gim/pub_files/file_375.pdf
62. Posadas H, Quijano D, Villar E, Martinez M. SCope: SoC co-simulation and performance estimation in SystemC. In: IEEE/ACM Design, Automation and Test in Europe 2007. Nice: EDAA, 2007. http://www.teisa.unican.es/gim/pub_files/file_376.pdf
63. Singhoff F, Plantec A, Dissaux P. Can we increase the usability of real time scheduling theory- The Cheddar project. In: Proc. of the 13th Int'l Conf. on Reliable Software Technologies, Ada-Europe. Berlin: Springer-Verlag, 2008. 240-253.
64. Singhoff F, Legrand J, Nana L, Marce L. Scheduling and memory requirement analysis with AADL. ACM Ada Letters, 2005, 25(4):1-10. [doi: 10.1145/1104011.1103847]
65. Singhoff F, Plantec A, Dissaux P, Legrand J. Investigating the usability of real-time scheduling theory with the Cheddar project. Real-Time Systems, 2009, 43(3):1-37. [doi: 10.1007/s11241-009-9072-y]
66. Furness Toolset v1.6 User Guide. 2007. http://www.furnesstoolset.com/
67. Senn E, Laurent J, Juin E, Diguet JP. Refining power consumption estimations in the component based AADL design flow. In: Forum on Specification, Verification and Design Languages. Washington: IEEE Computer Society Press, 2008. 173-178.
68. Feiler PH, Rugina A. Dependability modeling with the architecture analysis & design language. Technical Note, CMU/SEI-2007-TN-043, 2007. http://www.sei.cmu.edu/publications /documents/07.reports/07tn043.html
69. Rugina AE, Kanoun K, Kaaniche M. An architecture-based dependability modeling framework using AADL. In: Proc. of the 10th Int'l Conf. on Software Engineering and Applications. Washington: IEEE Computer Society Press, 2006. 222-227.
70. Rugina AE, Kanoun K, Kaaniche M. A system dependability modeling framework using AADL and GSPNs. In: de Lemos R, et al., eds. Architection Dependable Systems IV. LNCS 4615, 2007. 14-38. [doi: 10.1007/978-3-540-74035-3_2]
71. Rugina AE, Kanoun K, Kaaniche M. The ADAPT Tool: From AADL architectural models to stochastic Petri nets through model transformation. In: Proc. of the 7th European Dependable Computing Conf. Washington: IEEE Computer Society Press, 2008. 85-90.
72. Boudali H, Crouzen P, Haverkort BR, Kuntz M, Stoelinga M. Arcade-A formal, extensible, model-based dependability evaluation framework. In: Breitman K, Wookcock J, Sterrit R, Hinchey MJ, eds. Proc. of the 13th IEEE Int'l Conf. on Engineering of Complex Computer Systems. Washington: IEEE Computer Society Press, 2008. 243-248.
73. Sun HY, Hauptman M, Lutz R. Integrating product-line fault tree analysis into AADL models. In: Cukic B, Dong J, eds. Proc. of the 10th IEEE High Assurance Systems Engineering Symp. Washington: IEEE Computer Society Press, 2008. 15-22.
74. Hugues J, Zalila B, Pautet L, Kordon F. From the prototype to the final embedded system using the ocarina AADL tool suite. ACM Trans. on Embedded Computing Systems, 2008, 7(4):42.1-42.25.
75. Hansson J, Feiler PH. Data quality attributes in network-centric systems. 2006. http://la.sei.cmu.edu/aadl/documents/ JHansson_QualityAttributesInAADL_April_2006.pdf
76. Eby M, Werner Jan, Karsai G, Ledeczi A. Integrating security modeling into embedded system design. In: Proc. of the Int'l Conf. and Workshop on the Engineering of Computer Based Systems. Washington: IEEE Computer Society Press, 2007. 211-218.
77. Dwyer MB, Hatcliff J, Hoosier M, Robby. Building your own software model checker using the Bogor extensible model checking framework. In: Etessami K, Rajamani SK, eds. Proc. of the CAV 2005. LNCS 3576, Berlin: Springer-Verlag, 2005. 148-152. [doi: 10.1007/11513988_15]
78. Fersman E, Pettersson P, Wang Y. Timed automata with asynchronous processes: Schedulability and decidability. In: Proc. of the TACAS 2002. Berlin: Springer-Verlag, 2002. 67-82.
79. Harbour MG, Garcia JJG, Gutierrez JCP, Moyano JMD. MAST: Modeling and analysis suite for real-time applications. In: Proc. of the 13th Euromicro Conf. on Real-Time Systems. Washington: IEEE Computer Society Press, 2001. 125-134.
80. Jurjens J. Towards development of secure systems using UMLsec. In: Proc. of the 4th Int'l Conf. on Fundamental Approaches to Software Engineering. London: Springer-Verlag, 2001. 187-200.
81. Bodeveix JP, Cavallero R, Chemouil D, Filali M, Rolland JF.A mapping from AADL to Java-RTSJ. In: Proc. of the 5th Int'l Workshop on Java Technologies for Real-Time and Embedded Systems. New York: ACM Press, 2007. 165-174.
82. Jahier E, Halbwachs N, Raymond P, Nicollin X, Lesens D. Virtual execution of AADL models via a translation into synchronous programs. In: Proc. of the 7th ACM & IEEE Int'l Conf. on Embedded Software. New York: ACM Press, 2007. 134-143.
83. Hamid I, Zalila B, Najm E, Hugues J. Automatic framework generation for hard real-time applications. Innovations in Systems and Software Engineering: A NASA Journal, 2008, 4(1):107-122. [doi: 10.1007/s11334-008-0044-5]
84. Zalila B, Pautet L, Hugues J. Towards automatic middleware generation. In: Proc. of the 11th IEEE Int'l Symp. on Object-Oriented Real-Time Distributed Computing. Washington: IEEE Computer Society Press, 2008. 221-228.
85. Vergnaud T, Hugues J, Pautet L, Kordon F. PolyORB: A schizophrenic middleware to build versatile reliable distributed applications. In: Proc. of the 9th Int'l Conf. on Reliable Software Technologies Ada-Europe 2004. Berlin: Springer-Verlag, 2004. 106-119.
86. The assert-project final report. 2007. http://www.assert-project.net
87. OMG. Systems Modeling Language V1.0. 2007. http://www.omg.org/cgi-bin/doc-formal/2007-09-01
88. Mei H, Shen JR. Progress of research on software architecture. Journal of Software, 2006, 17(6):1257-1275 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/17/1257.htm [doi: 10.1360/jos171257]
89. Hugues J, Zalila B, Pautet L. Combining model processing and middleware configuration for building distributed high-integrity systems. In: Miguel M, Kalogeraki V, Kim DH, eds. Proc. of the 10th IEEE Int'l Symp. on Object-Oriented Real-Time Distributed Computing. Washington: IEEE Computer Society Press, 2007. 307-312.
90. Prasad V, Yan T, Jayachandran P, Li ZZ, Son SH, Stankovic JA, Hansson J, Abdelzaher T. ANDES: An analysis-based design tool for wireless sensor networks. In: Proc. of the 28th IEEE Int'l Real-Time Systems Symp. Washington: IEEE Computer Society Press, 2007. 203-213.
91. Delanote D, van Baelen S, Joosen W, Berbers Y. Using AADL to model a protocol stack. In: Breitman K, Wookcock J, Sterrit R, Hinchey MJ, eds. Proc. of the 13th IEEE Int'l Conf. on Engineering of Complex Computer Systems. Washington: IEEE Computer Society Press, 2008. 277-281.
92. Hudak JJ. Analyzable Architectural models of service-based embedded systems. Software Engineering Institute, Carnegie Mellon University, 2008. http://www.cs.kent.ac.uk/events/conf/2008/wads/Slides/hudak.pdf