HASLab - Indexed Articles in Journals

Permanent URI for this collection

http://localhost:4000/handle/123456789/167

Browse

Browsing HASLab - Indexed Articles in Journals by Author "5612"
  • Item
    Experiences on teaching alloy with an automated assessment platform
    ( 2021) Nuno Moreira Macedo ; Alcino Cunha ; Hugo Pereira Pacheco ; Carvalho,R ; Silva,R ; Ana Cristina Paiva ; Ramalho,MS ; Silva,D ; 5625 ; 5647 ; 5612 ; 6073
  • Item
    Merging Cloned Alloy Models with Colorful Refactorings
    ( 2022) Liu,C ; Nuno Moreira Macedo ; Alcino Cunha ; 5612 ; 5625
  • Item
    Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
    ( 2019) Nuno Moreira Macedo ; Alcino Cunha ; 5625 ; 5612
    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. © 2019, Springer-Verlag GmbH Germany, part of Springer Nature.