An extended ravenscar profile for execution time control

Authors:
Kristoffer Nyborg Gregertsen
Affiliations:
Department of Applied Cybernetics, SINTEF ICT, Trondheim, Norway
Venue:
ACM SIGAda Ada Letters
Year:
2013

Citing 13
Cited 0

Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications

Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
Dual priority scheduling

RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Execution-time clocks and Ravenscar kernels

IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Guide for the use of the Ada Ravenscar Profile in high integrity systems

ACM SIGAda Ada Letters
Programming Execution-Time Servers in Ada 2005

RTSS '06 Proceedings of the 27th IEEE International Real-Time Systems Symposium
Implementing the new Ada 2005 real-time features on a bare board kernel

IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
The worst-case execution-time problem—overview of methods and survey of tools

ACM Transactions on Embedded Computing Systems (TECS)
Concurrent and Real-Time Programming in Ada

Concurrent and Real-Time Programming in Ada
A Real-Time Framework for Ada 2005 and the Ravenscar Profile

SEAA '09 Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications
Real-time utilities for Ada 2005

Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Implementing the new Ada 2005 timing event and execution time control features on the AVR32 architecture

Journal of Systems Architecture: the EUROMICRO Journal
An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller

Proceedings of the Conference on Design, Automation and Test in Europe
Improving the performance of execution time control by using a hardware time management unit

Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

This position paper argues that an "extended Ravenscar" profile supporting execution time control should be specified. The new profile should add sufficent tasking features to handle execution time overruns, while keeping most of the Ravenscar properties such as a static task set and efficient run-time environments.