Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Sobre
Download foto HD

Sobre

Sou professor auxiliar no Departamento de Informática da Universidade do Minho, onde ensino regularmente disciplinas na área da programação e dos métodos formais para engenharia de software, e também membro do Laboratório de Software Confiável do INESC TEC. Nos últimos anos, a minha investigação tem-se focado na área dos métodos formais para engenhria de software, em particular no desenvolvimento de linguagens e ferramentas para modelação formal, incluindo técnicas de validação e verificação, e para transformação bidireccional de modelos. Recentemente comecei a investigar também na área da qualidade de software robótico, em particular software desenvolvido com o Robot Operating System.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Alcino Cunha
  • Cluster

    Informática
  • Cargo

    Coordenador de Centro
  • Desde

    01 novembro 2011
005
Publicações

2020

Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum

Autores
Cunha, A; Macedo, N;

Publicação
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

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

Publicação
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

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

Publicação
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

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

Publicação
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

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

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

Abstract

Teses
supervisionadas

2020

Lightweight Trustworthy High-level Software Design

Autor
Chong Liu

Instituição
UP-FCUP

2020

Safety Verification for ROS Applications

Autor
André Filipe Faria dos Santos

Instituição
UP-FCUP

2019

Lightweight Trustworthy High-level Software Design

Autor
Chong Liu

Instituição
INESCTEC

2019

Safety Verification for ROS Applications

Autor
André Filipe Faria dos Santos

Instituição
INESCTEC

2019

Towards model checking Electrum Specifications with LTSmin

Autor
Bruno Miguel Sousa Cancelinha

Instituição
UM