Software dependability modeling using an industry-standard architecture description language

• Main Authors: Rugina, Ana-Elena, Feiler, Peter H, Kanoun, Karama, Kaaniche, Mohamed
• Format: Journal Article
• Language: English
• Published: 24-09-2008
• Subjects: Computer Science - Software Engineering
• DOI: 10.48550/arxiv.0809.4109

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.