Synthesis of Real-Time Embedded Software with Local and Global Deadlines

Hardware/Software Codesign - Proceedings of the International Workshop

Volumn , Issue , 2003, Pages 114-119

  Hsiung, Pao Ann ^a   Lin, Cheng Yi ^a  

^a NATIONAL CHUNG CHENG UNIVERSITY   (Taiwan)

Author keywords

Code generation; Quasi dynamic scheduling; Real time embedded software; Real Time Petri Nets; Software synthesis

Indexed keywords

CODE GENERATION; QUASI-DYNAMIC SCHEDULING (QDS); REAL-TIME EMBEDDED SOFTWARE; REAL-TIME PETRI NETS; SOFTWARE SYNTHESIS; WIRELESS BLUETOOTH DEVICES;

ALGORITHMS; GEOGRAPHIC INFORMATION SYSTEMS; GLOBAL POSITIONING SYSTEM; HEURISTIC METHODS; NAVIGATION SYSTEMS; REAL TIME SYSTEMS; SCHEDULING; WIRELESS TELECOMMUNICATION SYSTEMS;

EMBEDDED SYSTEMS;

EID: 1142287755     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/944645.944679     Document Type: Conference Paper

References (18)

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'99). IEEE Computer Society Press, 1999.
2. F. Balarin and M. Chiodo. Software synthesis for complex reactive embedded systems. In Proc. of International Conference on Computer Design (ICCD '99), pages 634-639. IEEE CS Press, October 1999.
3. J. Bray and C. F. Sturman. Bluetooth: Connect Without Cables. Prentice Hall, 2001.
4. 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.
5. 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.
6. P.-A. Hsiung. Embedded software verification in hardware-software codesign. Journal of Systems Architecture - the Euromicro Journal, 46(15):1435-1450, December 2000.
7. 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.
8. 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.
9. P.-A. Hsiung. Formal synthesis 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.
10. P.-A. Hsiung. 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'01), pages 35-50. Kluwer Academic Publishers, August 2001.
11. P.-A. Hsiung and C.-H. Gau. Formal synthesis 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.
12. P.-A. Hsiung, T.-Y. Lee, and F.-S. Su. 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), pages 395-404. IEEE CS Press, December 2002.
13. B. Lin. Software synthesis of process-based concurrent programs. In Proc. of Design Automation Conference (DAC'98), pages 502 - 505. ACM Press, June 1998.
14. O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In 22th Annual Symposium on Theoretical Aspects of Computer Scoence (STACS'95), volume 980, pages 229 - 242. Lecture Notes in Computer Science, Springer Verlag, March 1995.
15. P. Merlin and G.V. Bochman. On the construction of submodule specifications and communication protocols. ACM Trans. on Programming Languages and Systems, 5(1):1 - 75, January 1983.
16. W.-B. See, P.-A. Hsiung, T.-Y. Lee, and S.-J. Chen. Modular mobile dispatching system (MMDS) and logistics. In Proc. of the 2002 Annual Conference on National Defense Integrated Logistics Support (ILS), pages 365-371, August 2002.
17. 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.
18. F.-S. Su and P.-A. Hsiung. 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'02, Colorado, USA), pages 211-216. ACM Press, May 2002.