Category Past Project
FERROVIA 4.0
National project (POCI-01-0247-FEDER-046111).
Transparent Environment for Replicated Ravenscar Applications (TERRA)
National project (POSI/2001/38932).
Methodologies and Tools for Developing Complex Real-Time Embedded Systems (MethoDES)
National project (POSI/2001/37334).
Reflect-Reflection Mechanisms in Real-Time Embedded Systems
National funded project (POSC/EIA/60797/2004).
QoS-Aware Cooperative Embedded Systems (CooperatES)
National funded project (PTDC/EIA/71624/2006).
REliable and Safe Code execUtion for Embedded systems (RESCUE)
National funded project (FCOMP-01-0124-FEDER-007237).
Embedded iNtelligent COntrols for bUildings with Renewable generAtion and storaGE (ENCOURAGE)
Artemis Joint Undertaking grant agreement 269354.
Analysis and Verification of Concurrent Critical Programs (AVIACC)
National funded project (FCOMP-01-0124-FEDER-020486)
Platform for Smart Car to Car Content Delivery (CarCoDe)
ITEA2 Project number 11037.
Validation System for Critical Systems (V-SIS)
National project QREN – SI I&DT Nr. 38923. The technological and scientific evolution is not linear. Like a river that forms during a storm the evolution droplets accumulate up until when they gather sufficient momentum to create a torrent or…