Model Based Synthesis of Embedded Software

Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification 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 ract 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 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 th...

• Type: Conference
• Year: 2008
• Where: SEUS
• Authors: Daniel D. Gajski, Samar Abdi, Ines Viskic
• Keywords: Embedded System, Embedded Systems, Multicore Embedded Systems, SEUS 2008, SW Synthesis