Projects and Working Groups

• - Robustness in Railway Operations.
  For information about WP4.1 Formal Development and Verification of Railway Control Systems: se here and the following scientific publications: [1,2,3,4,5,6], [7,8], [9,10], [11,12], [13] and popularized scientific articles:
  • Matematik mindsker risiko for togkollision in Dynamo no 43, 2015. Almost the same text can be found here: Matematik mindsker risiko for togkollision. and in English here: Mathematics reduces the risc of train collisions.
  • Matematisk gennembrud øger togsikkerheden/Mathematical breakthrough boosts rail safety in DTUavisen no. 9, 2015
  • Rail Safety: Back in the Spotlight in Technologist Magazine, no. 9, pages 42-43, 2016

  

• European Technical Working Group on Formal Methods in Railway Control.

• FMERail: Formal Methods Europe - Railways.
  In collaboration with (1) Instituttet for Anvendt Datateknik (IFAD), Denmark, (2) TERMA Elektronik A/S, Denmark, (3) Formal Systems (Europe) Ltd., United Kingdom, and (4) Steria Méditerranée, France.

• Danish relay interlocking systems. See [14,15,16,17,18,19,20,21].
  In collaboration with Railnet Denmark.

  

• Danish computer-based interlocking systems: for stations and for lines. See [22,23].
  In collaboration with Railnet Denmark.

• EDASS: A tram control system. See [24,25,26,27,28,29,30,31,32,33]. In collaboration with Bremen University, Germany.

  

• DraCoS: A Distributed Railway Control System. See [34].
  In collaboration with Bremen University, Germany.

  
  

• FM-Rail-BOK: Formal Methods Body of Knowledge for Railway Control and Safety Systems. See [35,36,37].
  In collaboration with (1) Markus Roggenbach, University of Swansea, Great Britain, (2) Stefan Gruner, University of Pretoria, South Africa, and (3) Tom Maibaum, McMaster University, Canada.