Volume 4 Number 7 (Sep. 2009)
Home > Archive > 2009 > Volume 4 Number 7 (Sep. 2009) >
JSW 2009 Vol.4(7): 717-727 ISSN: 1796-217X
doi: 10.4304//jsw.4.7.717-727

Model Based Synthesis of Embedded Software

Samar Abdi, Daniel D. Gajski, Ines Viskic
1Center for Embedded Computer Systems University of California, Irvine, CA 92617

Abstract—This paper presents software (SW) synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classication of multicore embedded systems based on their platform architecture. We identify key design decisions and models that are required for embedded system synthesis.We present a a model based design methodology that starts with an application model consisting of C processes communicating via abstract message passing channels. The application model is mapped to a platform net-list of SW and hardware (HW) cores, buses and buffers. A high speed Transaction Level Model (TLM) is generated to validate abstract communication between processes mapped to different cores. The TLM is further rened into a Pin-Cycle Accurate Model (PCAM) for board implementation. The PCAM includes C code for all the communication layers including routing, packeting, synchronization and bus transfer. The generated embedded SW provides a library of application level services to the C processes on individual SW cores. Therefore, the application developer does not need to write low level SW for board implementation. Synthesis results for multicore MP3 decoder and JPEG encoder designs, using ESE, show that the embedded SW is generated in order of seconds, compared to hours of manual coding. The quality of synthesized code is comparable to manually written code in terms of performance and code size. Over 3X productivity gain in overall multicore design is shown to result from automatic SW synthesis.

Index Terms—system modeling, communication SW synthesis, MPSoC, model based design, transaction level modeling, pin and cycle accurate implementation


Cite: Samar Abdi, Daniel D. Gajski, Ines Viskic, "Model Based Synthesis of Embedded Software," Journal of Software vol. 4, no. 7, pp. 717-727, 2009.

General Information

ISSN: 1796-217X (Online)
Frequency:  Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Apr 26, 2021 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Jun 22, 2020 News!

    Papers published in JSW Vol 14, No 1- Vol 15 No 4 have been indexed by DBLP     [Click]

  • Sep 13, 2021 News!

    The papers published in Vol 16, No 6 have all received dois from Crossref    [Click]

  • Jan 28, 2021 News!

    [CFP] 2021 the annual meeting of JSW Editorial Board, ICCSM 2021, will be held in Rome, Italy, July 21-23, 2021   [Click]

  • Sep 13, 2021 News!

    Vol 16, No 6 has been published with online version     [Click]