Skip to main content
SpringerLink
Log in

Modeling and Designing Heterogeneous Systems

  • Chapter
  • First Online:
Concurrency and Hardware Design

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2549))

Abstract

We present the modeling mechanism employed in Metropolis, a design environment for heterogeneous embedded systems, and a design methodology based on the mechanism experimented for wireless communication systems. It is developed to favor the reusability of components in the systems, by decoupling the specification of orthogonal aspects explicitly over a set of abstraction levels. It uses a single model to represent designs specified this way, to which not only simulation but also analysis and synthesis algorithms can be applied relatively easily. The model uses executable code as well as denotational formulas, classes of temporal and predicate logic, so that the right level of details of the design can be defined at each abstraction.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Balarin, Y. Watanabe J. Burch, L. Lavagno, R. Passerone, and A. Sangiovanni-Vincentelli. Constraints specification at higher levels of abstraction. In Proceeding of the 6th Annual IEEE International Workshop on High Level Design Validation and Test-HLDVT’01. IEEE Computer Society, November 2001. 252

    Google Scholar 

  2. R. S. Boyer, M. Kaufmann, and J. S. Moore. The boyer-moore theorem prover and its interactive enhancement. Computers & Mathematics with Applications, pages 27–62, January 1995. 259

    Google Scholar 

  3. Z. Har’El and R. P. Kurshan. Software for analysis of coordination. In Proceedings of the International Conference on System Science, pages 382–385, 1988. 260

    Google Scholar 

  4. Warren A. Hunt Jr. and Steven D. Johnson, editors. Formal methods in computeraided design: third international conference FMCAD 2000. Springer-Verlag, 2000. LNCS vol. 1954. 259

    Google Scholar 

  5. Kenneth L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993. 260

    Google Scholar 

  6. A. Pnueli. The temporal logic of programs. In Proc. 18th Annual IEEE Symposium on Foundations of Computer Sciences, pages 46–57, 1977. 232, 252

    Google Scholar 

  7. J. Rabaey, M. Ammer, J. Silva jr., D. Patel, and S. Roundy. Picoradio supports ad hoc ultra-low power wireless networking. In IEEE Computer Magazine, July 2000. 266, 272

    Google Scholar 

  8. A. Sangiovanni-Vincentelli and A. Ferrari. System design-traditional concepts and new paradigms. In International COnference on Computer Design, ICCD’ 99, October 1999. 263

    Google Scholar 

  9. A. Sangiovanni-Vincentelli, M. Sgroi, and L. Lavagno. Formal models for communication-based design. In Proceedings of the 11-th International Conference on Concurrency Theory, Concur’ 00, August 2000. 263, 264

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Cadence Berkeley Labs, 2001 Addison St. 3rd Floor, 94704, Berkeley, CA, USA

    Felice Balarin, Luciano Lavagno & Yosinori Watanabe

  2. Politecnico di Torino, C. Duca degli Abruzzi 24, 10129, Torino, Italy

    Claudio Passerone

  3. University of California, 94720, Berkeley, CA, USA

    Alberto Sangiovanni-Vincentelli & Marco Sgroi

Authors
  1. Felice Balarin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luciano Lavagno
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Claudio Passerone
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alberto Sangiovanni-Vincentelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Marco Sgroi
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Yosinori Watanabe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Software, Technical University of Catalonia, Campus Nord, Mòdul C5, Jordi Girona Salgado 1-3, 08034, Barcelona, Spain

    Jordi Cortadella

  2. School of Electrical, Electronic and Computer Engineering, University of Newcastle, Newcastle upon Tyne, NE1 7RU, UK

    Alex Yakovlev

  3. Center for Natural Computing, Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Balarin, F., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A., Sgroi, M., Watanabe, Y. (2002). Modeling and Designing Heterogeneous Systems. In: Cortadella, J., Yakovlev, A., Rozenberg, G. (eds) Concurrency and Hardware Design. Lecture Notes in Computer Science, vol 2549. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36190-1_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-36190-1_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00199-7

  • Online ISBN: 978-3-540-36190-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation