Automatic optimisation of system architectures using EAST-ADL

Journal of Systems and Software

Volumn 86, Issue 10, 2013, Pages 2467-2487

  Walker, Martin ^a   Reiser, Mark Oliver ^b   Tucci Piergiovanni, Sara ^c   Papadopoulos, Yiannis ^a   Lönn, Henrik ^d   Mraidha, Chokri ^c   Parker, David ^a   Chen, Dejiu ^e   Servat, David ^c  

^a UNIVERSITY OF HULL   (United Kingdom)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^c CEA SACLAY   (France)

^d VOLVO AERO CORPORATION   (Sweden)

^e ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

Architectural description languages; Dependability Analysis; Multi objective optimization; Timing Analysis

Indexed keywords

ARCHITECTURAL DESCRIPTION LANGUAGES; ARCHITECTURE DESCRIPTION LANGUAGES; AUTOMATIC OPTIMISATION; DEPENDABILITY ANALYSIS; EMBEDDED SYSTEM ARCHITECTURES; HARDWARE AND SOFTWARE; MODELLING AND ANALYSIS; TIMING ANALYSIS;

LARGE SCALE SYSTEMS; MULTIOBJECTIVE OPTIMIZATION; REAL TIME SYSTEMS;

DESIGN;

EID: 84882683983     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2013.04.001     Document Type: Article

References (46)

1. A. Abele, H. Lönn, M.-O. Reiser, M. Weber, and H. Glathe EPM: a prototype tool for variability management in component hierarchies Proceedings of the 16th International Software Product Line Conference - Volume 2 (SPLC'12), 2012 2012 ACM New York, USA 246 249 10.1145/2364412.2364455 ISBN: 978-1-4503-1095-6
2. M. Adachi, Y. Papadopoulos, S. Sharvia, D. Parker, and T. Tohdo An approach to optimization of fault tolerant architectures using HiP-HOPS Software Practice and Experience 2011 10.1002/spe.104436
3. A. Aleti, S. Bjoernander, L. Grunske, and I. Meedeniya ArcheOpterix: an extendable tool for architecture optimization of AADL models Model-based Methodologies for Pervasive and Embedded Software (MOMPES), Workshop at ICSE 2009 ACM and IEEE Digital Libraries 2009 61 71
4. A. Aleti, L. Grunske, I. Meedeniya, and I. Moser Let the ants deploy your software - an ACO based deployment optimisation strategy Automated Software Engineering (ASE 2009) 2009 IEEE Computer Society Press pp. 505-509 (short paper)
5. A. Aleti, B. Buhnova, L. Grunske, A. Koziolek, and I. Meedeniya Software architecture optimization methods: a systematic literature review IEEE Transactions on Software Engineering September (99) 2012 10.1109/TSE.2012.64 ISSN: 0098-5589
6. S. Anssi, S. Tucci-Pergiovanni, C. Mraidha, A. Albinet, F. Terrier, and S. Gérard Completing EAST-ADL with MARTE for enabling scheduling analysis for automotive applications Embedded Real-Time Software and Systems (ERTS2 2010) Toulouse, France, May 19-21st, 2010 2010
7. P. Bieber, C. Bougnol, C. Castel, J.-P. Heckmann, C. Kehren, S. Metge, and C. Seguin Safety assessment with Altarica IFIP Congress Topical Sessions 2004 505 510
8. M. Bozzano, and A. Villafiorita The FSAP/NuSMV-SA safety analysis platform International Journal on Software Tools for Technology Transfer 9 1 2007 5 24 (Pubitemid 46476988)
9. D. Chen, R. Johansson, H. Lönn, and Y. Papadopoulos Modelling support for design of safety-critical automotive embedded systems SAFECOMP 2008 LNCS 5219 2008 Springer 72 85
10. D.W. Coit, and A.E. Smith Penalty guided genetic search for reliability design optimisation Computers and Industrial Engineering 30 4 1996 895 904 (Pubitemid 126375901)
11. D.W. Coit, and A.E. Smith Reliability optimisation of series-parallel systems using a genetic algorithm IEEE Transactions on Reliability 45 2 1996 254 260
12. D.W. Corne, N.R. Jerram, J.D. Knowles, and M.J. Oates PESA-II: region-based selection in evolutionary multiobjective optimisation Proceedings of the Genetic and Evolutionary Computation Conference GECCO 2001 Morgan Kaufmann Publishers 283 290
13. K. Deb, A. Pratap, S. Agarwal, and T. Meyarivan A fast and elitist multiobjective genetic algorithm: NSGA-II IEEE Transactions on Evolutionary Computation 6 2 2002 182 197 (Pubitemid 34555372)
14. R. Etemaadi, and M.R.V. Chaudron A model-based tool for automated quality-driven design of system architectures Proceedings of the 8th European Conference on Modelling Foundations and Applications (ECMFA'12) 2-5 July 2012, Lyngby, Denmark 2012
15. Feiler, P.H.; Rugina, A.; 2007. Dependability Modelling with the Architecture Analysis and Design Language (AADL). Technical report, CMU/SEI-2007-TN-04.
16. L. Grunske, B. Kaiser, and Y. Papadopoulos Model-driven safety evaluation with state-event-based component failure annotations CBSE'05 2005 33 48 (Pubitemid 41322020)
17. L. Grunske, P. Lindsay, E. Bondarev, Y. Papadopoulos, and D. Parker An outline of an architecture-based method for optimizing dependability attributes of software-intensive systems R. de Lemos, Architecting Dependable Systems IV LNCS vol. 4615 2007 188 209 (Pubitemid 351256503)
18. A. Joshi, S. Vestal, and P. Binns Automatic generation of static fault trees from AADL models DSN'07 Workshop on Architecting Dependable Systems Edinburgh 2007
19. H. Kim, C. Bae, and S. Park Simulated annealing algorithm for redundancy optimization with multiple component choices Advanced Reliability Modelling, Proceedings of the 2004 Asian Internationals Workshop 2004 World Scientific 237 244
20. A. Konak, D.W. Coit, and A.E. Smith Multi-objective optimization using genetic algorithms Reliability Engineering & System Safety 91 9 2006 992 1007 (Pubitemid 43996942)
21. A. Koziolek, and R. Reussner Towards a generic quality optimisation framework for component-based system models Proceedings of the 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'11) 21-23 June 2011, Boulder, CO, USA 2011
22. A. Koziolek, H. Koziolek, and R. Reussner PerOpteryx: automated application of tactics in multi-objective software architecture optimisation Proceedings of the joint ACM SIGSOFT conference - QoSA and ACM SIGSOFT symposium - ISARCS on Quality of Software Architectures - QoSA and architecting critical systems - ISARCS New York, USA, 2011 2011 33 42 10.1145/2000259.2000267 ISBN: 978-1-4503-0724-6
23. S. Kulturel-Konak, A.E. Smith, and D.W. Coit Efficiently solving the redundancy allocation problem using tabu search IIE Transactions 35 2003 515 526
24. Y.C. Liang, and A.E. Smith An ant colony optimisation algorithm for the redundancy allocation problem (RAP) IEEE Transactions on Reliability 53 3 2004 417 423
25. A. Martens, D. Adagna, H. Koziolek, R. Mirandola, and R. Reussner A hybrid approach for multi-attribute QoS optimisation in component-based systems Proceedings of the 6th International Conference on the Quality of Software Architectures (QoSA'10), Springer, Berlin Heidelberg Lecture Notes in Computer Science, vol. 6309 2010 84 101 10.1007/978-3-642-13821-8-8 ISBN: 978-3-642-13821-8
26. I. Meedeniya, and L. Grunske An efficient method for architecture-based reliability evaluation for evolving systems with changing parameters International Symposium on Software Reliability Engineering (ISSRE 2010) San Jose, CA, USA, November 1-4, 2010 2010 229 238
27. I. Meedeniya, B. Buhnova, A. Aleti, and L. Grunske Architecture-driven reliability and energy optimization for complex embedded systems Sixth International Conference on the Quality of Software Architectures (QoSA 2010), 2010 Prague, LNCS 6093 2010 Springer 52 68
28. I. Meedeniya, I. Moser, A. Aleti, and L. Grunske Architecture-based reliability evaluation under uncertainty Quality of Software Architectures (QoSA 2011) Boulder, CO, USA, June 2011 2011 85 94
29. J.C. Palencia, and M. Gonzaìlez Harbour Schedulability analysis for tasks with static and dynamic offsets Proceedings of the IEEE Real-Time Systems Symposium December 02-04, 1998 1998 RTSS. IEEE Computer Society Washington, DC 26
30. Y. Papadopoulos, and C. Grante Evolving car designs using model-based automated safety analysis and optimisation techniques Journal of Systems and Software 76 1 2005 77 89
31. Y. Papadopoulos, J.A. McDermid, R. Sasse, and G. Heiner Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure RESS 71 3 2001 229 247 (Pubitemid 32077202)
32. Y. Papadopoulos, M. Walker, M.-O. Reiser, M. Weber, D. Servat, A. Abele, R. Johansson, H. Lonn, M. Torngren, and A. Sandberg Automatic allocation of safety integrity levels 8th European Dependable Computing Conference - CARS Workshop Valencia, Spain 2010 ACM Press Spain 7 11 ISBN: 978-1-60558-915-2
33. Y. Papadopoulos, M. Walker, D. Parker, E. Rüde, R. Hamann, A. Uhlig, U. Grätz, and R. Lien Engineering failure analysis & design optimisation with HiP-HOPS Journal of Engineering Failure Analysis 2011 10.1016/j.engfailanal.2010.09.025 ISSN: 1350 6307
34. Parker, D.; 2010. Multi-objective optimisation of safety-critical hierarchical systems. PhD thesis, University of Hull, UK.
35. D. Salazar, C.M. Rocco, and B.J. Galvan Optimisation of constrained multiple-objective reliability problems using evolutionary algorithms Reliability Engineering and System Safety 91 2006 1057 1070 (Pubitemid 43977909)
36. B. Selic A generic framework for modelling resources with UML IEEE Computer 33 6 2000 64 69
37. M. Wallace Modular architectural representation and analysis of fault propagation and transformation Electronic Notes Theoretical Computer Science 141 3 2005 53 71 (Pubitemid 41681796)
38. M. Walker, and Y. Papadopoulos Qualitative temporal analysis: towards a full implementation of the Fault Tree Handbook Control Engineering Practice 17 10 2009 1115 1125 ISSN 0967 0661
39. E. Zitzler, M. Laumanns, and L. Thiele SPEA2: improving the strength Pareto evolutionary algorithm Proceedings EUROGEN 2001 Evolutionary methods for Design, Optimisation and Control with Applications to Industrial Problems Athens, Greece 2001
40. ATESST Project website: www.atesst.org.
41. AUTOSAR Development Partnership, 2013. AUTOSAR web site: http://www.autosar.org/.
42. EAST-ADL Association Members, 2013. EAST-ADL Association web site: http://www.east-adl.info/.
43. EDONA Project website: www.edona.fr.
44. MARTE website: www.omgmarte.org.
45. MAST (Modeling and Analysis Suite for Real-Time Applications) toolset website: http://mast.unican.es/.
46. TIMMO Project website: www.timmo.org.