Model transformation for multi-objective architecture optimisation for dependable systems

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.

[1]  Yiannis Papadopoulos,et al.  Evolving car designs using model-based automated safety analysis and optimisation techniques , 2005, J. Syst. Softw..

[2]  Jochen M. Küster,et al.  Systematic Validation of Model Transformations , 2004 .

[3]  J. A. McDermid,et al.  Towards integrated safety analysis and design , 1994, SIAP.

[4]  Leonardo Bottaci,et al.  Multi-objective Architecture Optimisation Modelling for Dependable Systems , 2013 .

[5]  Lars Grunske,et al.  ArcheOpterix: An extendable tool for architecture optimization of AADL models , 2009, 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software.

[6]  Martin Walker,et al.  Semi Automatic Failure Analysis Based on Simulation Models , 2008 .

[7]  Karama Kanoun,et al.  An architecture-based dependability modeling framework using AADL , 2007, ICSE 2007.

[8]  Peter Liggesmeyer,et al.  A New Component Concept for Fault Trees , 2003, SCS.

[9]  Peter H. Feiler,et al.  Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language , 2012 .

[10]  Yiannis Papadopoulos,et al.  Model-based synthesis of fault trees from Matlab-Simulink models , 2001, 2001 International Conference on Dependable Systems and Networks.

[11]  M. T. M. Emmerich,et al.  Automated Design of Software Architectures for Embedded Systems using Evolutionary Multiobjective Optimization , 2011 .

[12]  Nidhal Mahmud,et al.  Automatic generation of Temporal Fault Trees from AADL models , 2013 .

[13]  Mats P. E. Heimdahl,et al.  Behavioral Fault Modeling for Model-based Safety Analysis , 2007 .

[14]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[15]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[16]  William H. Sanders,et al.  Model-based evaluation: from dependability to security , 2004, IEEE Transactions on Dependable and Secure Computing.

[17]  Rogério de Lemos,et al.  Architecting dependable systems , 2003, J. Syst. Softw..

[18]  Patrick Valduriez,et al.  Towards the efficient development of model transformations using model weaving and matching transformations , 2009, Software & Systems Modeling.

[19]  Holger Giese,et al.  Compositional Hazard Analysis of UML Component and Deployment Models , 2004, SAFECOMP.

[20]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[21]  Malcolm Wallace,et al.  Modular Architectural Representation and Analysis of Fault Propagation and Transformation , 2005, FESCA@ETAPS.

[22]  Martin Walker,et al.  Compositional Synthesis of Temporal Fault Trees from State Machines , 2011, 2011 Sixth International Conference on Availability, Reliability and Security.

[23]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[24]  David Parker.  Multi-objective optimisation of safety-critical hierarchical systems , 2010 .

[25]  Steve Vestal,et al.  The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[26]  Mats Per Erik Heimdahl,et al.  Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier , 2005, SAFECOMP.

[27]  Yiannis Papadopoulos,et al.  Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook , 2009 .

[28]  Pierre Bieber,et al.  Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System , 2002, EDCC.

[29]  Petar Popic,et al.  The Impact of Error Propagation on Software Reliability Analysis of Component-based Systems , 2005 .

[30]  Septavera Sharvia,et al.  Integrated application of compositional and behavioural safety analysis , 2011 .

[31]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[32]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[33]  Ana-Elena Rugina,et al.  Dependability modeling and evaluation : from AADL to stochastic Petri nets , 2007 .

[34]  Bernhard Kaiser,et al.  State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems , 2004, SAFECOMP.

[35]  F. Jouault,et al.  Transforming Models with ATL 1 , 2005 .

[36]  Yiannis Papadopoulos,et al.  PANDORA : THE TIME OF PRIORITY-AND GATES , 2006 .

[37]  Peter A. Lindsay,et al.  An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems , 2006, WADS.

[38]  Marco Bozzano,et al.  Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform , 2003, SAFECOMP.

[39]  Kristina Lundqvist,et al.  Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL , 2011, Ada-Europe.

[40]  Yves Le Traon,et al.  Model Transformation Testing Challenges , 2006 .

[41]  Michael W. Whalen,et al.  Model-Based Safety Analysis , 2013 .

[42]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[43]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .

[44]  Kishor S. Trivedi.  Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[45]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[46]  Yiannis Papadopoulos,et al.  Automating the failure modes and effects analysis of safety critical systems , 2004, Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings..

[47]  John A. McDermid,et al.  An integrated tool set for software safety analysis , 1993, J. Syst. Softw..

[48]  Myron Hecht,et al.  Automated Generation of Failure Modes and Effects Analyses from AADL Architectural and Error Models , 2010 .

[49]  Joanne Bechta Dugan,et al.  ANALYZING DYNAMIC FAULT TREES DERIVED FROM MODEL-BASED SYSTEM ARCHITECTURES , 2008 .

[50]  Lars Grunske,et al.  A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models , 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.

[51]  Kaveh Amouzgar,et al.  Multi-objective optimization using Genetic Algorithms , 2012 .

[52]  Nidhal Mahmud,et al.  Dynamic model-based safety analysis : from state machines to temporal fault trees , 2012 .

[53]  Antoine Rauzy,et al.  Mode automata and their compilation into fault trees , 2002, Reliab. Eng. Syst. Saf..

[54]  Wuu Yang,et al.  A program integration algorithm that accommodates semantics-preserving transformations , 1992, SDE 4.

[55]  Myron Hecht,et al.  Application of the Architectural Analysis and Design Language (AADL) for Quantitative System Reliability and Availability Modeling , 2009 .

[56]  Jochen Malte Küster,et al.  Definition and validation of model transformations , 2006, Software & Systems Modeling.

[57]  Lars Grunske,et al.  Software Architecture Optimization Methods: A Systematic Literature Review , 2013, IEEE Transactions on Software Engineering.

[58]  Lars Grunske,et al.  Automatic generation of analyzable failure propagation models from component-level failure annotations , 2005, Fifth International Conference on Quality Software (QSIC'05).

[59]  David W. Coit,et al.  Multi-objective optimization using genetic algorithms: A tutorial , 2006, Reliab. Eng. Syst. Saf..

[60]  Yiannis Papadopoulos,et al.  Automatic optimisation of system architectures using EAST-ADL , 2013, J. Syst. Softw..

[61]  Septavera Sharvia,et al.  An approach to optimization of fault tolerant architectures using HiP‐HOPS , 2011, Softw. Pract. Exp..

[62]  Anna Gerber,et al.  Language features for re-use and maintainability of MDA transformations , 2004, OOPSLA 2004.

[63]  Karama Kanoun,et al.  The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation , 2008, 2008 Seventh European Dependable Computing Conference.

[64]  Martin Törngren,et al.  Integrating safety analysis into the model-based development toolchain of automotive embedded systems , 2010, LCTES '10.

[65]  Jan L. Rouvroye,et al.  Comparing safety analysis techniques , 2002, Reliab. Eng. Syst. Saf..

[66]  Steven P. Miller,et al.  A proposal for model-based safety analysis , 2005, 24th Digital Avionics Systems Conference.

[67]  Martin Walker,et al.  A translation of State Machines to temporal fault trees , 2010, 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W).

[68]  Mourad Debbabi,et al.  Systems Modeling Language , 2010 .

[69]  Yiannis Papadopoulos,et al.  System Dependability Modelling and Analysis Using AADL and HiP-HOPS , 2012 .

[70]  Hong Xu,et al.  Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering , 2007 .

[71]  Barbora Buhnova,et al.  Redundancy allocation in automotive systems using multi-objective optimisation , 2009 .

[72]  Frédéric Jouault,et al.  Rule-based modularization in model transformation languages illustrated with ATL , 2007, Sci. Comput. Program..