The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. For such a type of applications, typically there is a strong cooperation between dedicated hardware modules and software systems. A important issue toward a fully automated system-level implementation is represented by the software developing process. The basic requirements are: accurate timing characterization to be used during the early stages of the design to compare alternative architectures and reliable synthesis techniques to ensure the respect of the correct functionality by avoiding, as much as possible, the direct designer's intervention during the development process. This paper aims at describing a novel methodology to address the needs of concurrently synthesizing the software component of a control-dominated hardware-software system, possibly under real-time constraints. An intermediate model...
Alessandro Balboni, William Fornaciari, M. Vincenz