"Safety, Dependability and Performance Analysis of Extended AADL Models"
Presenters: M. Bozzano, A. Cimatti, J.-P. Katoen, T. Noll
in conjunction with the 17th Int. Symposium on Formal Methods (FM 2011)
June 21, 2011, Lero, Limerick, Ireland.
The tutorial will present a component-based modeling approach to
system-software co-engineering of real-time embedded systems, in
particular aerospace systems, and will be accompanied by a demo of the
Fore more information on the tutorial, please visit:
and the web site of the FM 2011 Symposium:
The COMPASS Consortium