Martina Maggio
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
Alberto Leva
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
Ladda ner artikel
http://dx.doi.org/10.3384/ecp09430033Ingår i: Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009
Linköping Electronic Conference Proceedings 43:71, s. 622-630
Publicerad: 2009-12-29
ISBN: 978-91-7393-513-5
ISSN: 1650-3686 (tryckt), 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.
[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.
