Advertisement

Model Transformation for Multi-objective Architecture Optimisation of Dependable Systems

  • Zhibao MianEmail author
  • Leonardo Bottaci
  • Yiannis Papadopoulos
  • Septavera Sharvia
  • Nidhal Mahmud
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 307)

Abstract

The promise of model-based engineering is that by use of an integrated and coherent system model both functional and non-functional requirements may be analysed, implemented and tested in a rigorous and cost-effective manner. An important part of model-based engineering is the use of analysis and design languages. The Architecture Analysis Design Language (AADL) is a new modelling language which is increasingly being used for high dependability embedded systems development. Such languages are ideally suited to model-based engineering but the use of new languages threatens to isolate existing tools which use different languages. This is a particular problem when these tools provide an important development or analysis function. System optimization is such a function.

System designers seek an optimal trade-off between high dependability and low cost. For large systems, the design space of alternatives with respect to both dependability and cost is enormous and too large to investigate manually. For this reason automation is required to produce optimal or near optimal designs.

HiP-HOPS is a mature, state of the art, dependability analysis and optimisation method and tool. HiP-HOPS requires, as input, the local failure behaviour of the system components together with the inter-component failure propagation behaviour. For optimisation, component variability information is also required.

The integration of tools such as HiP-HOPS into a model-based engineering environment requires that these tools have suitable access to the system model. Without proper integration, additional system information must be input at additional cost and risk of inconsistency.

This paper shows how model transformation may be used to integrate a multi-objective optimization method and tool into a model-based engineering environment. To illustrate the transformation method it is applied in a case study; where, drawing from the results of the optimisation, we highlight the potential value of this work for model-based design.

Keywords

MBE dependability analysis model transformation ATL AADL HiP-HOPS architecture optimisation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Feiler, P., Gluch, D.: Model-Based Engineering with AADL-An Introduction to the SAE Architecture Analysis & Design Language. Pearson Education, USA (2012)Google Scholar
  2. 2.
    OMG: Introduction To OMG’s Unified Modelling Language (UML), http://www.omg.org/gettingstarted/what_is_uml.htm
  3. 3.
    OMG: OMG Systems Modeling Language (OMG SysML version 1.3), http://www.omg.org/spec/SysML/1.3/
  4. 4.
    SAE-AS5506: Architecture Analysis and Design Language (AADL). Society of Automotive Engineers (SAE) (2006)Google Scholar
  5. 5.
    MAENAD project: EAST-ADL Domain Model Specification version V2.1.11, http://east-adl.info/Specification/V2.1.11/EAST-ADL-Specification_V2.1.11.pdf
  6. 6.
    SAE-AS5506/1: Architecture Analysis and Design Language Annex Volume 1, Annex E: Error Model Annex. Society of Automotive Engineers (SAE) (2006)Google Scholar
  7. 7.
    Joshi, A., Vestal, S., Binns, P.: Automatic Generation of Static Fault Trees from AADL Models. In: DSN Workshop on Architecting Dependable Systems, DSN 2007-WADS, Edinburgh, Scotland, UK (2007)Google Scholar
  8. 8.
    Papadopoulos, Y., Grante, C.: Evolving car designs using model-based automated safety analysis and optimisation techniques. The Journal of Systems and Software 76(1), 77–89 (2005)CrossRefGoogle Scholar
  9. 9.
    Adachi, M., Papadopoulos, Y., Sharvia, S., Parker, D., Tohdo, T.: An approach to optimization of fault tolerant architectures using HiP-HOPS. Software Practice and Experience 41(11), 1303–1327 (2011)CrossRefGoogle Scholar
  10. 10.
    Walker, M., Reiser, M.O., Tucci-Piergiovanni, S., Papadopoulos, Y., Lönn, H., Mraidha, C., Parker, D., Chen, D.J., Servat, D.: Automatic optimisation of system architectures using EAST-ADL. Journal of Systems and Software 86(10), 2467–2487 (2013)CrossRefGoogle Scholar
  11. 11.
    Grunske, L., Lindsay, P., Bondarev, E., Papadopoulos, Y., Parker, D.: An outline of an architecture-based method for optimizing dependability attributes of software-intensive systems. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems IV. LNCS, vol. 4615, pp. 188–209. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  12. 12.
    Aleti, A., Buhnova, B., Grunske, L., Koziolek, A., Meedeniya, I.: Software architecture optimization methods: a systematic literature review. IEEE Transactions on Software Engineering (99) (September 2012) ISSN: 0098-5589Google Scholar
  13. 13.
    Konak, A., Coit, D.W., Smith, A.E.: Multi-objective optimization using genetic algorithms. Reliability Engineering & System Safety 91(9), 992–1007 (2006)CrossRefGoogle Scholar
  14. 14.
    Hamann, R., Uhlig, A., Papadopoulos, Y., Rüde, E., Grätz, U., Walker, M., et al.: Semi Automatic Failure Analysis Based on Simulation Models. In: The ASME 27th International Conference on Offshore Mechanics and Arctic Engineering, OMAE 2008, Estoril (2008)Google Scholar
  15. 15.
    Aleti, A., Bjornander, S., Grunske, L., Meedeniya, I.: ArcheOpterix: An extendable tool for architecture optimization of AADL models. In: Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, pp. 61–71 (2009)Google Scholar
  16. 16.
    Meedeniya, I., Aleti, A., Bühnova, B.: Redundancy allocation in automotive systems using multi-objective optimisation. In: Symposium of Avionics/Automotive Systems Engineering (SAASE 2009), San Diego (2009)Google Scholar
  17. 17.
    Li, R., Etemaadi, R., Emmerich, M.T.M., Chaudron, M.R.V.: Automated Design of Software Architectures for Embedded Systems using Evolutionary Multiobjective Optimization. In: Proc. of the VII ALIO/EURO (2011)Google Scholar
  18. 18.
    Etemaadi, R., Chaudron, M.R.V.: A model-based tool for automated quality driven design of system architectures. In: Proceedings of the 8th European Conference on Modelling Foundations and Applications (ECMFA 2012), Lyngby, Denmark (2012)Google Scholar
  19. 19.
    Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: OOPSLA 2003 Workshop on Generative Techniques in the Context of MDA, Anaheim, USA (2006)Google Scholar
  20. 20.
    Rugina, A.E.: Dependability modelling and evaluation - From AADL to stochastic Petri nets. PhD dissertation, LAAS/CNRS (2007)Google Scholar
  21. 21.
    Rugina, A.E., Kanoun, K., Kaâniche, M.: An Architecture-based Dependability Modelling Framework Using AADL. In: 10th IASTED International Conference on Software Engineering and Applications (SEA 2006), Dallas (USA), pp. 222–227 (2007)Google Scholar
  22. 22.
    Biehl, M., Chen, D., Torngren, M.: Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded System. In: LCTES 2010, Stockholm, Sweden (2010)Google Scholar
  23. 23.
    Rauzy, A.: Mode automata and their compilation into fault trees. Rel. Eng. & Sys. Safety (RESS) 78(1), 1–12 (2002)CrossRefGoogle Scholar
  24. 24.
    Mahmud, N., Papadopoulos, Y., Walker, M.: A translation of State Machines to temporal fault trees. In: International Conference on Dependable Systems and Networks Workshops (DSN-W), Chicago, USA, pp. 45–51 (2010)Google Scholar
  25. 25.
    Mahmud, N., Walker, M., Papadopoulos, Y.: Compositional synthesis of Temporal Fault Trees from State Machines. Special Issue on Modeling Dynamic Behaviors of Complex Distrib. Syst. 39, 79–88 (2012)Google Scholar
  26. 26.
    Mian, Z., Bottaci, L.: Multi-objective Architecture Optimisation Modelling for Dependable Systems. In: the 4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), York University, UK (2013)Google Scholar
  27. 27.
    Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling framework. Pearson Education, Boston (2009)Google Scholar
  28. 28.
    Feiler, P., Gluch, D., Hudak, J.: The Architecture Analysis & Design Language (AADL): An Introduction, http://www.sei.cmu.edu/reports/06tn011.pdf
  29. 29.
    Jouault, F., Allilaire, F., Bezivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming (72), 31–39 (2008)Google Scholar
  30. 30.
    ATLAS group: ATL: Atlas Transformation Language. ATL Starter’s GuideGoogle Scholar
  31. 31.
    ARP 4761: Aerospace recommended practice: guidelines and methods for conducting the afety assessment process on civil airborne systems and equipment. Society of Automotive Engineering. Warrendale, PA, Tech. Rep. (1996)Google Scholar
  32. 32.
    Joshi, A., Heimdahl, M.P.E., Miller, S., Wallen, M.: Model-Based Safety Analysis. University of Minnesota Advanced Technology Center (2006)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Zhibao Mian
    • 1
    Email author
  • Leonardo Bottaci
    • 1
  • Yiannis Papadopoulos
    • 1
  • Septavera Sharvia
    • 1
  • Nidhal Mahmud
    • 1
  1. 1.Computer Science DepartmentUniversity of HullKingston Upon HullUK

Personalised recommendations