Paper Info
Title
Automated Reliability Prediction from Formal Architectural Descriptions
Abstract
Quantitative assessment of quality attributes (i.e., non-functional requirements, such as performance, safety or reliability) of software architectures during design supports important early decisions and validates the quality requirements established by the stakeholder. In current practice, these quality requirements are most often manually checked, which is time-consuming and error-prone due to the overwhelmingly complex designs. We propose an automated approach to assess the reliability of software architectures. It consists in extracting a Markov model from the system specification written in an Architecture Description Language (ADL). Our approach translates the specified architecture to a high-level probabilistic model-checking language, supporting system validation and quantitative reliability prediction against usage profile, component arrangement and architectural styles. We validate our approach by applying it to different architectural styles and comparing those with two different quantitative reliability assessment methods presented in the literature: the composite and the hierarchical methods.
Year
DOI
Venue
2012
10.1109/WICSA-ECSA.212.50
WICSA/ECSA
Keywords
Field
DocType
quality attribute,formal architectural descriptions,system specification,different architectural style,architectural style,quantitative reliability prediction,automated reliability prediction,software architecture,quality requirement,quantitative assessment,different quantitative reliability assessment,automated approach,markov processes,mathematical model,software quality,formal verification,software reliability,reliability engineering,formal specification,probability,computer architecture,model checking
Model checking,Systems engineering,Computer science,Formal specification,Software,Software architecture,Software quality,System requirements specification,Reliability engineering,Formal verification,Architecture description language
Conference
Citations 
PageRank 
References 
7
0.46
15
Authors
3
Name
Order
Citations
PageRank
Joao M. Franco1100.87
Raul Barbosa211019.08
Mario Zenha-Rela3100.87