Abstract
The synthesis of a reactive system generates a set of concurrent tasks coordinated by an operating system. This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent tasks. A formal model based on Petri nets is used to synthesize the tasks. A practical application is illustrated by means of a real-life industrial example.
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
J. Buck. Scheduling dynamic dataflow graphs with bounded memory using the token flow model. PhD thesis, U. C. Berkeley, 1993.
J. Cortadella, A. Kondratyev, L. Lavagno, M. Massot, S. Moral, C. Passerone, Y. Watanabe, and A. Sangiovanni-Vincentelli. Task Generation and Compile-Time Scheduling for Mixed Data-Control Embedded Software. In Proceedings of the 37th Design Automation Conference, June 2000.
E. A. de Kock, G. Essink, W. J. M. Smits, P. van der Wolf, J.-Y. Brunel, W. M. Kruijtzer, P. Lieverse, and K. A. Vissers. YAPI: Application Modeling for Singal Processing Systems. In Proceedings of the 37 th Design Automation Conference, June 2000.
N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.
D. Har’el, H. Lachover, A. Naamad, A. Pnueli, et al. STATEMATE: a working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4), April 1990.
C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 66 Wood Lane End, Hemel Hempstead, Hertfordshire, HP2 4RG, UK, 1985.
G. Kahn. The semantics of a simple language for parallel programming. In Proceedings of IFIP Congress, August 1974.
H. Kopetz and G. Grunsteidl. TTP-A protocol for fault-tolerant real-time systems. IEEE Computer, 27(1), January 1994.
E. A. Lee and D. G. Messerschmitt. Static scheduling of synchronous data flow graphs for digital signal processing. IEEE Transactions on Computers, January 1987.
B. Lin. Software synthesis of process-based concurrent programs. In 35th ACM/IEEE Design Automation Conference, June 1998.
C. Passerone, Y. Watanabe, and L. Lavagno. Generation of minimal size code for schedule graphs. In Proceedings of the Design Automation and Test in Europe Conference, March 2001.
M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli. Synthesis of embedded software using free-choice Petri nets. In 36th ACM/IEEE Design Automation Conference, June 1999.
K. Strehl, L. Thiele, D. Ziegenbein, R. Ernst, and et al. Scheduling hardware/software systems using symbolic techniques. In International Workshop on Hardware/Software Codesign, 1999.
P. van der Wolf, P. Lieverse, M. Goel, D. L. Hei, and K. Vissers. An MPEG-2 Decoder Case Study as a Driver for a System Level Design Methodology. In Proceedings of the 7 th International Workshop on Hardware/Software Codesign, May 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cortadella, J., Kondratyev, A., Lavagno, L., Passerone, C., Watanabe, Y. (2002). Quasi-Static Scheduling of Independent Tasks for Reactive Systems. In: Esparza, J., Lakos, C. (eds) Application and Theory of Petri Nets 2002. ICATPN 2002. Lecture Notes in Computer Science, vol 2360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48068-4_7
Download citation
DOI: https://doi.org/10.1007/3-540-48068-4_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43787-1
Online ISBN: 978-3-540-48068-6
eBook Packages: Springer Book Archive