Model Based Synthesis of Embedded Software

  • Authors:
  • Daniel D. Gajski;Samar Abdi;Ines Viskic

  • Affiliations:
  • Center for Embedded Computer Systems, University of California, Irvine, 92617;Center for Embedded Computer Systems, University of California, Irvine, 92617;Center for Embedded Computer Systems, University of California, Irvine, 92617

  • Venue:
  • SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multi-core embedded systems. We follow a design process 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 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 refined 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 an multi-core MP3 decoder design, 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.