Abstract
Often real-time embedded software is specified as a set of interacting tasks that have local deadlines on subtasks and global deadlines on each task. Currently available scheduling algorithms guarantee only a single level of deadlines, either all local or all global, but not both. We propose a quasi-dynamic scheduling algorithm for simultaneously guaranteeing both types of deadlines, while satisfying all precedence constraints among subtasks and among tasks. Through this scheduling procedure, we are able to formally synthesize real-time embedded software from a network of Periodic Time Petri Nets specification. Application examples, including a driver for the Master/Slave role switch in Bluetooth wireless communication devices, are given to illustrate the feasibility of the scheduling algorithm.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Altisen, K., Gössler, G., Pneuli, A., Sifakis, J., Tripakis, S., Yovine, S.: A framework for scheduler synthesis. In: Real-Time System Symposium (RTSS 1999). IEEE Computer Society Press, Los Alamitos (1999)
Balarin, F., Chiodo, M.: Software synthesis for complex reactive embedded systems. In: Proc. of International Conference on Computer Design (ICCD 1999), October 1999, pp. 634–639. IEEE CS Press, Los Alamitos (1999)
Balarin, F., et al.: Hardware-software Co-design of Embedded Systems: The POLIS approach. Kluwer Academic Publishers, Dordrecht (1997)
Bray, J., Sturman, C.F.: Bluetooth: Connect Without Cables. Prentice Hall, Englewood Cliffs (2001)
Fu, J.-M., Lee, T.-Y., Hsiung, P.-A., Chen, S.-J.: Hardware-software timing coverification of distributed embedded systems. IEICE Trans. on Information and Systems E83-D(9), 1731–1740 (2000)
Gau, C.-H., Hsiung, P.-A.: Time-memory scheduling and code generation of real-time embedded software. In: Proc. of the 8th International Conference on Real-Time Computing Systems and Applications (RTCSA 2002), Tokyo, Japan, March 2002, pp. 19–27 (2002)
Hsiung, P.-A.: Timing coverification of concurrent embedded real-time systems. In: Proc. of the 7th IEEE/ACM International Workshop on Hardware Software Codesign (CODES 1999), pp. 110–114. ACM Press, New York (1999)
Hsiung, P.-A.: Embedded software verification in hardware-software codesign. Journal of Systems Architecture — the Euromicro Journal 46(15), 1435–1450 (2000)
Hsiung, P.-A.: Hardware-software timing coverification of concurrent embedded real-time systems. IEE Proceedings—Computers and Digital Techniques 147(2), 81–90 (2000)
Hsiung, P.-A.: Synthesis of parametric embedded real-time systems. In: Proc. of the International Computer Symposium (ICS 2000), Workshop on Computer Architecture, December 2000, pp. 144–151 (2000); ISBN 957-02- 7308-9
Hsiung, P.-A.: Formal synthesis and code generation of embedded real-time software. In: Proc. of the 9th ACM/IEEE International Symposium on Hardware Software Codesign (CODES 2001), Copenhagen, Denmark, pp. 208–213. ACM Press, New York (2001)
Hsiung, P.-A.: Formal synthesis and control of soft embedded real-time systems. In: Proc. of IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), pp. 35–50. Kluwer Academic Publishers, Dordrecht (2001)
Hsiung, P.-A., Gau, C.-H.: Formal synthesis of real-time embedded software by timememory scheduling of colored time Petri nets. In: Proc. of the Workshop on Theory and Practice of Timed Systems (TPTS 2002), Grenoble, France. Electronic Notes in Theoretical Computer Science, ENTCS (April 2002)
Hsiung, P.-A., Lee, T.-Y., Su, F.-S.: Formal synthesis and code generation of real-time embedded software using timed quasi-static scheduling. In: Proc. of the 9th Asia-Pacific Software Engineering Conference (APSEC), pp. 395–404. IEEE CS Press, Los Alamitos (2002)
Lin, B.: Efficient compilation of process-based concurrent programs without run-time scheduling. In: Proc. of Design Automation and Test Europe (DATE 1998), pp. 211–217. ACM Press, New York (1997)
Lin, B.: Software synthesis of process-based concurrent programs. In: Proc. of Design Automation Conference (DAC 1998), pp. 502–505. ACM Press, New York (1998)
Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 229–242. Springer, Heidelberg (1995)
Merlin, P., Bochman, G.V.: On the construction of submodule specifications and communication protocols. ACM Trans. on Programming Languages and Systems 5(1), 1–75 (1983)
See, W.-B., Hsiung, P.-A., Lee, T.-Y., Chen, S.-J.: Modular mobile dispatching system (MMDS) and logistics. In: Proc. of the 2002 Annual Conference on National Defense Integrated Logistics Support (ILS), August 2002, pp. 365–371 (2002)
Sgroi, M., Lavagno, L., Watanabe, Y., Sangiovanni-Vincentelli, A.: Synthesis of embedded software using free-choice Petri nets. In: Proc. Design Automation Conference (DAC 1999). ACM Press, New York (1999)
Su, F.-S., Hsiung, P.-A.: Extended quasi-static scheduling for formal synthesis and code generation of embedded software. In: Proc. of the 10th IEEE/ACM International Symposium on Hardware/Software Codesign (CODES 2002), Colorado, USA, pp. 211–216. ACM Press, New York (2002)
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
Hsiung, PA., Lin, CY., Lee, TY. (2004). Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines. In: Chen, J., Hong, S. (eds) Real-Time and Embedded Computing Systems and Applications. RTCSA 2003. Lecture Notes in Computer Science, vol 2968. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24686-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-24686-2_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21974-3
Online ISBN: 978-3-540-24686-2
eBook Packages: Springer Book Archive