Skip to main content
SpringerLink
Log in

A Case Study in Embedded Systems Design: An Engine Control Unit

  • Published:
Design Automation for Embedded Systems Aims and scope Submit manuscript

Abstract

A number of techniques and software toolsfor embedded system design have been recently proposed. However,the current practice in the designer community is heavily basedon manual techniques and on past experience rather than on arigorous approach to design. To advance the state of the artit is important to address a number of relevant design problemsand solve them to demonstrate the power of the new approaches.We chose an industrial example in automotive electronics to validateour design methodology: an existing commercially available EngineControl Unit. We discuss in detail the specification, the implementationphilosophy, and the architectural trade-off analysis. We analyzethe results obtained with our approach and compare them withthe existing design underlining the advantages offered by a systematicapproach to embedded system design in terms of performance anddesign time.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. CoWare N2C Home Page. http://www.coware.com/cowareN2C.html.

  2. Mentor Graphics Seamless CVE Home Page. http://www.mentorg.com/seamless/.

  3. Synopsys' Eagle Home Page. http://www.synopsys.com.tw/products/hwsw/eagle ds.html.

  4. F. Balarin, M. Di Natale, and A. Sangiovanni-Vincentelli. Task scheduling withRTconstraints. In Proceedings of the Design Automation Conference, June 2000.

  5. F. Balarin, E. Sentovich, M. Chiodo, P. Giusto, H. Hsieh, B. Tabbara, A. Jurecska, L. Lavagno, C. Passerone, K. Suzuki, and A. Sangiovanni-Vincentelli. Hardware-Software Co-design of Embedded Systems—The POLIS approach. Kluwer Academic Publishers, 1997.

  6. G. Berry, P. Couronné, and G. Gonthier. The synchronous approach to reactive and real-time systems. IEEE Proceedings, 79, September 1991.

  7. R. Brayton, A. Sangiovanni-Vincentelli, A. Aziz, S. Cheng, S. Edwards, S. Khatri, Y. Kukimoto, S. Qadeer, R. Ranjan, T. Shiple, G. Swamy, T. Villa, G. Hachtel, F. Somenzi, A. Pardo, and S. Sarwary. VIS: A System for Verification and Synthesis. In Proc. of the 8th International Conference on Computer Aided Verification, Vol. 1102 of Lecture Notes in Computer Science, pp. 428–432. Springer-Verlag, 1996.

    Google Scholar 

  8. R. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677–691, August 1986.

    Google Scholar 

  9. J. Buck, S. Ha, E.A. Lee, and D.G. Masserschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. Interntional Journal of Computer Simulation, special issue on Simulation Software Development, January 1994.

  10. J. Burch, E. Clarke, D. Long, K. McMillan, et al. Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design, 13(4): 401–424, April 1994.

    Google Scholar 

  11. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli. Synthesis of software programs from CFSM specifications. In Proceedings of the Design Automation Conference, June 1995.

  12. P. Chou, E. Walkup, and G. Borriello. Scheduling for reactive real-time systems. IEEE Micro, August 1994.

  13. T. Cuatto, C. Passerone, L. Lavagno, A. Jurecska, A. Damiano, C. Sansoè, and A. Sangiovanni-Vincentelli. A Case Study in Embedded System Design: an Engine Control Unit. In Proceedings of the Design Automation Conference, June 1998.

  14. A. Damiano and P. Mortara. Problematiche software nei sistemi elettronici per applicazioni automotive. Alta Frequenza - Rivista di Elettronica, 7(3):10–16, Maggio- Giugno 1993.

    Google Scholar 

  15. T. DeMarco. Structured Analysis and System Specification. Yourdon Press, USA, 1988.

    Google Scholar 

  16. R. Ernst, J. Henkel, and T. Benner. Hardware-software codesign for micro-controllers. IEEE Design and Test of Computers, 10(3):64–75, September 1993.

    Google Scholar 

  17. D. D. Gajski, S. Narayan, L. Ramachandran, and F. Vahid. System design methodologies: aiming at the 100 h design cycle. IEEE Transactions on VLSI, 4(1), March 1996.

  18. R.K. Gupta and G. De Micheli. Hardware-software cosynthesis for digital systems. IEEE Design and Test of Computers, 10(3):29–41, September 1993.

    Google Scholar 

  19. H. Hsieh, L. Lavagno, C. Passerone, C. Sanso00E8;, and A. Sangiovanni-Vincentelli. Modeling micro-controller peripherals for high-level co-simulation and synthesis. In Proceedings of the International Workshop on Hardware-Software Codesign, March 1997.

  20. A. Kalavade and E.A. Lee. A hardware-software codesign methodology for DSP applications. IEEE Design and Test of Computers, 10(3):16–28, September 1993.

    Google Scholar 

  21. K.S. Khouri, G. Lakkshminarayana, and N.K. Jha. High-level synthesis of low-power control-flow intensive circuits. IEEE Transactions on Computer-Aided Design, 18(12):1715–1729, December 1999.

    Google Scholar 

  22. R. P. Kurshan. Automata-Theoretic Verification of Coordinating Processes. Princeton University Press, 1994.

  23. M. Lazarescu, M. Lajolo, and A. Sangiovanni-Vincentelli. A compilation-based software estimation scheme for hardware-software co-simulation. In Proceedings of the International Workshop on Hardware-Software Codesign, May 1999.

  24. C.L. Liu and James W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the Association for Computing Machinery, 20(1): 46–61, January 1973.

    Google Scholar 

  25. Motorola Inc. M68300 Family: TPU Time Processor Unit Reference Manual, 1990.

  26. K. Olokutun, R. Helaihel, J. Levitt, and R. Ramirez. A software-hardware cosynthesis approach to digital system simulation. IEEE Micro, 14(4):48–58, August 1994.

    Google Scholar 

  27. K. Suzuki and A. Sangiovanni-Vincentelli. Efficient software performance estimation methods for hardware/software codesign. In Proceedings of the Design Automation Conference, pp. 605–610, June 1996.

  28. D.E. Thomas, J.K. Adams, and H. Schmit. A model and methodology for hardware-software codesign. IEEE Design and Test of Computers, 10(3):6–15, September 1993.

    Google Scholar 

  29. R. Warrilow. All aboard the prototype express—reconfigurable protoyping can shorten the route to asic. NewElectronics, January 1999.

Download references

Author information

Authors and Affiliations

  1. Dept. of Electronics, Politecnico di Torino, 10129, Torino, Italy

    Tullio Cuatto, Claudio Passerone, Claudio Sansoè & Francesco Gregoretti

  2. Eagle Technology Group, Synopsys, Inc., Beaverton, OR, 97006

    Attila Jurecska

  3. Department of EECS, University of California, Berkeley, CA, 94720

    Alberto Sangiovanni-Vincentelli

Authors
  1. Tullio Cuatto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Claudio Passerone
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Claudio Sansoè
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Francesco Gregoretti
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Attila Jurecska
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Alberto Sangiovanni-Vincentelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cuatto, T., Passerone, C., Sansoè, C. et al. A Case Study in Embedded Systems Design: An Engine Control Unit. Design Automation for Embedded Systems 6, 71–88 (2000). https://doi.org/10.1023/A:1008989409134

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008989409134

Search

Navigation