Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About
Download Photo HD

About

I am assistant professor at the Department of Informatics of Universidade do Minho, where I regularly teach courses on programming and formal methods for software engineering, and also a member of the High-Assurance Software Laboratory of INESC TEC. In recent years, my research is focused on the topic of formal methods for software engineering, namely developing new languages and tools for formal modeling, including validatiom and verificaiton, and for bidirectional model transformation. Recently, I've also started to research the topic of robotic software quality, in particular software developed for the Robot Operating System.

Interest
Topics
Details

Details

  • Name

    Alcino Cunha
  • Cluster

    Computer Science
  • Role

    Centre Coordinator
  • Since

    01st November 2011
005
Publications

2020

Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum

Authors
Cunha, A; Macedo, N;

Publication
International Journal on Software Tools for Technology Transfer

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. © 2019, Springer-Verlag GmbH Germany, part of Springer Nature.

2020

Validating Multiple Variants of an Automotive Light System with Electrum

Authors
Cunha, A; Macedo, N; Liu, C;

Publication
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Abstract

2020

Experiences on Teaching Alloy with an Automated Assessment Platform

Authors
Macedo, N; Cunha, A; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR; Ramalho, MS; Silva, DC;

Publication
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Abstract

2020

Merging Cloned Alloy Models with Colorful Refactorings

Authors
Liu, C; Macedo, N; Cunha, A;

Publication
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

Abstract

2020

Verification of system-wide safety properties of ROS applications

Authors
Carvalho, R; Cunha, A; Macedo, N; Santos, A;

Publication
IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021

Abstract

Supervised
thesis

2020

Lightweight Trustworthy High-level Software Design

Author
Chong Liu

Institution
UP-FCUP

2020

Safety Verification for ROS Applications

Author
André Filipe Faria dos Santos

Institution
UP-FCUP

2019

Safety Verification for ROS Applications

Author
André Filipe Faria dos Santos

Institution
INESCTEC

2019

Towards model checking Electrum Specifications with LTSmin

Author
Bruno Miguel Sousa Cancelinha

Institution
UM

2019

Lightweight Trustworthy High-level Software Design

Author
Chong Liu

Institution
INESCTEC