Formal methods since thirty years have promised to be the solution for the safety certification headaches of railway software designers. In this chapter we look at the current industrial application of formal methods in the railway domain: after a recall of the dawning of formal methods in this domain, recent trends are presented, focusing in particular on formal verification by means of model checking engines, with its potential and limitations. The paper ends with a perspective into the next future, in which formal methods will be expected to pervade in more respects the production of railway software and systems.

The Role of Formal Methods in Software Development for Railway Applications / Alessandro Fantechi. - STAMPA. - (2012), pp. 282-297. [10.4018/978-1-4666-1643-1.ch012]

The Role of Formal Methods in Software Development for Railway Applications

FANTECHI, ALESSANDRO
2012

Abstract

Formal methods since thirty years have promised to be the solution for the safety certification headaches of railway software designers. In this chapter we look at the current industrial application of formal methods in the railway domain: after a recall of the dawning of formal methods in this domain, recent trends are presented, focusing in particular on formal verification by means of model checking engines, with its potential and limitations. The paper ends with a perspective into the next future, in which formal methods will be expected to pervade in more respects the production of railway software and systems.
2012
9781466616431
9781466616448
Railway Safety, Reliability, and Security
282
297
Alessandro Fantechi
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/899378
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 3
social impact