Trends in embedded software synthesis
- 1 July 2011
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation
Abstract
The increasing software content in current and future embedded systems has forced academia and industry to devise new programming methodologies. Only with new methods, software productivity will keep the pace with user's demands in the very competitive embedded market. Software synthesis, a traditionally formal approach of code generation from abstract models, is an attractive concept to solve the programming problem. In this paper we describe some of the major trends in software synthesis and its place in the overall environment of Electronic System Level (ESL) design and verification. The trends are illustrated by using the Multi-Processor System on Chip Application Programming Studio (MAPS) as example.Keywords
This publication has 37 references indexed in Scilit:
- Analytic modeling of network processors for parallel workload mappingACM Transactions on Embedded Computing Systems, 2009
- CoMPSoCACM Transactions on Design Automation of Electronic Systems, 2009
- SystemCoDesigner—an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applicationsACM Transactions on Design Automation of Electronic Systems, 2009
- A retargetable parallel-programming framework for MPSoCACM Transactions on Design Automation of Electronic Systems, 2008
- Multiprocessor systems synthesis for multiple use-cases of multiple applications on FPGAACM Transactions on Design Automation of Electronic Systems, 2008
- Metropolis: an integrated electronic system design environmentComputer, 2003
- Taming heterogeneity - the Ptolemy approachProceedings of the IEEE, 2003
- Cycle-static dataflowIEEE Transactions on Signal Processing, 1996
- Consistency in dataflow graphsIEEE Transactions on Parallel and Distributed Systems, 1991
- Communicating sequential processesCommunications of the ACM, 1978