Programme

Madrid (E), MONDAY 23 SEPTEMBER, 2013 – PROGRAMME (up to minor ad-hoc modifications, which might still arise “on the fly” before or during the workshop)

10:00-11:00

  • Joint FM-Rail-BOK & FMICS Keynote Lecture: 25 Years of Formal Methods and Railways – What Next? (A. Fantechi)

11:00-11:30h

  • Coffee Break

11:30-13:00h

  • Introduction: BOKs and Engineering Knowledge (T. Maibaum)
  • Ontology for Complex Railway Systems: Application to ERTMS/ETCS System (O. Hoinaruo, G. Mariano, C. Gransart)
  • Verification of Scheme Plans using CSP||B (P. James, F. Moller, H. Nguyen, M. Roggenbach, S. Schneider, M. Trumble, H. Treharne, D. Wiliams)
  • Applied bounded Model Checking for interlocking System Designs (A. Haxthausen, J. Peleska, R. Pinger)
  • Data Formal Validation of Railway Safety-related Systems: Implementing the OVADO Tool (R. Abo, L. Voisin)
  • Validation of Railway Interlocking Systems by Formal Verification: a Case Study (A. Bonacchi, A. Fantechi, S. Bacherini, M. Tempestini, L. Cipriani)
  • Verification of Solid State Interlocking Programs (P. James, K. Kanso, A. Lawrence, F. Moller, M. Roggenbach, M. Seisenberger, A. Setzer, S. Chadwick)
  • Formal Modelling of Train Control Systems with Petri Nets (M. Meyer zu Hörste, E. Schnieder)

13:00-14:30h

  • Lunch

14:30-16:00h

  • Validation of Railway Interlocking Systems by Formal Verification: a Case Study (A. Bonacchi, A. Fantechi, S. Bacherini, M. Tempestini, L. Cipriani)
  • Verification of Solid State Interlocking Programs (P. James, K. Kanso, A. Lawrence, F. Moller, M. Roggenbach, M. Seisenberger, A. Setzer, S. Chadwick)
  • Formal Modelling of Train Control Systems with Petri Nets (M. Meyer zu Hörste, E. Schnieder)
  • Group work: Overall structure of the BOK-Book to be published (S. Gruner – chair)
  • Group work: Engineering Recipes (A. Haxthausen – chair)

16:00-16:30h

  • Afternoon Tea

16:30-18:00h

  • Group work: Method Collection (M. Roggenbach – chair)
  • Summary: Discussion, Conclusion, Outlook to Future Work (T. Maibaum – chair)
  • Closing

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s