Abstract. This paper proposes an environment intended for the development of fault-tolerant real-time Ada 95 applications conforming to the Ravenscar profile. This environment is based on the transparent replication of application components, and it provides a set of generic task interaction objects, which are used as the basic building blocks of the supported applications. These objects provide the usual task interaction mechanisms used in hard real-time applications, and allow applications to be developed without considering replication and distribution issues.
We promote a model-driven software development that centres on component-orientation. In keeping wit...
Abstract The communication and tasking infrastructure of a real-time application makes up a signific...
iAbstract This thesis discusses replication of non–deterministic objects in distributed systems to a...
Abstract: The Ravenscar Profile defines a simple subset of the tasking features of Ada in order to s...
In this paper we present a project to provide fault tolerance in distributed Ada 95 application by m...
This paper presents an architecture (Multi-μ) being implemented to study and develop software based...
The Ravenscar profile defines a subset of Ada tasking that can be statically analysable for real-tim...
There is increasing recognition that the software components of critical real-time applications must...
In this paper we present the foundations of Rapids ("Replicated Ada Partitions In Distributed System...
Three qualities are especially required of modern programming languages: (i) not to get in the way; ...
Experience has shown that the current software engineer-ing practice is inadequate for producing err...
Three qualities are especially required of modern programming languages: (i) not to get in the way; ...
Abstract—Atomic actions are an important dynamic structuring technique that aid the construction of ...
In this paper we present the rationale, the status and the planned enhancement of a set of code arch...
The Ravenscar Profile is a restricted tasking profile that supports applications requiring separate ...
We promote a model-driven software development that centres on component-orientation. In keeping wit...
Abstract The communication and tasking infrastructure of a real-time application makes up a signific...
iAbstract This thesis discusses replication of non–deterministic objects in distributed systems to a...
Abstract: The Ravenscar Profile defines a simple subset of the tasking features of Ada in order to s...
In this paper we present a project to provide fault tolerance in distributed Ada 95 application by m...
This paper presents an architecture (Multi-μ) being implemented to study and develop software based...
The Ravenscar profile defines a subset of Ada tasking that can be statically analysable for real-tim...
There is increasing recognition that the software components of critical real-time applications must...
In this paper we present the foundations of Rapids ("Replicated Ada Partitions In Distributed System...
Three qualities are especially required of modern programming languages: (i) not to get in the way; ...
Experience has shown that the current software engineer-ing practice is inadequate for producing err...
Three qualities are especially required of modern programming languages: (i) not to get in the way; ...
Abstract—Atomic actions are an important dynamic structuring technique that aid the construction of ...
In this paper we present the rationale, the status and the planned enhancement of a set of code arch...
The Ravenscar Profile is a restricted tasking profile that supports applications requiring separate ...
We promote a model-driven software development that centres on component-orientation. In keeping wit...
Abstract The communication and tasking infrastructure of a real-time application makes up a signific...
iAbstract This thesis discusses replication of non–deterministic objects in distributed systems to a...