TERRA
Transparent Environment for Replicated Ravenscar Applications
POSI/2001/38932 2 years (Feb 2002 to Jan 2004) | |
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. |
Funding: | Global: 5KEUR, CISTER: 5KEUR |
Sponsors: | |
Contact Person at CISTER: | Luis Miguel Pinho |
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
Replication Management in Reliable Real-Time Systems HURRAY-TR-0206
Luis Miguel Pinho, Francisco Vasques, Andy WellingsKluwer Journal of Real-Time Systems, Kluwer Academic Publishers. 1, Apr, 2004, Volume 26, Issue 3, pp 261-296.
Luis Miguel Pinho, Francisco Vasques, Andy WellingsKluwer Journal of Real-Time Systems, Kluwer Academic Publishers. 1, Apr, 2004, Volume 26, Issue 3, pp 261-296.
Conference or Workshop Papers/Talks
Transparent Environment for Replicated Ravenscar Applications HURRAY-TR-0204
Luis Miguel Pinho, Francisco Vasques7th International Conference on Reliable Software Technologies (Ada-Europe 2002), Springer Berlin Heidelberg. 17, Jun, 2002, pp 297-308. Vienna, Austria.Lecture Notes in Computer Science, nº 2361.
Luis Miguel Pinho, Francisco Vasques7th International Conference on Reliable Software Technologies (Ada-Europe 2002), Springer Berlin Heidelberg. 17, Jun, 2002, pp 297-308. Vienna, Austria.Lecture Notes in Computer Science, nº 2361.
Using Ravenscar to Support Fault-Tolerant Real-Time Applications HURRAY-TR-0203
Luis Miguel Pinho, Francisco Vasques11th International Real-Time Ada Workshop (IRTAW '02), ACM New York. 1, Apr, 2002, pp 47-52. Mt. Tremblant - Quebec, Canada.Also in ACM Ada Letters, Volume XXII, Number 4,Dec 2002, pp. 47-52.
Luis Miguel Pinho, Francisco Vasques11th International Real-Time Ada Workshop (IRTAW '02), ACM New York. 1, Apr, 2002, pp 47-52. Mt. Tremblant - Quebec, Canada.Also in ACM Ada Letters, Volume XXII, Number 4,Dec 2002, pp. 47-52.