loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Sixth International Symposium on Autonomous Decentralized Systems (ISADS'03)
Predicting Timeliness of Reactive Systems under Flexible Scheduling
Pisa, Italy
April 09-April 11
ISBN: 0-7695-1876-1
ASCII Text
x 
 
Giacomo Bucci, Andrea Fedeli, Enrico Vicario, "Predicting Timeliness of Reactive Systems under Flexible Scheduling," Autonomous Decentralized Systems, International Symposium on, pp. 125, The Sixth International Symposium on Autonomous Decentralized Systems (ISADS'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/ISADS.2003.1193940,
author = {Giacomo Bucci and Andrea Fedeli and Enrico Vicario},
title = {Predicting Timeliness of Reactive Systems under Flexible Scheduling},
journal ={Autonomous Decentralized Systems, International Symposium on},
volume = {0},
year = {2003},
isbn = {0-7695-1876-1},
pages = {125},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISADS.2003.1193940},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Autonomous Decentralized Systems, International Symposium on
TI - Predicting Timeliness of Reactive Systems under Flexible Scheduling
SN - 0-7695-1876-1
SP
EP
A1 - Giacomo Bucci,
A1 - Andrea Fedeli,
A1 - Enrico Vicario,
PY - 2003
KW - hard real time systems
KW - process scheduling
KW - flexible computation
KW - Petri nets
KW - timed behavior
KW - enumerative analysis
KW - validation
VL - 0
JA - Autonomous Decentralized Systems, International Symposium on
ER -
 
Giacomo Bucci, Università di Firenze
Andrea Fedeli, Università di Firenze
Enrico Vicario, Università di Firenze
A modeling and validation approach extending the formalism of Time Petri Nets for the analysis of real time systems with flexible scheduling capabilities is introduced. The new formalism is called AdaptiveTPNs. State space analysis of the model supports exhaustive prediction of the time needed to complete critical functions, and permits automatic identification of loading conditions which determine the reduction of the quality of produced results.
Index Terms:
hard real time systems, process scheduling, flexible computation, Petri nets, timed behavior, enumerative analysis,validation
Citation:
Giacomo Bucci, Andrea Fedeli, Enrico Vicario, "Predicting Timeliness of Reactive Systems under Flexible Scheduling," isads, pp.125, The Sixth International Symposium on Autonomous Decentralized Systems (ISADS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.