Verification and performance evaluation of aadl models

  title={Verification and performance evaluation of aadl models},
  author={Marco Bozzano and Alessandro Cimatti and Marco Roveri and Joost-Pieter Katoen and Viet Yen Nguyen and Thomas Noll},
  booktitle={ESEC/SIGSOFT FSE},
This paper reports on a model-based approach to system-software co-engineering which is tailored to critical on-board systems for the aerospace domain but is relevant to a much wider class of dependable systems. Our main contribution is a formal semantics for a greater part of standardised AADL, the Architecture Analysis and Design Language, and its Error… CONTINUE READING