Skip to main content
SpringerLink
Log in

Formal Models for Communication-Based Design

  • Conference paper
  • First Online:
CONCUR 2000 — Concurrency Theory (CONCUR 2000)

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

Included in the following conference series:

Abstract

Concurrency is an essential element of abstract models for embedded systems. Correctness and efficiency of the design depend critically on the way concurrency is formalized and implemented. Concurrency is about communicating processes. We introduce an abstract formal way of representing communication among processes and we show how to refine this representation towards implementation. To this end, we present a formal model, Abstract Co-design Finite State Machines (ACFSM), and its refinement, Extended Co-design Finite State Machines (ECFSM), developed to capture abstract behavior of concurrent processes and derived from a model (Co-design Finite State Machine (CFSM)) we have used in POLIS, a system for the design and verification of embedded systems. The design of communication protocols is presented as an example of the use of these formal models.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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 and al. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach. Kluwer Academic Publishers, 1997.

    Google Scholar 

  2. J. Buck, S. Ha, E. Lee, and D. Messerschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, Special issue on Simulation Software Development, Jan. 1990.

    Google Scholar 

  3. E. A. Lee and A. L. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(12):1217–29, December 1998.

    Google Scholar 

  4. G. Kahn. The semantics of a simple language for parallel programming. In Proceedings IFIP Congress, Aug. 1974.

    Google Scholar 

  5. E. A. Lee and D. G. Messerschmitt. Synchronous data flow. IEEE Proceedings, Sept. 1987.

    Google Scholar 

  6. M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli. Synthesis of embedded software using free-choice petri nets. In Proceedings of the Design Automation Conference, June 1999.

    Google Scholar 

  7. J. Rowson and A. Sangiovanni-Vincentelli. Interface-based design. In Proceedings of the Design Automation Conference, pages 178–183, 1997.

    Google Scholar 

  8. R. Passerone, J. Rowson, and A. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In Proceedings of the Design Automation Conference, pages 8–13, June 1998.

    Google Scholar 

  9. M. Sgroi, J. da Silva Jr., F. D. Bernardinis, F. Burghardt, A. Sangiovanni-Vincentelli, and J. Rabaey. Designing Wireless Protocols: Methodology and Applications. In Proceedings of the ICASSP Conference, June 2000.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. EECS Department, University of California at Berkeley, Berkeley, CA, 94720

    Alberto Sangiovanni-Vincentelli & Marco Sgroi

  2. Cadence Berkeley Labs, 2001 Addison Street, Berkeley, CA, 94704-1144

    Luciano Lavagno

Authors
  1. Alberto Sangiovanni-Vincentelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marco Sgroi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Luciano Lavagno
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Pennsylvania State University, 220 Pond Laboratory, University Park, PA, 16802-6106, USA

    Catuscia Palamidessi

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sangiovanni-Vincentelli, A., Sgroi, M., Lavagno, L. (2000). Formal Models for Communication-Based Design. In: Palamidessi, C. (eds) CONCUR 2000 — Concurrency Theory. CONCUR 2000. Lecture Notes in Computer Science, vol 1877. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44618-4_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-44618-4_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-44618-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation