Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Research on Disaster Communications Read chapter Read first chapter

2019 | OriginalPaper | Chapter

Formal Methods for Railway Disasters Prevention

Authors : Lilia Belabed, Tullio Joseph Tanzi, Sophie Coudert

Published in: Information Technology in Disaster Risk Reduction

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Due to the increasing complexity of railway signalling systems, the design of those systems is more difficult and the demonstration of their safety can be extremely tedious. In this article, the verification and validation of railway signalling systems is investigated. We explain how railway signalling functions are designed, we show how they can be mathematically modelled using formal methods and we discuss some ways to use formal methods mechanisms to design, verify signalling systems and to prove the validity of their safety properties.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Data Processing for Assessment of Meteorological and Hydrological Drought
next chapter Public Expectations of Social Media Use by Critical Infrastructure Operators During Crises: Lessons Learned from France
Literature
1.
Standard NF EN 50128 Railway applications. Communication, signalling and processing systems. Software for railway control and protection systems
2.
Standard IEC 61508 Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems (E/E/PE, or E/E/PES)
3.
Roger Rétiveau. La signalisation fériovaire. Département Edition de l’Association des Ingénieurs Anciens Elèves de l’Ecole Nationale des Ponts et Chaussées.© 1987 ISBN 2-85978-102-1
4.
Standard NF EN 50126 Railway Applications Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS)
5.
6.
7.
Krivine, J.L., Kreisel, G.: Elements of Mathematical Logic (Model Theory). North Holland, Amsterdam (1967)MATH
8.
Sommerville, I.: Software Engineering, 9th edn. Pearson, London (2011). Chapter 27. Formal methodsMATH
9.
Abrial, J.-R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)CrossRef
10.
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)CrossRef
11.
Liu, J., Liu, J.: A formal framework for hybrid event b. Electron. Notes Theor. Comput. Sci. 309, 3–12 (2014)CrossRef
12.
Platzer, A.: A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems. Log. Methods Comput. Sci. 8(4), 1–44 (2012). Special issue for selected papers from CSL 2010MathSciNetMATH
13.
14.
15.
Fürst, A.: Formal development of a train control system using event-B. Theses, ETH Zurich (2015)
16.
Busard, S., Cappart, Q., Limbrée, C., Pecheur, C., Schaus, P.: Verification of railway interlocking systems. In: ESSS 2015, Oslo, Norway, 22 June 2015, pp. 19–31 (2015)
17.
Vu, L., Haxthausen, A.E., Peleska, J.: Formal modelling and verification of interlocking systems featuring sequential release. Sci. Comput. Program. 133, 91–115 (2017)CrossRef
18.
19.
Benerecetti, M., et al.: Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133(2), 116–153 (2017). FTSCS 2014CrossRef
20.
Fehnker, A., Clarke, E.M., Jha, S.K., Krogh, B.H.: Refining abstractions of hybrid systems using counterexample fragments. In: Proceedings of 8th International Workshop in Hybrid Systems: Computation and Control, HSCC 2005, Zurich, Switzerland, 9–11 March 2005, pp. 242–257 (2005)
21.
Metadata
Title
Formal Methods for Railway Disasters Prevention
Authors
Lilia Belabed
Tullio Joseph Tanzi
Sophie Coudert
Copyright Year
2019
Book
Information Technology in Disaster Risk Reduction

Print ISBN: 978-3-030-18292-2

Electronic ISBN: 978-3-030-18293-9

Copyright Year: 2019

DOI
https://doi.org/10.1007/978-3-030-18293-9_14

Premium Partner

    Image Credits