Document - Formal methods and safety certification: Challenges in the railways domain

2016

Conference article Closed Access

Formal methods and safety certification: Challenges in the railways domain

Fantechi A., Ferrari A., Gnesi S.

D.2 SOFTWARE ENGINEERING Interlocking D.2.4 SOFTWARE ENGINEERING. Model checking Model checking Automatic train protection Formal methods D.2.4 SOFTWARE ENGINEERING. Software/Program Verification Railway applications D.2.2 SOFTWARE ENGINEERING. Design Tools and Techniques

The railway signalling sector has historically been a source of success stories about the adoption of formal methods in the certification of software safety of computer-based control equipment.

Source: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, pp. 261–265, Corfu, Greece, 10-14 October 2016

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:362796,
	title = {Formal methods and safety certification: Challenges in the railways domain},
	author = {Fantechi A. and Ferrari A. and Gnesi S.},
	doi = {10.1007/978-3-319-47169-3_18},
	booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, pp. 261–265, Corfu, Greece, 10-14 October 2016},
	year = {2016}
}