Compass-announce

Download

compass-announce@lists.rwth-aachen.de

March 2011

1 participants
1 discussions

Tutorial on "Safety, Dependability and Performance Analysis of Extended AADL Models" at FM 2011
by COMPASS Consortium 17 Mar '11

17 Mar '11

Tutorial announcement --------------------- "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 COMPASS toolset. Fore more information on the tutorial, please visit: http://sites.lero.ie/fm2011/Tutorial6.html and the web site of the FM 2011 Symposium: http://sites.lero.ie/fm2011 Best regards, The COMPASS Consortium

1 0