Tutorial on "Safety, Dependability and Performance Analysis of Extended AADL Models" at FM 2011
17 Mar
2011
17 Mar
'11
3:41 p.m.
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
5015
Age (days ago)
5015
Last active (days ago)
0 comments
1 participants
participants (1)
-
COMPASS Consortium