Skip to main content
SpringerLink
Log in

Synchronous Modelling of Asynchronous Systems

  • Conference paper
  • First Online:
Embedded Software (EMSOFT 2002)

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

Included in the following conference series:

Abstract

We investigate the use of synchronous languages to model partially asynchronous systems. Through the use of intermittent activations and assertions, synchronous processes can be composed according to various asynchronous models. Common synchronization and communication mechanisms can be described. The resulting descriptions can be simulated and verified, using classical tools of synchronous programming.

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. R. Alur and T. A. Henzinger. Reactive modules. Formal Methods in System Design, 15:7–48, 1999.

    Article  Google Scholar 

  2. F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara. Hardware-Software Co-Design of Embedded Systems: The Polis Approach. Kluwer Academic Publishers, 1997.

    Google Scholar 

  3. A. Benveniste, B. Caillaud, and P. Le Guernic. From synchrony to asynchrony. In J.C.M. Baeten and S. Mauw, editors, CONCUR’99. LNCS 1664, Springer Verlag, 1999.

    Google Scholar 

  4. A. Benveniste, P. Caspi, and Stavros Tripakis. Distributing synchronous programs on a loosely synchronous, distributed architecture. Research Report1289, Irisa, December 1999.

    Google Scholar 

  5. G. Berry. Real time programming: Special purpose or general purpose languages. In IFIP World Computer Congress, San Francisco, 1989.

    Google Scholar 

  6. G. Berry. Preemption and concurrency. In Proc. FSTTCS 93, Lecture Notes in Computer Science 761, pages 72–93. Springer-Verlag, 1993.

    Google Scholar 

  7. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming. 19(2):87–152, 1992.

    Article  MATH  Google Scholar 

  8. A. Bouali. Xeve: an Esterel verification environment. In Tenth International Conference on Computer-Aided Verification, CAV’98, Vancouver (B.C.), June 1998. LNCS 1427, Springer Verlag.

    Chapter  Google Scholar 

  9. G. Berry and E. Sentovich. Embedding synchronous circuits in GALS-based systems. In Sophia-Antipolis conference on Micro-Electronics (SAME 98), October 1998.

    Google Scholar 

  10. G. Berry and E. Sentovich. Multiclock esterel. In Correct Hardware Design and Verification Methods, CHARME’01, Livingston (Scotland), September 2001. LNCS 2144, Springer Verlag.

    Chapter  Google Scholar 

  11. P. Caspi. Embedded control: From asynchrony to synchrony and back. In 1st International Workshop on Embedded Software, EMSOFT2001, Lake Tahoe, October 2001. LNCS 2211.

    Google Scholar 

  12. P. Caspi, A. Girault, and D. Pilaud. Distributing reactive systems. In Seventh International Conference on Parallel and Distributed Computing Systems, PDCS’94, Las Vegas, USA, October 1994. ISCA.

    Google Scholar 

  13. P. Caspi and R. Salem. Threshold and bounded-delay voting in critical control systems. In FTRTFT’2000, Pune, India, September 2000. LNCS 1926.

    Google Scholar 

  14. R. de Simone and A. Bouali. A symbolic representation of asynchronous networks of synchronous processes. In Tenth International Workshop on Logic Synthesis, IWLS’98, Lake Tahoe, June 1998.

    Google Scholar 

  15. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9):1305–1320, September 1991.

    Google Scholar 

  16. N. Halbwachs, F. Lagnier, and C. Ratel. Programming and verifying realtime systems by means of the synchronous data-flow programming language Lustre. IEEE Transactions on Software Engineering, Special Issue on the Specification and Analysis of Real-Time Systems, September 1992.

    Google Scholar 

  17. N. Halbwachs and F. Maraninchi. On the symbolic analysis of combinational loops in circuits and synchronous programs. In Euromicro’ 95, Como (Italy), September 1995.

    Google Scholar 

  18. Another look at real-time programming. Special Section of the Proceedings of the IEEE, 79(9), September 1991.

    Google Scholar 

  19. ITU-T. Recommendation Z-100. Specification and description language (SDL). 1994.

    Google Scholar 

  20. L. J. Jagadeesan, C. Puchol, and J. E. Von Olnhausen. Safety property verification of esterel programs and applications to telecommunication software. In P. Wolper, editor, 7th International Conference on Computer Aided Verification, CAV’95, Liege (Belgium), July 1995. LNCS 939, Springer Verlag.

    Google Scholar 

  21. M. Le Borgne, Bruno Dutertre, Albert Benveniste, and Paul Le Guernic. Dynamical systems over Galois fields. In European Control Conference, pages 2191–2196, Groningen, 1993.

    Google Scholar 

  22. P. LeGuernic, T. Gautier, M. LeBorgne, and C. LeMaire. Programming real time applications with Signal. Proceedings of the IEEE, 79(9):1321–1336, September 1991.

    Google Scholar 

  23. S. Malik. Analysis of cyclic combinational circuits. In ICCAD’93, Santa Clara (Ca), 1993.

    Google Scholar 

  24. R. Milner. A Calculus of Communicating Systems. LNCS 92, Springer Verlag, 1980.

    MATH  Google Scholar 

  25. R. Milner. On relating synchrony and asynchrony. Technical Report CSR-75-80, Computer Science Dept., Edimburgh Univ., 1981.

    Google Scholar 

  26. T. R. Shiple, G. Berry, and H. Touati. Constructive analysis of cyclic circuits. In International Design and Testing Conference IDTC’96, Paris, France, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Vérimag, Grenoble, France

    Nicolas Halbwachs & Siwar Baghdadi

Authors
  1. Nicolas Halbwachs
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Siwar Baghdadi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

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

    Alberto Sangiovanni-Vincentelli

  2. Verimag, Centre Equation, 2 rue de Vignate, 38610, Gieres, France

    Joseph Sifakis

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Halbwachs, N., Baghdadi, S. (2002). Synchronous Modelling of Asynchronous Systems. In: Sangiovanni-Vincentelli, A., Sifakis, J. (eds) Embedded Software. EMSOFT 2002. Lecture Notes in Computer Science, vol 2491. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45828-X_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-45828-X_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44307-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation