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