Fokko van Dijk

Learn More
Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. We present a tutorial on the EURIS method from NS Railinfrabeheer, which champions an objectoriented approach to the speci cation of interlocking logics. We also give an overview of UniSpec, which is an instance of EURIS for the Dutch railway system.
  • 1