Abstract
We consider a model of reactive real-time systems in which tasks are enabled in reaction to external events or executions of other tasks, and enabled tasks are scheduled according to a fixed priority policy. For such a model, we propose a schedule validation method. The method is applicable to a class of priority assignments that require less total processor time than assignments that could be validated by previous methods. The method is safe in the sense that if it validates a system, then it is guaranteed that no timing violations occur. However, it is conservative, in the sense that it may not be able to validate some correct systems. Based on this method, we also propose a priority assignment algorithm. The algorithm is optimal in the sense that if an assignment that satisfies the proposed schedule validation method exists, the algorithm will find it.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
N. C. Audsley. Optimal priority assignement and feasibility of static priority tasks with arbitrary start times. Technical report, University of York, England, 1991.
Neil C. Audsley, Alan Burns, M. Richardson, Ken W. Tindell, and Andy J. Wellings. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal, pages 284–292, September 1993.
Neil C. Audsley, Ken W. Tindell, and Alan Burns. The end of the line for static cyclic scheduling? In Proceedings of the 5th Euromicro Workshop on Real-Time Systems, pages 36–41, Oulu, Finland, 1993.
Felice Balarin et al. Hardware-software co-design of embedded systems: the POLIS approach. Kluwer Academic Publishers, 1997.
Felice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, and Alberto Sangiovanni-Vincentelli. Formal verification of embedded systems based on CFSM networks. In Proceedings of the 33th ACM/IEEE Design Automation Conference, pages 568–571, June 1996.
Felice Balarin and Alberto Sangiovanni-Vincentelli. Schedule validation for embedded reactive real-time systems. In Proceedings of the 34th ACM/IEEE Design Automation Conference, June 1997.
C. L. Liu and James W. Layland. Scheduling algorithms for multiprogramming in a hard-realtime environment. Journal of the Association for Computing Machinery, 20(1):46–61, January 1973.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Balarin, F. (1998). Priority assignment for embedded reactive real-time systems. In: Mueller, F., Bestavros, A. (eds) Languages, Compilers, and Tools for Embedded Systems. LCTES 1998. Lecture Notes in Computer Science, vol 1474. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057787
Download citation
DOI: https://doi.org/10.1007/BFb0057787
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65075-1
Online ISBN: 978-3-540-49673-1
eBook Packages: Springer Book Archive