Advertisement

Semantics of reactive systems in abstract time

  • C. Huizing
  • R. Gerth
Conference paper
Part of the Lecture Notes in Computer Science book series (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.

Keywords

Real-time semantics specification Statecharts reactive systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BC85]
    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. [BCH85a]
    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. [BCH85b]
    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. [BG88]
    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. [Gon88]
    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. [Har87]
    D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, 1987.CrossRefGoogle Scholar
  7. [HG89]
    C. Huizing and R. Gerth. On the semantics of reactive systems. Deliverable in ESPRIT 3096 “SPEC”, Eindhoven University of Technology, 1989.Google Scholar
  8. [HGdR88]
    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. [HP85]
    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. [HP87]
    Derek J. Hatley and Imtiaz A. Pirbhai. Strategies for real-time system specification. Dorset House, New York, 1987.Google Scholar
  11. [HPPSS87a]
    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. [HPPSS87b]
    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. [HR88]
    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 Inc89] i-Logix Inc, Burlington, Mass. The Semantics of Statecharts, 1989. In Documentation for the Statemate System.Google Scholar
  15. [LBBG85]
    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. [Mar89]
    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. [Mar90]
    F. Maraninchi. Statecharts: sémantique et application à la spécification de systèmes. PhD thesis, INP Grenoble, 1990.Google Scholar
  18. [Plo81]
    G.D. Plotkin. A structural approach to operational semantics. Technical report, 1981. Lecture Notes.Google Scholar
  19. [PS88]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • C. Huizing
    • 1
  • R. Gerth
    • 1
  1. 1.Department of Mathematics and Computing ScienceEindhoven University of TechnologyMB EindhovenThe Netherlands

Personalised recommendations