DocumentCode
3382460
Title
Predicting timeliness of reactive systems under flexible scheduling
Author
Bucci, Giacomo ; Fedeli, Andrea ; Vicario, Enrico
Author_Institution
Dipt. di Sistemi e Inf., Firenze Univ., Italy
fYear
2003
fDate
9-11 April 2003
Firstpage
125
Lastpage
130
Abstract
A modeling and validation approach extending the formalism of timed Petri nets (TPN) 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.
Keywords
Petri nets; real-time systems; scheduling; state-space methods; AdaptiveTPNs; TPN; exhaustive prediction; flexible scheduling; loading conditions; modeling; reactive systems; real time systems; state space analysis; timed Petri nets; timeliness prediction; validation; Degradation; Kernel; Petri nets; Predictive models; Processor scheduling; Quality of service; Real time systems; Springs; State-space methods; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Autonomous Decentralized Systems, 2003. ISADS 2003. The Sixth International Symposium on
Print_ISBN
0-7695-1876-1
Type
conf
DOI
10.1109/ISADS.2003.1193940
Filename
1193940
Link To Document