Modelling and Analysis of Dynamic-Priority Real-Time Systems
|Title||Modelling and Analysis of Dynamic-Priority Real-Time Systems|
|Publication Type||Conference Paper|
|Year of Publication||2006|
|Authors||Cicirelli, F, Furfaro, A, Nigro, L, Pupo, F|
|Conference Name||Proc. of Summer Computer Simulation Conference (SCSC'06)|
|Conference Location||Calgary, Canada|
This paper proposes a modelling language and support tool for the expression of dynamic-priority real-time systems and their schedulability analysis according to the earliest deadline first strategy. The modelling language is a variation of the Preemptive Time Petri Nets formalism originally developed for fixed-priority real-time systems. The prototype implementation rests on Uppaal Timed Automata. Task preemptions are dealt with through a discrete time model. The realization was inspired by the needs arising in the context of a software engineering for real-time systems undergraduate course. The paper describes the proposed approach and shows its practical use through examples.