Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
Modeling micro-controller peripherals for high-level co-simulation and synthesis
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
Structured Analysis and System Specification
Structured Analysis and System Specification
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
MIP formulation for robust resource allocation in dynamic real-time systems
Journal of Systems and Software - Special issue: Parallel and distributed real-time systems
Hi-index | 0.00 |
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manual techniques and on past experience rather than on a rigorous approach to design. To advance the state of the art it is important to address a number of relevant design problems and solve them to demonstrate the power of the new approaches.We chose an industrial example in automotive electronics to validate our design methodology: an existing commercially available Engine Control Unit. We discuss in detail the specification, the implementation philosophy, and the architectural trade-off analysis. We analyze the results obtained with our approach and compare them with the existing design underlining the advantages offered by a systematic approach to embedded system design in terms of performance and design time.