Formal Methods and Safety Certification: Challenges in the Railways Domain

Alessandro Fantechi; Alessio Ferrari; Stefania Gnesi

doi:10.1007/978-3-319-47169-3_18

Formal Methods and Safety Certification: Challenges in the Railways Domain

Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi

Department of Applied Mathematics and Computer Science

National Research Council of Italy

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 language	English
Title of host publication	Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) - Part II : Discussion, Dissemination, Applications
Publisher	Springer
Publication date	2016
Pages	261-265
ISBN (Print)	978-3-319-47168-6
ISBN (Electronic)	978-3-319-47169-3
DOIs	https://doi.org/10.1007/978-3-319-47169-3_18
Publication status	Published - 2016
Event	7^th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Corfu, Greece Duration: 10 Oct 2016 → 14 Oct 2016 Conference number: 7

Conference

Conference	7^th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Number	7
Country/Territory	Greece
City	Corfu
Period	10/10/2016 → 14/10/2016

Series	Lecture Notes in Computer Science
Volume	9953
ISSN	0302-9743

Access to Document

10.1007/978-3-319-47169-3_18

OpenUrl availability

Full text

Cite this

Fantechi, A., Ferrari, A., & Gnesi, S. (2016). Formal Methods and Safety Certification: Challenges in the Railways Domain. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) - Part II: Discussion, Dissemination, Applications (pp. 261-265). Springer. https://doi.org/10.1007/978-3-319-47169-3_18

Fantechi, Alessandro ; Ferrari, Alessio ; Gnesi, Stefania. / Formal Methods and Safety Certification: Challenges in the Railways Domain. Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) - Part II: Discussion, Dissemination, Applications. Springer, 2016. pp. 261-265 (Lecture Notes in Computer Science, Vol. 9953).

@inproceedings{776a691136f549bea810ab37fb4acd41,

title = "Formal Methods and Safety Certification: Challenges in the Railways Domain",

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.",

author = "Alessandro Fantechi and Alessio Ferrari and Stefania Gnesi",

year = "2016",

doi = "10.1007/978-3-319-47169-3_18",

language = "English",

isbn = "978-3-319-47168-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "261--265",

booktitle = "Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) - Part II",

note = "7<sup>th</sup> International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 ; Conference date: 10-10-2016 Through 14-10-2016",

}

Fantechi, A, Ferrari, A & Gnesi, S 2016, Formal Methods and Safety Certification: Challenges in the Railways Domain. in Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) - Part II: Discussion, Dissemination, Applications. Springer, Lecture Notes in Computer Science, vol. 9953, pp. 261-265, 7^th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 10/10/2016. https://doi.org/10.1007/978-3-319-47169-3_18

Formal Methods and Safety Certification: Challenges in the Railways Domain. / Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania.
Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) - Part II: Discussion, Dissemination, Applications. Springer, 2016. p. 261-265 (Lecture Notes in Computer Science, Vol. 9953).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Formal Methods and Safety Certification: Challenges in the Railways Domain

AU - Fantechi, Alessandro

AU - Ferrari, Alessio

AU - Gnesi, Stefania

N1 - Conference code: 7

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-47169-3_18

DO - 10.1007/978-3-319-47169-3_18

M3 - Article in proceedings

SN - 978-3-319-47168-6

T3 - Lecture Notes in Computer Science

SP - 261

EP - 265

BT - Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) - Part II

PB - Springer

T2 - 7<sup>th</sup> International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Y2 - 10 October 2016 through 14 October 2016

ER -

Fantechi A, Ferrari A, Gnesi S. Formal Methods and Safety Certification: Challenges in the Railways Domain. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) - Part II: Discussion, Dissemination, Applications. Springer. 2016. p. 261-265. (Lecture Notes in Computer Science, Vol. 9953). doi: 10.1007/978-3-319-47169-3_18

Formal Methods and Safety Certification: Challenges in the Railways Domain

Abstract

Conference

Access to Document

OpenUrl availability

Fingerprint

Cite this