Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Dependability through Assured Reconfiguration in Embedded System Software
IEEE Transactions on Dependable and Secure Computing
Architecting Dependable Systems III (Lecture Notes in Computer Science)
Architecting Dependable Systems III (Lecture Notes in Computer Science)
Architecting Dependable Systems II
Architecting Dependable Systems II
Architecting dependable systems
Architecting dependable systems
Hi-index | 0.00 |
Assurance Based Development (ABD) is an approach to the construction of critical computing systems in which the system and an argument that it meets its assurance goals are developed simultaneously. ABD touches all aspects of the system lifecycle, but in this paper we focus on how the evolving assurance argument can guide architectural choices to increase system dependability. The goals with this approach to architectural choice are twofold. The first is to develop the architecture so that it provides the required evidence. The second is to refine the assurance case as architectural choices are made so that the evidence that will be provided supports the assurance claims. Combining development and assurance in this way facilitates detection--and thereby avoidance--of potential assurance difficulties as they arise, rather than after development is complete.