The ADAPT tool: From AADL architectural models to stochastic petri nets through model transformation

Proceedings - 7th European Dependable Computing Conference, EDCC-7

Volumn , Issue , 2008, Pages 85-90

  Rugina, Ana Elena ^a,b   Kanoun, Karama ^a   Kaâniche, Mohamed ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

^b AIRBUS DEFENCE AND SPACE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; MARINE BIOLOGY; MARKUP LANGUAGES; PETRI NETS; RANDOM ACCESS STORAGE; STOCHASTIC CONTROL SYSTEMS;

ARCHITECTURAL MODELING; DEPENDABILITY EVALUATION;

STOCHASTIC MODELS;

EID: 51549095794     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDCC-7.2008.14     Document Type: Conference Paper

References (18)

1. SAE-AS5506, "SAE Architecture Analysis and Design Language (AADL)," International Society of Automotive Engineers, Warrendale, PA, USA November 2004.
2. J.-P. Blanquart, A. Rossignol, and D. Thomas, "Toward Model-Based Engineering for Space Embedded Systems and Software," presented at 3rd European Congress on Embedded Real Time Software, Toulouse, France, 2006.
3. O. Sokolsky, I. Lee, and D. Clarke, "Schedulability Analysis of AADL Models," presented at 20th Parallel and Distributed Processing Symposium, Rhodes Island, Greece, 2006.
4. F. Singhoff, J. Legrand, L. Nana, and L. Mareé, "Scheduling and Memory Requirements Analysis with AADL," presented at SIGAda Int. Conf. on Ada, Atlanta, GE, USA, 2005.
5. A. Joshi, S. Vestal, and P. Binns, "Automatic Generation of Static Fault Trees from AADL Models," presented at Workshop on Architecting Dependable Systems of The 37th Annual IEEE/IFIP Int. Conference on Dependable Systems and Networks, Edinburgh, UK, 2007.
6. SAE-AS5506/1, "SAE Architecture Analysis and Design Language (AADL) Annex Volume 1, Annex E: Error Model Annex," International Society of Automotive Engineers, Warrendale, PA, USA June 2006.
7. A. E. Rugina, K. Kanoun, and M. Kaâniche, "A System Dependabiliy Modeling Framework using AADL and GSPNs," in Architecting Dependable Systems IV, vol. 4615, LNCS, R. de Lemos, C. Gacek, and A. Romanovsky, Eds.: Springer-Verlag, 2007, pp. 14-38.
8. A. E. Rugina, "Dependability Modeling and Evaluation - From AADL to Stochastic Petri Nets," in Systèmes Informatiques. Toulouse: PhD dissertation, Institut National Polytechnique de Toulouse, November 2007, pp. 151.
9. C. Béounes, M. Agüera, J. Arlat, S. Bachmann, C. Bourdeau, J.-E. Doucet, K. Kanoun, J.-C. Laprie, S. Metge, J. M. d. Souza, D. Powell, and P. Speisser, "Surf-2: a program for dependability evaluation of complex hardware and software systems," presented at 23rd IEEE Int. Symposium on Fault Tolerant Computing, Toulouse, France, 1993.
10. F. Jouault and I. Kurtev, "Transforming Models with ATL," presented at Model Transformaion in Practice Workshop at ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Montego Bay, Jamaica, 2005.
11. A. Kalnins, J. Barzdins, and E. Celms, "Model Transformation Language MOLA," in Model Diven Architecture, vol. 3599/2005, LNCS, U. Asmann, M. Aksit, and A. Rensink, Eds.: Springer, 2005, pp. 62-76.
12. A. Agrawal, G. Karsai, and F. Shi, "Graph Transformations on Domain-Specific Models," Institute for Software Integrated Systems, Vanderbilt University, Nashville, Technical Report 2003.
13. K. Czarnecki and S. Helsen, "Classification of Model Transformation Approaches," presented at Workshop on Generative Techniques in the Context of Model-Driven Architecture of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, Anaheim, CA, USA, 2003.
14. F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. Grose, Eclipse Modeling Framework: Addison-Wesley, 2004.
15. M. Bruffa and A. E. Rugina, "A Library Implementing Propagation Rules defined in the AADL Error Model Annex " LAAS-CNRS, Toulouse 07001, February 2007.
16. SAE-AS5506/1, "SAE Architecture Analysis and Design Language (AADL) Annex Volume 1, Annex C: AADL Meta-Model and Interchange Formats," International Society of Automotive Engineers, Warrendale, PA, USA June 2006.
17. P. H. Feiler, "Error Model Meta Model and Plug-in," Pittsburgh, PA, USA May 2007, http://la.sei.cmu.edu/aadl/downloads/errormodel-1.1.6/ ErrorModelPlugin52007.pdf.
18. ISO/IEC, "Software and Systems Engineering - High-level Petri Nets, Part 2: Transfer Format," International Standard 15909-2 WD Version 0.9.0 June 2005.