Embedded software generation from system level design languages

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.

[1]  Daniel D. Gajski,et al.  SPECC: Specification Language and Methodology , 2000 .

[2]  Luciano Lavagno,et al.  Task generation and compile-time scheduling for mixed data-control embedded software , 2000, Proceedings 37th Design Automation Conference.

[3]  Bill Lin,et al.  Software synthesis of process-based concurrent programs , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

[4]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[5]  D. Gajski,et al.  Automatic Software Generation for System Level Design , 2003 .

[6]  Frédéric Boussinot,et al.  The ESTEREL language , 1991, Proc. IEEE.

[7]  Hugo De Man,et al.  Operating system based software generation for systems-on-chip , 2000, Proceedings 37th Design Automation Conference.

[8]  Luciano Lavagno,et al.  Hardware-software co-design of embedded systems: the POLIS approach , 1997 .

[9]  유승주.  Automatic Generation and Targeting of Application Specific Operating Systems and Embedded Systems Software , 2001 .

[10]  Daniel D. Gajski,et al.  Design of a GSM Vocoder using SpecC Methodology , 1999 .

[11]  Andreas Gerstlauer,et al.  RTOS modeling for system level design , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[12]  Edward A. Lee,et al.  Software synthesis for DSP using ptolemy , 1995, J. VLSI Signal Process..

[13]  Thorsten Grotker,et al.  System Design with SystemC , 2002 .

[14]  F. Herrera,et al.  Systematic embedded software generation from SystemC , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.