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 object-oriented approach to the speciication of interlocking logics. We also give an overview of UniSpec, which is an instance of EURIS for the Dutch railway system.
  • 1