Formal Methods for Distributed Computing in Future Railway Systems

Alessandro Fantechi; Stefania Gnesi; Anne Elisabeth Haxthausen

doi:10.1007/978-3-030-61467-6_24

Formal Methods for Distributed Computing in Future Railway Systems

Alessandro Fantechi
, Stefania Gnesi
, Anne Elisabeth Haxthausen

Department of Applied Mathematics and Computer Science

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

274 Downloads (Orbit)

Abstract

The growingly wide deployment of ERTMS-ETCS systems on high speed lines as well as on freight corridors is already a witness to the possible achievement of high safety standards by means of distributed control algorithms, that span over geographical areas and are able to safely control large physical systems.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation: Applications
Editors	T. Margaria , B. Steffen
Publisher	Springer
Publication date	2020
Pages	389-392
ISBN (Print)	978-3-030-61466-9
DOIs	https://doi.org/10.1007/978-3-030-61467-6_24
Publication status	Published - 2020
Event	International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020 - Virtual event - POSTPONED TO 2021!, Greece Duration: 20 Oct 2020 → 30 Oct 2020 http://www.isola-conference.org/

Conference

Conference	International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020
Location	Virtual event - POSTPONED TO 2021!
Country/Territory	Greece
Period	20/10/2020 → 30/10/2020
Other	Postponed to October 2021 due to Covid-19
Internet address	http://www.isola-conference.org/

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

Access to Document

10.1007/978-3-030-61467-6_24

FulltextAccepted author manuscript, 97 KB

OpenUrl availability

Full text

Cite this

@inproceedings{ab5be4d741364f8b96ef37ed6c1796dd,

title = "Formal Methods for Distributed Computing in Future Railway Systems",

abstract = "The growingly wide deployment of ERTMS-ETCS systems on high speed lines as well as on freight corridors is already a witness to the possible achievement of high safety standards by means of distributed control algorithms, that span over geographical areas and are able to safely control large physical systems. ",

author = "Alessandro Fantechi and Stefania Gnesi and Haxthausen, \{Anne Elisabeth\}",

year = "2020",

doi = "10.1007/978-3-030-61467-6\_24",

language = "English",

isbn = "978-3-030-61466-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "389--392",

editor = "\{Margaria \}, T. and \{Steffen \}, B.",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation: Applications",

note = "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020, ISoLA 2020 ; Conference date: 20-10-2020 Through 30-10-2020",

url = "http://www.isola-conference.org/",

}

Fantechi, A, Gnesi, S & Haxthausen, AE 2020, Formal Methods for Distributed Computing in Future Railway Systems. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Applications. Springer, Lecture Notes in Computer Science, vol. 12478, pp. 389-392, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020, Greece, 20/10/2020. https://doi.org/10.1007/978-3-030-61467-6_24

Formal Methods for Distributed Computing in Future Railway Systems. / Fantechi, Alessandro; Gnesi, Stefania; Haxthausen, Anne Elisabeth.
Leveraging Applications of Formal Methods, Verification and Validation: Applications. ed. / T. Margaria ; B. Steffen . Springer, 2020. p. 389-392 (Lecture Notes in Computer Science, Vol. 12478).

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

TY - GEN

T1 - Formal Methods for Distributed Computing in Future Railway Systems

AU - Fantechi, Alessandro

AU - Gnesi, Stefania

AU - Haxthausen, Anne Elisabeth

PY - 2020

Y1 - 2020

N2 - The growingly wide deployment of ERTMS-ETCS systems on high speed lines as well as on freight corridors is already a witness to the possible achievement of high safety standards by means of distributed control algorithms, that span over geographical areas and are able to safely control large physical systems.

AB - The growingly wide deployment of ERTMS-ETCS systems on high speed lines as well as on freight corridors is already a witness to the possible achievement of high safety standards by means of distributed control algorithms, that span over geographical areas and are able to safely control large physical systems.

U2 - 10.1007/978-3-030-61467-6_24

DO - 10.1007/978-3-030-61467-6_24

M3 - Article in proceedings

SN - 978-3-030-61466-9

T3 - Lecture Notes in Computer Science

SP - 389

EP - 392

BT - Leveraging Applications of Formal Methods, Verification and Validation: Applications

A2 - Margaria , T.

A2 - Steffen , B.

PB - Springer

T2 - International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020

Y2 - 20 October 2020 through 30 October 2020

ER -

Formal Methods for Distributed Computing in Future Railway Systems

Abstract

Conference

Access to Document

OpenUrl availability

Fingerprint

Cite this