Automatic Derivation of Dependability and Fault Tolerance Analysis Models from Software Architecture
Naif Alzahrani · 2015
Complex distributed software systems are increasingly employed to support and operate critical applications, so these systems should be highly dependable.The dependability of a software system is the ability to deliver trusted service and to avoid service failure that is more frequent and more severe than acceptable.Dependability attributes encompass a set of Non-Functional Properties (NFP), such as reliability and availability.The goal of this thesis is to develop a framework for integrating model-based dependability assessment techniques in the early stages of the software development process.This will support designers in taking the right design decisions and avoiding costly corrective actions later on, after the implementation and deployment have been completed.