An architecture-based dependability modeling framework using AADL

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaaniche

For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses su…