TERRA main goal was to specify mechanisms to transparently support replication, and also the necessary schedulability analysis techniques to prove its real-time and fault-tolerance properties. The project targeted Ada 95, a programming language used in the areas of critical hard real-time systems. As Ada 95 tasking mechanisms were considered to be too complex to be analysed, thus difficult to be certified, the project considered the Ada 95 Ravenscar profile, a subset of the language’s multitasking mechanisms, allowing critical software applications to be certified concerning its real-time and fault-tolerance properties.
CooperatES was funded by the Portuguese Foundation for Science and Technology under grant POSI/2001/38932.
The participation of ISEP in the project was led by members of the SoftCPS laboratory, working in replication of real-time components.
Budget: 10 K€ (Total), 5 K€ (ISEP)
Period: February 2002 to January 2004
SoftCPS Responsible: Luis Miguel Pinho