Formal Verification and Validation of AADL Models

  title={Formal Verification and Validation of AADL Models},
  author={Marco Bozzano and Roberto Cavada and Alessandro Cimatti and J.-P. Katoen and V. Y. Nguyen and Th. Noll and Xavier Olive},
Safety-critical systems are increasingly difficult to comprehend due to their rising complexity. Methodologies, tools and modeling formalisms have been developed to overcome this. Component-based design is an important paradigm that is shared by many of them. It helps to master the overall complexity while in addition allowing for reusability. Furthermore, it easily supports the common issues in the engineering disciplines, like hardware/software (i.e., co-engineering), performability… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS
20 Citations
8 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 20 extracted citations

Similar Papers

Loading similar papers…