Embedded software generation from system level design languages

ABSTRACT

To meet the challenge of increasing design complexity, designers are turning to system level design languages (SLDLs) to model systems at a higher level of abstraction. This paper presents a method of automatically generating embedded software from system specification written in SLDL. Several refinement steps and intermediate models are introduced in our software generation flow. We demonstrate the effectiveness of the proposed method by a tool which can generate efficient ANSI C code from system models written in SLDL.

REFERENCES

• 1: QNX. Available: http://www.qnx.com/.
• 2: Rational. http://www.rational.com/uml/index.html.
• 3: SpecC. http://www.specc.org/.
• 4: SystemC.http://www.systemc.org/.
• 5: VxWorks.http://www.vxworks.com/.
• 6: Felice Balarin , Massimiliano Chiodo , Paolo Giusto , Harry Hsieh , Attila Jurecska , Luciano Lavagno , Claudio Passerone , Alberto Sangiovanni-Vincentelli , Ellen Sentovich , Kei Suzuki , Bassam Tabbara, Hardware-software co-design of embedded systems: the POLIS approach, Kluwer Academic Publishers, Norwell, MA, 1997
• 7: F. Boussinot and R. de Simone. The ESTEREL Language. In Proceedings of the IEEE, September 1991.
• 8: Jordi Cortadella , Alex Kondratyev , Luciano Lavagno , Marc Massot , Sandra Moral , Claudio Passerone , Yosinori Watanabe , Alberto Sangiovanni-Vincentelli, Task generation and compile-time scheduling for mixed data-control embedded software, Proceedings of the 37th conference on Design automation, p.489-494, June 05-09, 2000, Los Angeles, California, United States [doi>10.1145/337292.337553]
• 9: Dirk Desmet , D. Verkest , Hugo De Man, Operating system based software generation for systems-on-chip, Proceedings of the 37th conference on Design automation, p.396-401, June 05-09, 2000, Los Angeles, California, United States [doi>10.1145/337292.337509]
• 10: D. Gajski, J. Zhu, R. Dömer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology. Kluwer Academic Publishers, January 2000.
• 11: L. Gauthier et al. Automatic generation and targeting of application-specific operating systems and embedded systems software. IEEE Trans. on CAD, November 2001.
• 12: Andreas Gerstlauer , Haobo Yu , Daniel D. Gajski, RTOS Modeling for System Level Design, Proceedings of the conference on Design, Automation and Test in Europe, p.10130, March 03-07, 2003
• 13: A. Gerstlauer, S. Zhao, D. Gajski, and A. M. Horak. Design of a GSM Vocoder using SpecC Methodology. Technical Report ICS-TR-99-11, UCI, February 1999.
• 14: Thorsten Grotker, System Design with SystemC, Kluwer Academic Publishers, Norwell, MA, 2002
• 15: David Harel , Amir Pnueli , Hagi Lachover , Amnon Naamad , Michal Politi , Rivi Sherman , Aharon Shtull-Trauring , Mark Trakhtenbrot, STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, v.16 n.4, p.403-414, April 1990 [doi>10.1109/32.54292]
• 16: F. Herrera , H. Posadas , P. Sanchez , E. Villar, Systemic Embedded Software Generation from SystemC, Proceedings of the conference on Design, Automation and Test in Europe, p.10142, March 03-07, 2003
• 17: Bill Lin, Software synthesis of process-based concurrent programs, Proceedings of the 35th annual conference on Design automation, p.502-505, June 15-19, 1998, San Francisco, California, United States [doi>10.1145/277044.277182]
• 18: José Luis Pino , Soonhoi Ha , Edward A. Lee , Joseph T. Buck, Software synthesis for DSP using Ptolemy, Journal of VLSI Signal Processing Systems, v.9 n.1-2, p.7-21, Jan. 1995 [doi>10.1007/BF02406468]
• 19: H. Yu, R. Dömer, and D. Gajski. Automatic Software Generation for System Level Design. Technical Report CECS-03-18, UCI, May 2003.