REliable and Safe Code execUtion for Embedded systems
This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems. (
read more.)
Project info
Supported by | FCT under contract PTDC/EIA/65862/2006 (161 KEuro) |
Start Date | January 2008 |
End Date | March 2011 |
Principal Contractor | Faculdade de Ciências (FC/UP) |
Participating Institutions | Universidade do Minho (UM), Universidade da Beira Interior (UBI), Instituto Superior de Engenharia do Porto (ISEP/IPP) |
Coordination | Simão Melo de Sousa (desousa(at)di(dot)ubi(dot)pt) (LIACC and DI/UBI) |
Phone | +351 275 319 891 |
Fax | +351 275 319 899 |
Este trabalho é financiado por Fundos FEDER através do Programa Operacional Factores de Competitividade – COMPETE e por Fundos Nacionais através da FCT – Fundação para a Ciência e a Tecnologia no âmbito do projecto FCOMP-01-0124-FEDER-007237.
This work is funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-007237.