Validation and verification of METEOR safety software
Using UML diagrams for system safety and security environment analysis
Using formal methods for quality assurance of interlocking systems
Using a rail simulation library to assess impacts of transit network planning on operational quality
Use of Operations Research to facilitate and improve railway planning
Use of model transformation for the formal analysis of railway interlocking models
Use of frequency-dependent track models in traction system simulation
Use of computers in planning and execution of infrastructure investment
Use of computer databases to manipulate safety information