IPP HurrayISEPCISTER
HomeResearch AreasProjectsPhD StudiesPublicationsPeopleInfo & ContactsISEPFCT
Join Us!
Candid Camera
Enjoy Porto!
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Login
Home | Projects - Fundamental Research (Past)

TERRA

Transparent Environment for Replicated Ravenscar Applications
POSI/2001/38932
2 years
Partners:FCT

Summary:The Ada 95 programming language is widely used in the areas of critical hard real-time systems. Nevertheless, its tasking mechanisms are considered to be too complex to be analysed, thus difficult to be certified. The specification of the Ada 95 Ravenscar profile, defining a subset for the language’s multitasking mechanisms, allows critical software applications to be certified concerning its real-time and fault-tolerance properties. Nevertheless, in the presence of software replication, and consequent distribution further studies are still necessary. It is necessary to develop mechanisms to transparently support replication, and also the necessary schedulability analysis techniques to prove its real-time and fault-tolerance properties.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journals
Replication Management in Reliable Real-Time Systems HURRAY-TR-0206 
Luis Miguel Pinho, Francisco Vasques, Andy Wellings (Mar 2002)
ABSTRACT | PDF
Published in the Kluwer Journal of Real-Time Systems, 26, 261-296, April 2004.
Conferences and Workshops
Transparent Environment for Replicated Ravenscar Applications HURRAY-TR-0204 
Luis Miguel Pinho, Francisco Vasques (Jan 2002)
ABSTRACT
7th International Conference on Reliable Software Technologies - Ada-Europe 2002, Vienna, Austria, June, 2002. Lecture Notes in Computer Science, nº 2361, Springer, pp. 297-308.
Using Ravenscar to Support Fault-Tolerant Real-Time Applications HURRAY-TR-0203 
Luis Miguel Pinho, Francisco Vasques (Jan 2002)
ABSTRACT
In 11th International Real-Time Ada Workshop, Mt. Tremblant, Quebec, Canada, April 2002. ACM Ada Letters, Volume XXII, Number 4,Dec 2002, pp. 47-52.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .