Using Ravenscar to support fault-tolerant real-time applications
Luís Miguel Pinho, Francisco Vasques · ACM SIGAda Ada Letters · 2002
Recently, a framework was proposed intended to support the development of replicated and distributed Ravenscar applications. This framework provides a transparent abstraction for application replication, allowing applications to be developed without considering replication and distribution issues. However, it is also necessary to assess if the Ravenscar profile is expressive enough for the implementation of this complex middleware. Therefore, this paper presents some conclusions that were drawn on the implementation of a prototype of the framework.