Friday 27 October, 10:00-11:30
Session 8: Transport & Infrastructures
Chair: E. Schoitsch, Austrian Research Centers Seibersdorf, A

• Controlling Requirements Evolution: an Avionics Case Study - S. Anderson and M. Felici (University of Edinburgh, UK)
• HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems - A. Hussey (University of Queensland, AU)
• Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components - T. Cichocki (Adtranz Zwus, PL), J. Górski (Technical University of Gdansk, PL)