Model-driven estimation approach for system reliability using integrated tasks and resources

The increasing complexity of software systems in embedded systems or industrial business domains has led to the importance of reliability analysis for current systems. Reliability analysis has become a crucial part of the system development life cycle, and a new approach is needed to enable an early analysis for reliability estimation, especially for the system under design. However, the existing approach neglects the correlation between system resource and system task for estimating system reliability. This subsequently restricts accuracy of the estimation as well as causing difficulties in identifying critical resources and tasks during the design phase. This paper proposes a model-driven system reliability estimation using a scenario-based approach to estimate system reliability and identify its critical resources and system tasks during the design phase. This model is based on the PerFAM model, which can specifically view timing failures through a system scenario. The proposed approach is validated by the application of a sensitivity analysis into one case study. The case study demonstrates an essential relationship between system reliability, as well as both resources and tasks, which ultimately becomes the integral part for a system reliability estimation assessment.

[1]  Vincenzo Grassi,et al.  Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach , 2007, J. Syst. Softw..

[2]  Jongmoon Baik,et al.  A UML Model Based White Box Reliability Prediction to Identify Unreliable Components , 2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion.

[3]  Swapna S. Gokhale,et al.  Architecture-Based Software Reliability Analysis: Overview and Limitations , 2007, IEEE Transactions on Dependable and Secure Computing.

[4]  Jeffrey C. Carver,et al.  Characterizing software architecture changes: A systematic review , 2010, Inf. Softw. Technol..

[5]  Nenad Medvidovic,et al.  A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation , 2009, WADS.

[6]  Kishor S. Trivedi,et al.  Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs , 2006, 2006 17th International Symposium on Software Reliability Engineering.

[7]  Dayang N. A. Jawawi,et al.  A Formal Semantic for Scenario-Based Model Using Algebraic Semantics Framework for MOF , 2013 .

[8]  Enrico Zio,et al.  Reliability engineering: Old problems and new challenges , 2009, Reliab. Eng. Syst. Saf..

[9]  C. Murray Woodside,et al.  An intermediate metamodel with scenarios and resources for generating performance models from UML designs , 2007, Software & Systems Modeling.

[10]  Gang Huang,et al.  Quality attribute tradeoff through adaptive architectures at runtime , 2009, J. Syst. Softw..

[11]  Tobias Rötschke,et al.  MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations , 2006, ECMDA-FA.

[12]  Christoph Lauer,et al.  Fault tree synthesis from UML models for reliability analysis at early design stages , 2011, SOEN.

[13]  Norman F. Schneidewind,et al.  Analysis of object-oriented software reliability model development , 2009, Innovations in Systems and Software Engineering.

[14]  Lionel C. Briand,et al.  A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems , 2012, IEEE Transactions on Software Engineering.

[15]  Simona Bernardi,et al.  A dependability profile within MARTE , 2011, Software & Systems Modeling.

[16]  Simona Bernardi,et al.  Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques , 2011, IEEE Transactions on Industrial Informatics.

[17]  Paola Inverardi,et al.  Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework , 2007, FASE.

[18]  Hany H. Ammar,et al.  A scenario-based reliability analysis approach for component-based software , 2004, IEEE Transactions on Reliability.

[19]  Steffen Becker,et al.  The Palladio component model for model-driven performance prediction , 2009, J. Syst. Softw..

[20]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[21]  John D. Musa,et al.  Operational profiles in software-reliability engineering , 1993, IEEE Software.

[22]  Anil Kumar Tripathi,et al.  Software Reliability Early Prediction in Architectural Design Phase: Overview and Limitations , 2011, J. Softw. Eng. Appl..

[23]  Bojan Cukic,et al.  Error propagation in the reliability analysis of component based systems , 2005, 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05).

[24]  Heiko Koziolek,et al.  A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis , 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.

[25]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[26]  Oliver Moravcik,et al.  UML Support for Reliability Evaluation , 2011 .

[27]  Xuemei Zhang,et al.  Some successful approaches to software reliability modeling in industry , 2005, J. Syst. Softw..

[28]  Jude A. Rivers,et al.  Reliability Challenges and System Performance at the Architecture Level , 2009, IEEE Design & Test of Computers.

[29]  Swapna S. Gokhale,et al.  Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework , 2006, IEEE Transactions on Reliability.

[30]  Peter Szulman.  WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems , 2009, Electron. Notes Theor. Comput. Sci..

[31]  Rosbi Mamat,et al.  A Robotic Wheelchair Component-Based Software Development , 2011 .

[32]  Katerina Goseva-Popstojanova,et al.  Assessing uncertainty in reliability of component-based software systems , 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..

[33]  Miroslaw Malek,et al.  A survey of online failure prediction methods , 2010, CSUR.

[34]  Mohammad Zulkernine,et al.  A taxonomy of software architecture-based reliability efforts , 2010, SHARK '10.

[35]  Eila Niemelä,et al.  Survey of reliability and availability prediction methods from the viewpoint of software architecture , 2007, Software & Systems Modeling.

[36]  Heiko Koziolek,et al.  Architecture-Based Reliability Prediction with the Palladio Component Model , 2012, IEEE Transactions on Software Engineering.

[37]  Andy Schürr,et al.  15 Years of Triple Graph Grammars , 2008, ICGT.

[38]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[39]  Dayang N. A. Jawawi,et al.  An intermediate metamodel for failure-based behavior of performance and reliability , 2011, 2011 Malaysian Conference in Software Engineering.

[40]  Kishor S. Trivedi,et al.  Software Reliability and Testing Time Allocation: An Architecture-Based Approach , 2010, IEEE Transactions on Software Engineering.

[41]  Paola Inverardi,et al.  Model-based performance prediction in software development: a survey , 2004, IEEE Transactions on Software Engineering.

[42]  Christel Baier,et al.  Performability assessment by model checking of Markov reward models , 2010, Formal Methods Syst. Des..

[43]  David S. Rosenblum,et al.  Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems , 2005, FASE.

[44]  Hany H. Ammar,et al.  A Methodology for Architecture-Level Reliability Risk Analysis , 2002, IEEE Trans. Software Eng..

[45]  Katerina Goseva-Popstojanova,et al.  Architecture-based approach to reliability assessment of software systems , 2001, Perform. Evaluation.

[46]  Vahid Garousi,et al.  A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems , 2008, Software & Systems Modeling.

[47]  Antonio Puliafito,et al.  From UML to Petri Nets: The PCM-Based Methodology , 2011, IEEE Transactions on Software Engineering.

[48]  Jesse H. Poore,et al.  Markov analysis of software specifications , 1993, TSEM.

[49]  D MusaJohn.  Operational Profiles in Software-Reliability Engineering , 1993 .

[50]  David Valis,et al.  The Failure Phenomenon: A Critique , 2010 .

[51]  Xihong Su,et al.  SA based software deployment reliability estimation considering component dependence , 2011 .

[52]  Ugo Montanari,et al.  International Symposium on Programming , 1982, Lecture Notes in Computer Science.

[53]  Michael R. Lyu.  Software Reliability Engineering: A Roadmap , 2007, Future of Software Engineering (FOSE '07).

[54]  Felix C. Freiling,et al.  Dependability metrics: advanced lectures , 2008 .

[55]  Swapna S. Gokhale,et al.  An analytical approach to architecture-based software performance and reliability prediction , 2004, Perform. Evaluation.

[56]  Felix C. Freiling,et al.  Introduction to Dependability Metrics , 2005, Dependability Metrics.