An introductive tutorium/tutorial for the for the 9th FORMS/FORMAT 2012 Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems will be held on the 11th December.

Further information will be provided soon. If you are interested in participating the tutorial, please contact Mr. Hosse or Mr. von Buxhoeveden.

Tuesday, 11th December 2012
12:00 Registration of Attendees
13:00 Welcome Address
E. Schnieder
13:15 Hazard Identification with Generic Hazard Lists
D. Beisel (iVA)
14:00 Risk Analysis for Automotive according to ISO 26262
T. Ständer (iQST)
14:45 Refreshment Break
15:15 RAMS Terminology in Standardization
C. Stein (iVA), J. Beugin (IFFSTAR)
16:00 RAMS Modeling and Analysis with Petri Nets according to IEC 62551 (ProFunD)
J.R. Müller (Bombardier), L.M. Quiroga (iVA)
16:45 Accident Prevention and Analysis with STAMP
R.S. Hosse (iVA)
17:30 End of Tutorial