Model-Driven Dependability Assessment of Software Systems

Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques.Researchers and students will learn basic dependability concepts and how to model them usingUML and its extensions. They will also gain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies.

[1]  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.

[2]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[3]  Gregory Zoughbi,et al.  A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software , 2007, MODELS'07.

[4]  Antoine Rauzy,et al.  New algorithms for fault trees analysis , 1993 .

[5]  Elaine J. Weyuker,et al.  On Testing Non-Testable Programs , 1982, Comput. J..

[6]  Karama Kanoun,et al.  A System Dependability Modeling Framework Using AADL and GSPNs , 2006, WADS.

[7]  Sébastien Gérard,et al.  Improving uml profile design practices by leveraging conceptual domain models , 2007, ASE.

[8]  Kishor S. Trivedi,et al.  A BDD-Based Algorithm for Reliability Evaluation of Phased Mission System , 1999 .

[9]  Jörg Kienzle,et al.  Model-driven assessment of system dependability , 2008, Software & Systems Modeling.

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

[11]  Bojan Cukic,et al.  A Bayesian approach to reliability prediction and assessment of component based systems , 2001, Proceedings 12th International Symposium on Software Reliability Engineering.

[12]  Kai Shi,et al.  A Scenario-Based Reliability Analysis Approach for Component-Based Software , 2015, IEICE Trans. Inf. Syst..

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

[14]  Kishor S. Trivedi,et al.  A survey of efficient reliability computation using disjoint products approach , 1995, Networks.

[15]  David Coppit,et al.  The Galileo fault tree analysis tool , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[16]  Valérie Issarny,et al.  Model-Driven Dependability Analysis of WebServices , 2004, CoopIS/DOA/ODBASE.

[17]  John A. McDermid,et al.  Integrating safety and formal analyses using UML and PFS , 2007, Reliab. Eng. Syst. Saf..

[18]  Tong Liu,et al.  Availability prediction and modeling of high mobility OSCAR cluster , 2003, 2003 Proceedings IEEE International Conference on Cluster Computing.

[19]  Guiseppe Mauri,et al.  Integrating safety analysis techniques, supporting identification of common cause failures , 2000 .

[20]  Bev Littlewood,et al.  Validation of ultrahigh dependability for software-based systems , 1993, CACM.

[21]  Andrea Bondavalli,et al.  Stochastic Dependability Analysis of System Architecture Based on UML Models , 2002, WADS.

[22]  Michael R. Lyu,et al.  Handbook of software reliability engineering , 1996 .

[23]  Dionisio de Niz.  Diagrams and Languages for Model-Based Software Engineering of Embedded Systems: UML and AADL , 2002 .

[24]  Jörg Kienzle,et al.  DREP: A Requirements Engineering Process for Dependable Reactive Systems , 2009, Methods, Models and Tools for Fault Tolerance.

[25]  Trent Jaeger,et al.  Design and Implementation of a TCG-based Integrity Measurement Architecture , 2004, USENIX Security Symposium.

[26]  Nancy G. Leveson,et al.  Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.

[27]  Christoph Lindemann,et al.  Performance Modelling with Deterministic and Stochastic Petri Nets , 1998, PERV.

[28]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[29]  Kishor S. Trivedi,et al.  Modeling Using Stochastic Reward Nets , 1993, MASCOTS.

[30]  Michael R. Lyu.  Software Fault Tolerance , 1995 .

[31]  Joanne Bechta Dugan,et al.  Automatic synthesis of dynamic fault trees from UML system models , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

[32]  András Pataricza,et al.  UML-BASED DESIGN AND FORMAL ANALYSIS OF A SAFETY-CRITICAL RAILWAY CONTROL SOFTWARE MODULE , 2003 .

[33]  Wolfgang A. Halang,et al.  A UML Profile to Model Safety-Critical Embedded Real-Time Control Systems , 2007, Contributions to Ubiquitous Computing.

[34]  Antonio Puliafito,et al.  Concurrent Generalized Petri Nets , 1995 .

[35]  David Powell.  Failure mode assumptions and assumption coverage , 1992 .

[36]  John F. Meyer,et al.  On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.

[37]  David Hutchison,et al.  Resilience and survivability in communication networks: Strategies, principles, and survey of disciplines , 2010, Comput. Networks.

[38]  William H. Sanders,et al.  Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[39]  Jan Jürjens,et al.  Component-Based Development of Dependable Systems with UML , 2005, Component-Based Software Development for Embedded Systems.

[40]  R. Ramaswami,et al.  Book Review: Design and Analysis of Fault-Tolerant Digital Systems , 1990 .

[41]  James Martin,et al.  Object-oriented methods : a foundation , 1995 .

[42]  Jan Jürjens,et al.  Developing Safety-Critical Systems with UML , 2003, UML.

[43]  Simona Bernardi,et al.  Dependability analysis of DES based on MARTE and UML state machines models , 2012, Discret. Event Dyn. Syst..

[44]  Jing Liu,et al.  Safety analysis of software product lines using state-based modeling , 2007, J. Syst. Softw..

[45]  Karama Kanoun,et al.  Software Dependability Modeling Using AADL (Architecture Analysis and Design Language) , 2011 .

[46]  J. Ben Atkinson,et al.  Modeling and Analysis of Stochastic Systems , 1996 .

[47]  Jan Torin,et al.  Hazard analysis in object oriented design of dependable systems , 2001, 2001 International Conference on Dependable Systems and Networks.

[48]  Kishor S. Trivedi.  SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator , 2002, Proceedings International Conference on Dependable Systems and Networks.

[49]  Iulian Ober,et al.  Validating timed UML models by simulation and verification , 2006, International Journal on Software Tools for Technology Transfer.

[50]  Armin Zimmermann.  Modeling and evaluation of stochastic Petri nets with TimeNET 4.1 , 2012, 6th International ICST Conference on Performance Evaluation Methodologies and Tools.

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

[52]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[53]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .