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
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;
Conference_Titel :
Autonomous Decentralized Systems, 2003. ISADS 2003. The Sixth International Symposium on
Print_ISBN :
0-7695-1876-1
DOI :
10.1109/ISADS.2003.1193940
