Home HASLab News and Events News INESC TEC starts two more software engineering projects
Document Actions

INESC TEC starts two more software engineering projects

INESC TEC’s High-Assurance Software Laboratory (HASLab) started two new software engineering projects, TRUST and DaLí. The projects, which started on 19 and 20 September at the University of Minho, have secured a total of 250 thousand euros of funding.

The TRUST project (Designing High-Assurance Software using Alloy) aims to propose extensions and new tools for the Alloy, one of the most popular languages ​​for formal specification used in the software design phase. The goal with this project is to simplify the specification and validation of requirements in complex critical systems.

The TRUST is led by Alcino Cunha, co-coordinator of HASLab, and features as partners the Queen Mary University of London (EECS-QMUL), United Kingdom, and the Office National d'Etudes et de Recherches Aérospatiales (ONERA), France.

The goal with DaLí (Dynamic logic for hybrid systems: for a contract-oriented development methodology) is to develop complex systems for using and generating logics. The methodology focuses on hybrid systems such as, for example, computer systems dedicated to managing physical processes. It is led by Alexandre Madeira, postdoctoral researcher at HASLab. The University of Aveiro is also partner in this project.

The TRUST and DaLí are funded by the ERDF, through the Operational Programme for Competitiveness and Internationalisation (COMPETE 2020), and by National Funds, through the Portuguese funding agency Fundação para a Ciência e a Tecnologia (FCT).

The INESC TEC researchers mentioned in this news piece are associated with University of Minho and INESC TEC.

INESC TEC, September 2016



HASLab +351 22 209 4000