Modelling and Analysis of Dynamic-Priority Real-Time Systems

TitleModelling and Analysis of Dynamic-Priority Real-Time Systems
Publication TypeConference Paper
Year of Publication2006
AuthorsCicirelli, F, Furfaro, A, Nigro, L, Pupo, F
Conference NameProc. of Summer Computer Simulation Conference (SCSC'06)
Conference LocationCalgary, 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.