Formal Methods and Safety Certification: Challenges in the Railways Domain

Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) - Part II : Discussion, Dissemination, Applications
PublisherSpringer
Publication date2016
Pages261-265
ISBN (Print)978-3-319-47168-6
ISBN (Electronic)978-3-319-47169-3
DOIs
Publication statusPublished - 2016
Event7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Corfu, Greece
Duration: 10 Oct 201614 Oct 2016
Conference number: 7

Conference

Conference7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Number7
Country/TerritoryGreece
CityCorfu
Period10/10/201614/10/2016
SeriesLecture Notes in Computer Science
Volume9953
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Formal Methods and Safety Certification: Challenges in the Railways Domain'. Together they form a unique fingerprint.

Cite this