Validating the Hybrid ERTMS/ETCS level 3 concept with electrum

This paper reports on the development of a formal model for the Hybrid ERTMS/ETCS Level 3 concept in Electrum, a lightweight formal specification language that extends Alloy with mutable relations and temporal logic operators. We show how Electrum and its Analyzer can be used to perform scenario exp...

Full description

Bibliographic Details
Main Author: Cunha, Alcino (author)
Other Authors: Macedo, Nuno (author)
Format: article
Language:eng
Published: 2020
Subjects:
Formal specification
Railway safety
Validation and verification
Science & Technology
Online Access:http://hdl.handle.net/1822/68516
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/68516

Internet

http://hdl.handle.net/1822/68516

Similar Items