Software dependability modeling using an industry-standard architecture description language

Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This paper gives guidelines for building architectural dependability models for software systems using the AADL (Architecture Analysis and Design Language). It presents reusable modeling patterns for fault-tolerant applications and shows how the presented patterns can be used in the context of a subsystem of a real-life application.

[1]  Brian Randell,et al.  An application of fault tolerance patterns and coordinated atomic actions to a problem in railway scheduling , 2000, OPSR.

[2]  Nayeem Islam,et al.  An essential design pattern for fault-tolerant distributed state sharing , 1996, CACM.

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

[4]  Susanna Donatelli,et al.  From UML sequence diagrams and statecharts to analysable petri net models , 2002, WOSP '02.

[5]  Karama Kanoun,et al.  Availability of CAUTRA, a Subset of the French Air Traffic Control System , 1999, IEEE Trans. Computers.

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

[7]  Jean Arlat,et al.  Architectural Issues in Software Fault Tolerance , 1995 .

[8]  Mark Klein,et al.  Experience with performing architecture tradeoff analysis , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[9]  Mary Shaw,et al.  Characteristics of Higher-Level Languages for Software Architecture. , 1994 .

[10]  Diego Latella,et al.  Dependability analysis in the early phases of UML-based system design , 2001, Comput. Syst. Sci. Eng..

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

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

[13]  Holger Giese,et al.  Design of self-managing dependable systems with UML and fault tolerance patterns , 2004, WOSS '04.

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

[15]  Laurent Nana,et al.  Scheduling and memory requirements analysis with AADL , 2005, SIGAda.

[16]  Steve Vestal,et al.  Formalizing Software Architectures for Embedded Systems , 2001, EMSOFT.

[17]  Michael R. Lyu,et al.  Dependability Modeling for Fault-Tolerant Software and Systems , 1995 .

[18]  Peter H. Feiler,et al.  Dependability Modeling with the Architecture Analysis & Design Language (AADL) , 2007 .

[19]  Peter H. Feiler,et al.  Pattern-Based Analysis of an Embedded Real-Time System Architecture , 2004, IFIP-WADL.

[20]  Rogério de Lemos.  Idealised Fault Tolerant Architectural Element , 2006 .

[21]  Leonard J. Bass,et al.  Attribute-Based Architecture Styles , 1999, WICSA.

[22]  C. Seguin,et al.  Architecture patterns for safe design • , 2004 .