Wednesday 25 October, 11:00-12:30
Session 1: Verification and Validation
Chair: F. Saglietti, Institute for Safety Technology - ISTec, D

• Empirical Assessment of Software on-line Diagnostics using Fault Injection - J. Napier, J. May and G. Hughes (University of Bristol, UK)
• Speeding-up Fault Injection Campaigns in VHDL Models - B. Parrotta, M. Rebaudengo, M. Sonza Reorda and M. Violante (Politecnico di Torino, I)
• Specification and Verification of a Safety Shell with Statecharts and Extended Timed Grahps -  J. van Katwijk, H. Toetenel (Delft University of Technology, NL), A. Sahraoui (University of California, USA), E. Anderson and J. Zalewski (University of Central Florida, USA)