Welcome to the InfoSci Platform
Reference Hub6
The Role of Formal Methods in Software Development for Railway Applications

The Role of Formal Methods in Software Development for Railway Applications

Alessandro Fantechi
Copyright: © 2012 |Pages: 16
ISBN13: 9781466616431|ISBN10: 1466616431|EISBN13: 9781466616448
DOI: 10.4018/978-1-4666-1643-1.ch012
Cite Chapter Cite Chapter

MLA

Fantechi, Alessandro. "The Role of Formal Methods in Software Development for Railway Applications." Railway Safety, Reliability, and Security: Technologies and Systems Engineering, edited by Francesco Flammini, IGI Global, 2012, pp. 282-297. https://doi.org/10.4018/978-1-4666-1643-1.ch012

APA

Fantechi, A. (2012). The Role of Formal Methods in Software Development for Railway Applications. In F. Flammini (Ed.), Railway Safety, Reliability, and Security: Technologies and Systems Engineering (pp. 282-297). IGI Global. https://doi.org/10.4018/978-1-4666-1643-1.ch012

Chicago

Fantechi, Alessandro. "The Role of Formal Methods in Software Development for Railway Applications." In Railway Safety, Reliability, and Security: Technologies and Systems Engineering, edited by Francesco Flammini, 282-297. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-4666-1643-1.ch012

Export Reference

Mendeley
Favorite

Abstract

Formal methods for thirty years have promised to be the solution for the safety certification headaches of railway software designers. This chapter looks 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 that focus 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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.