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\u2019s multitasking mechanisms, allowing critical software applications to be certified concerning its real-time and fault-tolerance properties.<\/p>\n\n\n\n
CooperatES was funded by the Portuguese Foundation for Science and Technology under grant POSI\/2001\/38932.<\/p>\n\n\n\n
The participation of ISEP in the project was led by members of the SoftCPS laboratory, working in replication of real-time components.<\/p>\n\n\n\n
Budget: 10 K\u20ac (Total), 5 K\u20ac (ISEP)<\/p>\n\n\n\n
Period: February 2002 to January 2004<\/p>\n\n\n\n