Abstract | ||
---|---|---|
The quantitative assessment of quality attributes on software architectures allow to support early decisions in the design phase, certify quality requirements established by stakeholders and improve software quality in future architectural changes. In literature, only few of these quality requirements are verified and most often they are manually checked, which is time-consuming and error-prone due to the overwhelmingly complex designs. The goal of this thesis is to provide means for architects predict and analyze availability constraints on software architectures. We plan to generate a stochastic model from an architectural description specified by an Architecture Description Language (ADL) properly annotated to be solved by a probabilistic model-checking tool. This model will allow to quantitatively predict availability and identify bottlenecks that are negatively influencing the overall system availability. Hence, our approach will help architects to avoid undesired or infeasible architectural designs and prevent extra costs in fixing late life-cycle detected problems. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/QUATIC.2014.45 | Quality of Information and Communications Technology |
Keywords | Field | DocType |
formal verification,software architecture,software quality,ADL,architecture description language,availability evaluation,complex designs,formal methods,infeasible architectural designs,life-cycle detected problems,probabilistic model-checking tool,quality attributes,quality requirements,software architectures,software quality,Analysis,Availability,Prediction,Software Architecture | Software design description,Software engineering,Systems engineering,Computer science,Software architecture description,Software quality control,Component-based software engineering,Software architecture,Software requirements specification,Software quality,Architectural pattern,Reliability engineering | Conference |
ISBN | Citations | PageRank |
978-1-4799-6132-0 | 1 | 0.35 |
References | Authors | |
15 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
João Miguel Franco | 1 | 9 | 1.12 |
Raul Barbosa | 2 | 110 | 19.08 |
Mário Zenha Rela | 3 | 124 | 16.53 |