This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
20th IEEE Real-Time Systems Symposium (RTSS'99)
A Framework for Scheduler Synthesis
Phoenix, Arizona
December 01-December 03
ISBN: 0-7695-0475-2
ASCII Text
x 
 
K. Altisen, G. Gößler, A. Pnueli, J. Sifakis, S. Tripakis, S. Yovine, "A Framework for Scheduler Synthesis," 2011 IEEE 32nd Real-Time Systems Symposium, pp. 154, 20th IEEE Real-Time Systems Symposium (RTSS'99), 1999.
 
 
BibTex
x
 
@article{ 10.1109/REAL.1999.818838,
author = {K. Altisen and G. Gößler and A. Pnueli and J. Sifakis and S. Tripakis and S. Yovine},
title = {A Framework for Scheduler Synthesis},
journal ={2011 IEEE 32nd Real-Time Systems Symposium},
volume = {0},
year = {1999},
issn = {1052-8725},
pages = {154},
doi = {http://doi.ieeecomputersociety.org/10.1109/REAL.1999.818838},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - 2011 IEEE 32nd Real-Time Systems Symposium
TI - A Framework for Scheduler Synthesis
SN - 1052-8725
SP
EP
A1 - K. Altisen,
A1 - G. Gößler,
A1 - A. Pnueli,
A1 - J. Sifakis,
A1 - S. Tripakis,
A1 - S. Yovine,
PY - 1999
KW - real-time systems
KW - scheduler synthesis
KW - timed petri nets
KW - timed automata
VL - 0
JA - 2011 IEEE 32nd Real-Time Systems Symposium
ER -
 
K. Altisen, Verimag Center
G. Gößler, Verimag Center
A. Pnueli, Verimag Center
J. Sifakis, Verimag Center
S. Tripakis, Verimag Center
S. Yovine, Verimag Center
In this paper we present a framework integrating specification and scheduler generation for real-time systems. In a first step, the system, which can include arbitrarily designed tasks (cyclic or sporadic, with or without precedence constraints, any number of resources and CPUs) is specified as a timed Petri-net. In a second step, our tool generates the most general non-preemptive online scheduler for the specification, using a controller synthesis technique.
Index Terms:
real-time systems, scheduler synthesis, timed petri nets, timed automata
Citation:
K. Altisen, G. Gößler, A. Pnueli, J. Sifakis, S. Tripakis, S. Yovine, "A Framework for Scheduler Synthesis," rtss, pp.154, 20th IEEE Real-Time Systems Symposium (RTSS'99), 1999
Usage of this product signifies your acceptance of the Terms of Use.