Skip to main content
SpringerLink
Log in

A case study in computer-aided co-design of embedded controllers

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

Abstract

We present an application of the methodology and of the various software tools embedded in the POLIS co-design system. The application is in the realm of automotive electronics: a shock absorber controller, whose specification comes from an actual product. All aspects of the design process are closely examined, including high level language specification and automatic hardware and software synthesis. We analyze different software implementation styles, compare the results, and outline the future developments of our work.

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. F. Balarin and A. Sangiovanni-Vincentelli. A verification strategy for timing-constrained systems. In Proceedings of the Fourth Workshop on Computer-Aided Verification, pages 148–163, 1992.

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

  3. F. Boussinot and R. de Simone. The ESTEREL language. Proceedings of the IEEE, 79(9):1293–1304, September 1991.

    Google Scholar 

  4. 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 1990.

  5. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli. A formal specification model for hardware/software codesign. Technical Report UCB/ERL M93/48, U.C. Berkeley, June 1993.

  6. P. Chou, R. Ortega, and G. Borriello. Synthesis of hardware/software interface in microcontroller-based systems. In Proceedings of the International Conference on Computer-Aided Design, November 1992.

  7. CISI Ingenierie, Agence Provence Est, Les Cardoulines B1 06560 Valbonne, France. Esterei V-3, Language Reference Manual, 1988.

  8. CISI Ingenierie, Agence Provence Est, Les Cardoulines B1 06560, Valbonne, France. Esterel V-3, Debug Format Manual, 1988.

  9. D. Drusinski and D. Har'el. Using statecharts for hardware description and synthesis. IEEE Transactions on Computer-Aided Design, 8(7), July 1989.

  10. D. Engels. Real-time task level scheduling in the POLIS co-design environment. Master's thesis, U.C. Berkeley, 1995.

  11. R. K. Gupta, C. N. Coelho Jr., and G. De Micheli. Synthesis and simulation of digital systems containing interacting hardware and software components. In Proceedings of the Design Automation Conference, June 1992.

  12. Z. Har'El and R. Kurshan. Cospan user's guide. Technical report, AT&T Technical Report, October 1987.

  13. D. Harrison. Vem: interactive graphics for oct. Master's thesis, U. C. Berkeley, 1989.

  14. C.I. Liu and J.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 

  15. M.C. McFarland, T.J. Kowalski, and M.J. Peman. Language and formal semantics of the specification system CPA. In Proceedings of the International Workshop on Hardware-Software Codesign, September 1992.

  16. C. Y. Park and A. C. Shaw. Experiments with a program timing tool based on source-level timing schema. IEEE Computer, 24(5):48–57, 1991.

    Google Scholar 

  17. E. M. Sentovich, K. J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton, and A. Sangiovanni-Vincentelli. SIS: A system for sequential circuit synthesis. Technical Report UCB/ERL M92/41, U.C. Berkeley, May 1992.

  18. T. Shiple, A. Aziz, F. Balarin, S. Cheng, R. Hojati, T. Kam, S. Krishnan, V. Singhal, H. Wang, R. Brayton, and A. Sangiovanni-Vincentelli. Formal design verification of digital systems. In Proceedings of TECHCON, 1993.

  19. M. B. Srivastava and R. W. Brodersen. Rapid-prototyping of hardware and software in a unified framework. In Proceedings of the International Conference on Computer-Aided Design, November 1991.

  20. C. E. Stroud. Problems associated with hardware implementation of software algorithms using behavioral model synthesis. In Proceedings of the International Workshop on Hardware-Software Codesign, September 1992.

  21. N. Woo, W. Wolf, and A. Dunlop. Compilation of a single specification into hardware and software. In Proceedings of the International Workshop on Hardware-Software Codesign, September 1992.

Download references

Author information

Authors and Affiliations

  1. Cadence Design Systems, San Jose, CA, USA

    Massimiliano Chiodo

  2. Massachusetts Institute of Technology, Boston, MA, USA

    Daniel Engels

  3. Magneti Marelli, Torino, Italy

    Paolo Giusto

  4. University of California, Berkeley, CA, USA

    Harry Hsieh

  5. Magneti Marelli, Torino, Italy

    Attila Jurecska

  6. Politecnico di Torino, Torino, Italy

    Luciano Lavagno

  7. Hitachi, Tokyo, Japan

    Kei Suzuki

  8. University of California, Berkeley, CA, USA

    Alberto Sangiovanni-Vincentelli

Authors
  1. Massimiliano Chiodo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniel Engels
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paolo Giusto
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Harry Hsieh
    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. Luciano Lavagno
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Kei Suzuki
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Alberto Sangiovanni-Vincentelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work was partially supported by SRC Contract DC-324-028 and by MURST Research Project “VLSI Architectures”.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Chiodo, M., Engels, D., Giusto, P. et al. A case study in computer-aided co-design of embedded controllers. Des Autom Embed Syst 1, 51–67 (1996). https://doi.org/10.1007/BF00134683

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00134683

Keywords

Search

Navigation