Investigating the usability of real-time scheduling theory with the Cheddar project

This article deals with real-time critical systems modelling and verification. Real-time scheduling theory provides algebraic methods and algorithms in order to make timing constraints verifications of these systems. Nevertheless, many industrial projects do not perform analysis with real-time sched...

Full description

Saved in:
Bibliographic Details
Published in:Real-time systems 2009-11, Vol.43 (3), p.259-295
Main Authors: Singhoff, Frank, Plantec, Alain, Dissaux, Pierre, Legrand, Jérôme
Format: Article
Language:English
Subjects:
Algebra
Algorithms
Automobile industry
Automotive engineering
Autonomous
Avionics
Communications Engineering
Computer Science
Computer simulation
Computer Systems Organization and Communication Networks
Control
Industrial applications
Lectures
Mechatronics
Networks
Performance and Reliability
Production scheduling
Real time
Robotics
Scheduling
Special Purpose and Application-Based Systems
Usability
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This article deals with real-time critical systems modelling and verification. Real-time scheduling theory provides algebraic methods and algorithms in order to make timing constraints verifications of these systems. Nevertheless, many industrial projects do not perform analysis with real-time scheduling theory even if demand for use of this theory is large and the industrial application field is wide (avionics, aerospace, automotive, autonomous systems, …). The Cheddar project investigates why real-time scheduling theory is not used and how its usability can be increased. The project was launched at the University of Brest in 2002. In Lecture Notes on Computer Sciences, vol. 5026, pp. 240–253, 2008 , we have presented a short overview of this project. This article is an extended presentation of the Cheddar project, its contributions and also its ongoing works.
ISSN:0922-6443
1573-1383
DOI:10.1007/s11241-009-9072-y