Abstract
This paper introduces two new mathematical modelingparadigms called Periodic Linear Programming and Periodic Quantified Linear Programming. The former is an extension of traditional Linear Programming, whereas the latter extends Quantified Linear Programming. We use these tools to capture the specifications of real-time embedded systems, which are characterized by uncertainty, complex timing constraints and periodicity. The strength of the modeling techniques lies in the ease with which these specifications can be represented and analyzed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ancilloti, P., Buttazo, G., Di Natale, M., Mok, A.K.: Tracs: A flexible real-time environment for traffic control systems. In: Proceedings IEEE Workshop on Real-Time Applications, May 1993, pp. 50–53 (1993)
Chandru, V., Rao, M.R.: Linear programming. In: Algorithms and Theory of Computation Handbook, CRC Press, Boca Raton (1999)
Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms, 2nd edn. MIT Press/McGraw-Hill Book Company, Boston/Massachusetts (1992)
Istratescu, V.I.: Introduction to Linear Operator theory. Marcel Dekker Inc., New York (1981)
Pinedo, M.: Scheduling: theory, algorithms, and systems. Prentice-Hall, Englewood Cliffs (1995)
Schrijver, A.: Theory of Linear and Integer Programming. John Wiley and Sons, New York (1987)
Subramani, K.: A specification framework for real-time scheduling. In: Grosky, W.I., Plášil, F. (eds.) SOFSEM 2002. LNCS, vol. 2540, pp. 195–207. Springer, Heidelberg (2002)
Subramani, K.: An analysis of quantified linear programs. In: Calude, C.S., Dinneen, M.J., Vajnovszki, V., et al. (eds.) DMTCS 2003. LNCS, vol. 2731, pp. 265–277. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Subramani, K. (2004). Zero-Clairvoyant Scheduling with Inter-period Constraints. In: Maher, M.J. (eds) Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making. ASIAN 2004. Lecture Notes in Computer Science, vol 3321. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30502-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-30502-6_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24087-7
Online ISBN: 978-3-540-30502-6
eBook Packages: Computer ScienceComputer Science (R0)