Conference article

Object-oriented simulation of preemptive feedback process schedulers

Martina Maggio
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy

Alberto Leva
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy

Download article

Published in: Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009

Linköping Electronic Conference Proceedings 43:71, s. 622-630

Show more +

Published: 2009-12-29

ISBN: 978-91-7393-513-5

ISSN: 1650-3686 (print), 1650-3740 (online)


Based on recent research; very simple discrete-time control structures can be used to synthesise preemptive process schedulers for multitasking systems within a rigorous system-theoretical formalism. Doing so virtually eliminates any heuristics; and allows for a methodologically grounded analysis and assessment of the achieved performances. This paper introduces a Modelica library for the above purpose; at present still under development; and illustrates its use with some tests.


Feedback scheduling; Multitasking systems; Preemptive systems


[1] T.F. Abdelzaher; J.A. Stankovic; C. Lu; R. Zhang; and Y. Lu. Feedback performance control in software services. IEEE Control Systems Magazine; 23; 2003.

[2] Luca Abeni; Luigi Palopoli; Giuseppe Lipari; and Jonathan Walpole. Analysis of a reservation-based feedback scheduler. In Real-Time Systems Symposium; 2002. RTSS 2002. 23rd IEEE; pages 71–80; 2002.

[3] Ashvin Goel; Molly H. Shor; Jonathan Walpole; David Steere; and Calton Pu. Using feedback control for a network and cpu resource management application. In Proceedings of the 2001 American Control Conference; volume 4; pages 2974–2980; Arlington; VA; USA; 2001.

[4] J.L. Hellerstein; Y. Diao; S. Parekh; and D.M. Tilbury. Feedback Control of Computing Systems. Wiley; September 2004.

[5] J.C. Palencia and M. González Harbour. Schedulability analysis for tasks with static and dynamic offsets. In In Proceedings of the 19th IEEE Real-Time Systems Symposium; pages 26–37; 1998.

[6] M. Pinedo. Scheduling Theory; Algorithms; and Systems. Springer; third edition edition; July 2008.

[7] O.H. Roux and A.M. Déplanche. A t-time petri net extension for real time-task scheduling modeling. European Journal of Automation; 36; 2002.

[8] David C. Steere; Molly H. Shor; Ashvin Goel; Jonathan Walpole; and Calton Pu. Control and modeling issues in computer operating systems: resource management for real-rate computer applications. In Proceedings of the 39th IEEE Conference on Decision and Control; volume 3; pages 2212–2221; Sydney; NSW; Australia; 2000.

[9] F. Wagner; L. Liu; and G. Frey. Simulation of distributed automation systems in modelica. In Proceedings of the 6th International Modelica Conference; Bielefeld; Germany; 2008.

Citations in Crossref