Restricted tasking models

Authors:
A. Burns;A. J. Wellings
Affiliations:
Real-Time Systems Research Group, Department of Computer Science, University of York, UK;Real-Time Systems Research Group, Department of Computer Science, University of York, UK
Venue:
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Year:
1997

Citing 4
Cited 5

Preemptive priority-based scheduling: an appropriate engineering approach

Advances in real-time systems
Synchronous sessions and fixed priority scheduling

Journal of Systems Architecture: the EUROMICRO Journal
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Ada 95: An Effective Concurrent Programming Language

Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies

Ada experience report for BlazeNet, Inc.

Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Defining New Non-preemptive Dispatching and Locking Policies for Ada

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Schedulability analysis with UML

UML for real
Guide for the use of the Ada Ravenscar Profile in high integrity systems

ACM SIGAda Ada Letters
Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption

Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

High-integrity systems rarely make use of high-level language features such as Ada tasking. In this paper, simple language profiles (of Ada 95 concurrency features) are developed that are appropriate for various levels of integrity. A level-0 model (collection of Ada95 features) defines a minimal language profile and delivers deterministic (non-preemptive) behaviour. Scheduling is undertaken as part of the application and can thus be inspected and verified. Five other models are also presented that give different levels of expressive power. The motivation for this paper is to try and define models that would become de facto standards and that would be directly supported by kernel vendors and other tool suppliers.