System dependability modelling and analysis using AADL and HiP-HOPS

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 14, Issue PART 1, 2012, Pages 1647-1652

  Mian, Zhibao ^a   Bottaci, Leonardo ^a   Papadopoulos, Yiannis ^a   Biehl, Matthias ^b  

^a UNIVERSITY OF HULL   (United Kingdom)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

AADL; Dependability analysis; Dependability modeling; HiP HOPS; Model transformation

Indexed keywords

AUTOMOTIVE INDUSTRY; MANUFACTURE;

AADL; ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL); DEPENDABILITY ANALYSIS; DEPENDABILITY MODELING; MODEL TRANSFORMATION; MODEL TRANSFORMATION TECHNIQUE; MODELLING AND ANALYSIS; SYSTEM DEPENDABILITY;

AVAILABILITY;

EID: 84866076169     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20120523-3-RO-2023.00334     Document Type: Conference Paper

References (20)

1. Adachi M, Papadopoulos Y, Sharvia S, Parker D, and Tohdo T, 2011, An approach to optimization of fault tolerant architectures using HiP-HOPS. Software Practice and Experience, 41(11), pp 1303-1327.
2. ATLAS group, 2005, ATL: Atlas Transformation Language, ATL Starter's Guide.
3. Biehl M, Chen D, and Torngren M, 2010, Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded System, LCTES'10, Stockholm, Sweden.
4. Czarnecki K and Helsen S, 2006, Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3), pp 621-645.
5. Dehlinger J and Dugan J B, 2008, Analyzing Dynamic Fault Trees Derived from Model-Based System Architectures, Nuclear Engineering And Technology 40(5), pp 365-374.
6. Feiler P and Rugina A E, 2007, Dependability Modelling with the Architecture Analysis & Design Language (AADL), Report prepared for the SEI Administrative Agent, CMU/SEI-2007-TN-043.
7. Feiler P H, Gluch D P, and Hudak J J, 2006, The Architecture Analysis & Design Language (AADL): An Introduction [online], Available: http://www.sei.cmu.edu/reports/06tn011.pdf [Accessed 25 November 2010].
8. Joshi A and Heimdahl M, 2007, Behavioral Fault Modeling for Model-based Safety Analysis, Proceedings of 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), Dallas, pp 199-208.
9. Joshi A, Heimdahl M, Miller S, and Whalen M, 2006, Model-Based Safety Analysis, NASA contractor report, NASA/CR-2006-213953.
10. Joshi A, Vestal S, and Binns P, 2007, Automatic Generation of Static Fault Trees from AADL Models, In DSN Workshop on Architecting Dependable Systems, DSN07-WADS, Edinburgh, Scotland, UK.
11. Jouault F, Allilaire F, Bezivin J, and Kurtev I, 2008, ATL: A model transformation tool. Science of computer programming, volume (72), pp 31-39.
12. Mahmud N, Papadopoulos Y, and Walker M, 2010, A translation of State Machines to temporal fault trees, International Conference on Dependable Systems and Networks Workshops (DSN-W), Chicago, USA, pp 45-51.
13. Rugina A E, 2007, System Dependability Evaluation using AADL, LAAS-CNRS, [online], Available: http://rjcitr05.loria.fr/papiers/papier-final/AnaRugina- RJCITR.pdf [Accessed 09 November 2011].
14. Rugina A E, Kanoun K, and Kaaniche M, 2007, An Architecture-based Dependability Modelling Framework Using AADL, 10th IASTED International Conference on Software Engineering and Applications (SEA'2006), Dallas (USA), pp 222-227.
15. th European Dependable Computing Conference (EDCC), Kaunas, Lithuania, pp 85-90.
16. SAE, 2006, Annex C AADL Meta Model and Interchange Formats, Normative [online], Available: http://aadl.sei.cmu.edu/aadlinfosite/downloads/ AADLmetamodel/AADLmetamodel04102006.zip [Accessed 06 December 2010].
17. SAE-AS5506, 2006, Architecture Analysis and Design Language (AADL), Society of Automotive Engineers (SAE).
18. SAE-AS5506/1, 2006, Architecture Analysis and Design Language Annex Volume 1, Annex E: Error Model Annex, Society of Automotive Engineers (SAE).
19. Steinberg D, Budinsky F, Paternostro M, and Merks E, 2009, EMF: Eclipse Modeling framework. Pearson Education, Boston, USA.
20. Vesely W, Stamatelatos M, Dugan J, Fragola J, Minarick J, and Railsback J, 2002, Fualt Tree Handbook with Aerospace Applications, NASA Office of Safety and Mission Assurance, USA.