Efficient Development and Verification of Safe Railway Control Software

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

105 Downloads (Pure)


In this book, the authors present current research on the types, design and safety issues of railways. Topics discussed include the acoustic characteristics of noise in train stations; monitoring railway structure conditions and opportunities to use wireless sensor networks as tools to improve the monitoring process; hydraulic absorbers as dampers to dissipate the energy of oscillations in railway electric equipment; development of train fare calculation and adjustment systems using VDM++; efficient development and verification of safe railway control software; and evolution of the connectivity of the Portuguese broad gauge railway network (1948-2012).
Original languageEnglish
Title of host publicationRailways: Types, Design and Safety Issues
EditorsCacilie Reinhardt, Klaus Shroeder
PublisherNova Science Publishers
Publication date2013
ISBN (Print)978-1-62417-139-0
Publication statusPublished - 2013

Fingerprint Dive into the research topics of 'Efficient Development and Verification of Safe Railway Control Software'. Together they form a unique fingerprint.

Cite this