Formal synthesis and code generation of real-time embedded software using time-extended quasi-static scheduling

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2002-January, Issue , 2002, Pages 395-404

  Hsiung, Pao Ann ^a   Lee, Trong Yen ^b   Su, Feng Shi ^a  

^a NATIONAL CHUNG CHENG UNIVERSITY   (Taiwan)

^b NATIONAL TAIPEI UNIVERSITY OF TECHNOLOGY   (Taiwan)

Author keywords

Communication switching; Design automation; Embedded software; Embedded system; Master slave; Memory management; Petri nets; Real time systems; Switches; Time factors

Indexed keywords

COMPUTER AIDED DESIGN; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; ENGINEERING RESEARCH; INTERACTIVE COMPUTER SYSTEMS; PETRI NETS; SCHEDULING; SOFTWARE ENGINEERING; SWITCHES; SYNTHESIS (CHEMICAL); TIME SWITCHES; WIRELESS TELECOMMUNICATION SYSTEMS;

COMMUNICATION SWITCHING; DESIGN AUTOMATIONS; MASTER SLAVE; MEMORY MANAGEMENT; TIME FACTORS;

REAL TIME SYSTEMS;

EID: 1142283517     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2002.1183009     Document Type: Conference Paper

References (21)

1. K. Altisen, G. Gössler, A. Pneuli, J. Sifakis, S. Tripakis, and S. Yovine. A framework for scheduler synthesis. In Real-Time System Symposium (RTSS'69). IEEE Computer Society Press, 1999.
2. F. Balarin and M. Chiodo. In Proc. of International Conference on Computer Design (ICCD'29), pages 634-639. IEEE CS Press, October 1999.
3. F. Balarin and et al. Hardware-software Co-design of Embedded Systems: the POLIS approach. Kluwer Academic Publishers, 1997.
4. J. Bray and C. F. Sturman. Bluetooth: Connect Without Cables. Prentice Hall, 2001.
5. J.-M. Fu, T.-Y. Lee, P.-A. Hsiung, and S.-J. Chen. Hardware-software timing coverification of distributed embedded systems. IEICE Trans. on Information and Systems, E83-D(9):1731-1740, September 2000.
6. C.-H. Gau and P.-A. Hsiung. 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'02, Tokyo, Japan), pages 19-27, March 2002.
7. H. A. Hansson, H. W. Lawson, M. Stromberg, and S. Larsson. BASEMENT: A distributed real-time architecture for vehicle applications. Real-Time Systems, 11(3):223-244, 1996.
8. P.-A. Hsiung. Timing coverification of concurrent embedded real-time systems. In Proc. of the 7th IEEE/ACM International Workshop on Hardware Software Codesign (CODES'99), pages 110-114. ACM Press, May 1999.
9. P.-A. Hsiung. Embedded software verification in hardware-software codesign. Journal of Systems Architecture - the Euromicro Journal, 46(15):1435-1450, December 2000.
10. P.-A. Hsiung. Hardware-software timing coverification of concurrent embedded real-time systems. IEE Proceedings - Computers and Digital Techniques, 147(2):81-90, March 2000.
11. P.-A. Hsiung. Synthesis of parametric embedded real-time systems. In Proc. of the International Computer Symposium (ICS'00), Workshop on Computer Architecture (ISBN 957-02-7308-9), pages 144-151, December 2000.
12. P.-A. Hsiung. Formalsynthesis and code generation of embedded real-time software. In Proc. of the 9th ACM/IEEE International Symposium on Hardware Software Codesign (CODES'01, Copenhagen, Denmark), pages 208-213. ACM Press, April 2001.
13. P.-A. Hsiung. Formalsynthesis and controlof soft embedded real-time systems. In Proc. of IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01), pages 35-50. Kluwer Academic Publishers, August 2001.
14. P.-A. Hsiung and C.-H. Gau. Formalsynthesis of real-time embedded software by time-memory 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.
15. B. Lin. Efficient compilation of process-based concurrent programs without run-time scheduling. In Proc. of Design Automation and Test Europe (DATE'98), pages 211-217. ACM Press, February 1997.
16. B. Lin. Software synthesis of process-based concurrent programs. In Proc. of Design Automation Conference (DAC'98), pages 502-505. ACM Press, June 1998.
17. C. Liu and J. Laylang. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the Association for Computing Machinery, 20(1):46-61, January 1973.
18. O. Maler, A. Pnueli, and J. Slfakis. On the synthesis of discrete controllers for timed systems. In 22th Annual Symposium on Theoretical Aspects of Computer Scoence (CTACS'95), volume 980, pages 229-242. Lecture Notes in Computer Science, Springer Verlag, March 1995.
19. P. Merlin and G. Bochman. On the construction of submodule specifications and communication protocols. ACM Wrans. on Programming Languages and Systems, 5(1):1-75, January 1983.
20. M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli. Synthesis of embedded software using free-choice petri nets. In Proc. Design Automation Conference (DAC'99). ACM Press, June 1999.
21. F.-S. Su and P.-A. Hsiung. Extended quasi-static scheduling for formalsynthesis and code generation of embedded software. In Proc. of the 10th IEEE/ACM International Symposium on Hardware/Software Codesign (CODES'02, Colorado, USA), pages 211-216, May 2002.