Software dependability modeling using an industry-standard architecture description language

2008/09/24 by Ana-Elena Rugina, Rugina, Ana-Elena, Peter H. Feiler +5
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #cs.SE

paper · pdf · doi:10.48550/arxiv.0809.4109

arxiv created 2008/09/24 · arxiv updated 2009/12/01

Abstract

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.

Related

• Using Dependence Analysis to Support Software Architecture Understanding
• Using dependency models to manage complex software architecture
• From Requirements to code: an Architecture-centric Approach for producing Quality Systems
• Compliance between Architecture and Design Models of Component-Based Systems
• On Assessing the Complexity of Software Architectures