Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/68516
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Cunha, Alcino | por |
dc.contributor.author | Macedo, Nuno | por |
dc.date.accessioned | 2020-12-11T17:04:42Z | - |
dc.date.available | 2020-12-11T17:04:42Z | - |
dc.date.issued | 2020 | - |
dc.identifier.issn | 1433-2779 | - |
dc.identifier.uri | https://hdl.handle.net/1822/68516 | - |
dc.description.abstract | 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 exploration to validate this model, namely to check that all the operational scenarios described in the reference document are admissible, and to reason about expected safety properties, which can be easily specified and model checked for arbitrary track configurations. We also show how the Analyzer can be used to depict scenarios (and counter-examples) in a graphical notation that is logic-agnostic, making them understandable by stakeholders without expertise in formal specification. | por |
dc.description.sponsorship | The authors would like to thank David Chemouil for the support provided during the model checking of the model. This work is financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project POCI-01-0145-FEDER-016826. | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.rights | openAccess | por |
dc.subject | Formal specification | por |
dc.subject | Railway safety | por |
dc.subject | Validation and verification | por |
dc.title | Validating the Hybrid ERTMS/ETCS level 3 concept with electrum | por |
dc.type | article | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://link.springer.com/article/10.1007/s10009-019-00540-4 | por |
oaire.citationStartPage | 281 | por |
oaire.citationEndPage | 296 | por |
oaire.citationIssue | 3 | por |
oaire.citationVolume | 22 | por |
dc.date.updated | 2020-12-11T15:35:02Z | - |
dc.identifier.doi | 10.1007/s10009-019-00540-4 | por |
dc.subject.wos | Science & Technology | - |
sdum.export.identifier | 7595 | - |
sdum.journal | International Journal on Software Tools for Technology Transfer | por |
oaire.version | AM | por |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
sttt19.pdf | 1,07 MB | Adobe PDF | Ver/Abrir |