Efficient Development and Verification of Safe Railway Control Software

Publication: Research - peer-reviewBook chapter – Annual report year: 2013

Documents

View graph of relations

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, Incorporated
Publication date2013
Pages127-148
ISBN (print)978-1-62417-139-0
StatePublished - 2013
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

Download statistics

No data available

ID: 57573596