loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
16th Euromicro Conference on Real-Time Systems (ECRTS'04)
Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems
Catania, Italy
June 30-July 02
ISBN: 0-7695-2176-2
ASCII Text
x 
 
N. Scaife, P. Caspi, "Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems," Real-Time Systems, Euromicro Conference on, pp. 119-126, 16th Euromicro Conference on Real-Time Systems (ECRTS'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/EMRTS.2004.1311013,
author = {N. Scaife and P. Caspi},
title = {Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems},
journal ={Real-Time Systems, Euromicro Conference on},
volume = {0},
year = {2004},
issn = {1068-3070},
pages = {119-126},
doi = {http://doi.ieeecomputersociety.org/10.1109/EMRTS.2004.1311013},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Real-Time Systems, Euromicro Conference on
TI - Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems
SN - 1068-3070
SP119
EP126
A1 - N. Scaife,
A1 - P. Caspi,
PY - 2004
KW - model-based design
KW - synchrony
KW - fixed priority
KW - preemptive scheduling
KW - wait-free communication
KW - double buffers
VL - 0
JA - Real-Time Systems, Euromicro Conference on
ER -
 
N. Scaife, Verimag
P. Caspi, Verimag
Model-based design is advocated as the method of choice when dealing with critical systems as well as high quality systems. However, it often abstracts implementation details such as execution times. This can be a problem when dealing with urgent events whose implementation requires preemptive scheduling. In this paper, we propose an inter-task communication mechanism on top of a fixed-priority deadline monotonic preemptive execution scheme, which preserves the ordering of computations validated in a "zero-time" synchronous framework, and formally show its correctness.
Index Terms:
model-based design, synchrony, fixed priority, preemptive scheduling, wait-free communication, double buffers
Citation:
N. Scaife, P. Caspi, "Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems," ecrts, pp.119-126, 16th Euromicro Conference on Real-Time Systems (ECRTS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.