Skip to main content
SpringerLink
Log in

Semantics of reactive systems in abstract time

  • Conference paper
  • First Online:
Real-Time: Theory in Practice (REX 1991)

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

Abstract

We explain that real-time reactive systems pose specific problems in defining languages to specify and program them. Three criteria are formulated, responsiveness, modularity, and causality, that are important to have for a high-level specification language for these systems. We prove that these properties can not be combined in one semantics. Since these properties are mandatory for a structured development of real-time reactive systems, we introduce a two-levelled semantics in which the three properties hold on different levels of the semantics: global events are treated more abstractly with respect to time than local events.

This research is partially supported by ESPRIT projects 937 (DESCARTES) and 3096.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. Berry and L. Cosserat. The synchronous programming language Esterel and its mathematical semantics. In Proceedings CMU Seminar on Concurrency, pages 389–449. LNCS 197, Springer-Verlag, 1985.

    Google Scholar 

  2. J.-L. Bergerand, P. Caspi, and N. Halbwachs. Outline of a real-time data flow language. In Proceedings IEEE Real-Time Systems Symposium, 1985.

    Google Scholar 

  3. J.-L. Bergerand, P. Caspi, and N. Halbwachs. Outline of a real-time dataflow language. In Proc. IEEE-CS Real-Time systems Symposium, San Diego, 1985.

    Google Scholar 

  4. G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Technical report, Ecole Nationale Supérieure des Mines de Paris, 1988.

    Google Scholar 

  5. G. Gonthier. Sémantiques et modèles d'exécution des langages réactifs synchrones; Application à ESTEREL. PhD thesis, University of Orsay, 1988.

    Google Scholar 

  6. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, 1987.

    Article  Google Scholar 

  7. C. Huizing and R. Gerth. On the semantics of reactive systems. Deliverable in ESPRIT 3096 “SPEC”, Eindhoven University of Technology, 1989.

    Google Scholar 

  8. C. Huizing, R. Gerth, and W.P. de Roever. Modelling statecharts behaviour in a fully abstract way. In Proc. 13th CAAP, LNCS 299, pages 271–294, 1988.

    Google Scholar 

  9. D. Harel and A. Pnueli. On the development of reactive systems. In K.R. Apt, editor, Logics and Models of Concurrent Systems, pages 477–498. NATO, ASI-13, Springer-Verlag, 1985.

    Google Scholar 

  10. Derek J. Hatley and Imtiaz A. Pirbhai. Strategies for real-time system specification. Dorset House, New York, 1987.

    Google Scholar 

  11. D. Harel, A. Pnueli, J. Pruzan-Schmidt, and R. Sherman. On the formal semantics of Statecharts. In Proceedings Symposium on Logic in Computer Science, pages 54–64, 1987.

    Google Scholar 

  12. D. Harel, A. Pnueli, J. Pruzan-Schmidt, and R. Sherman. On the formal semantics of Statecharts. In Proceedings Symposium on Logic in Computer Science, pages 54–64, 1987.

    Google Scholar 

  13. J. Hooman and S. Ramesh. Statecharts assertional framework. Computing Science Note CSN 88/14, Department of Mathematics and Computing Science Eindhoven University of Technology, The Netherlands, May 1988.

    Google Scholar 

  14. [i-Logix Inc89] i-Logix Inc, Burlington, Mass. The Semantics of Statecharts, 1989. In Documentation for the Statemate System.

    Google Scholar 

  15. Guernic P. Le, A. Benveniste, P. Bournai, and T. Gonthier. Signal: A data flow oriented language for signal processing. Technical Report IRISA Report 246, IRISA, Rennes, France, 1985.

    Google Scholar 

  16. F. Maraninchi. Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra. In Workshop on Automatic Verification methods for Finite State Systems, Grenoble 12–14 June 1989. Springer-Verlag, 1989.

    Google Scholar 

  17. F. Maraninchi. Statecharts: sémantique et application à la spécification de systèmes. PhD thesis, INP Grenoble, 1990.

    Google Scholar 

  18. G.D. Plotkin. A structural approach to operational semantics. Technical report, 1981. Lecture Notes.

    Google Scholar 

  19. A. Pnueli and M. Shalev. What is in a step. Technical report, Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot, Israel, 1988. Draft.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O.Box 513, 5600, MB Eindhoven, The Netherlands

    C. Huizing & R. Gerth

Authors
  1. C. Huizing
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Gerth
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. de Bakker C. Huizing W. P. de Roever G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Huizing, C., Gerth, R. (1992). Semantics of reactive systems in abstract time. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds) Real-Time: Theory in Practice. REX 1991. Lecture Notes in Computer Science, vol 600. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031997

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55564-3

  • Online ISBN: 978-3-540-47218-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation