Martina Maggio
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
Alberto Leva
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
Download articlehttp://dx.doi.org/10.3384/ecp09430033Published in: Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009
Linköping Electronic Conference Proceedings 43:71, p. 622-630
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.