ADAEUROPE
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...
ADAEUROPE
2005
Springer
14 years 6 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
ADAEUROPE
2005
Springer
14 years 6 months ago
2005
Springer
Teleoperated robots are used to perform hazardous tasks that human operators cannot carry out. The purpose of this paper is to present a new architecture (ACROSET) for the developm...
ADAEUROPE
2005
Springer
14 years 6 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
ADAEUROPE
2005
Springer
14 years 6 months ago
2005
Springer
One of the most important object-oriented features of the
ADAEUROPE
2005
Springer
14 years 6 months ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
ADAEUROPE
2005
Springer
14 years 6 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
ADAEUROPE
2005
Springer
14 years 6 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
ADAEUROPE
2005
Springer
14 years 6 months ago
2005
Springer
ADAEUROPE
2005
Springer
14 years 6 months ago
2005
Springer
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...