17 search results - page 3 / 4 » adaeurope 2005 |
123
Voted
ADAEUROPE
2005
Springer
15 years 10 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...
134
Voted
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
185
Voted
ADAEUROPE
2005
Springer
15 years 10 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...
138
Voted
ADAEUROPE
2005
Springer
15 years 10 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...
149
Voted
ADAEUROPE
2005
Springer
15 years 10 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...