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 |
| Abstract | 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. |