Advertisement

SIGNAL as a model for real-time and hybrid systems

  • Albert Benveniste
  • Michel Le Borgne
  • Paul Le Guernic
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 582)

Abstract

Hybrid Systems axe models of systems operating in real-time and handling events as well as “continuous” computations. The Signal formalism for Hybrid Systems is presented in this extended abstract. Its expressive power is discussed, and a general method to associate various formal systems with it is presented and illustrated on deriving the present Signal compiler.

Keywords

real-time semantics of programming languages theory of parallel computation 

References

  1. [1]
    A. Benveniste, G. Berry, “Real-Time systems design and programming”, Another look at real-time programming, special section of Proc. of the IEEE, to appear Sept. 1991.Google Scholar
  2. [2]
    A. Benveniste, P. Le Guernic, Y. Sorel, M. Sorine, “A denotational theory of synchronous communicating systems”, INRIA Research Report 685, Rennes, France, 1987, to appear in Information and Computation.Google Scholar
  3. [3]
    A. Benveniste, P. Le Guernic, “Hybrid Dynamical Systems Theory and the Signal Language”, IEEE transactions on Automatic Control, 35(5), May 1990, pp. 535–546.Google Scholar
  4. [4]
    A. Benveniste, P. Le Guernic, C. Jacquemot, Synchronous programming with events and relations: the Signal language and its semantics, IRISA Research Report 459, Rennes, France, 1989, to appear in Science of Computer Programming Google Scholar
  5. [5]
    A. Benveniste, “Constructive probability and the Sign alea language”, IRISA res. rep., 1991.Google Scholar
  6. [6]
    B. Buchberger, “Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory” N.K. Bose (ed.), Multidimensional Systems Theory, 184–232, D. Reidel Publishing Company.Google Scholar
  7. [7]
    L. Besnard, Thesis, IFSIC-IRISA, 1991.Google Scholar
  8. [8]
    F. Boussinot, R. de Simone, “The Esterel language”, Another look at real-time programming, special section of Proc. of the IEEE, to appear Sept. 1991.Google Scholar
  9. [9]
    N. Halbwachs, P. Caspi, D. Pilaud, “The synchronous dataflow programming language Lustre”, Another look at real-time programming, special section of Proc. of the IEEE, to appear Sept. 1991.Google Scholar
  10. [10]
    T.A. Henzinger, Z. Manna, A. Pnueli, “An Interleaving Model for Real-time”, Jersalem Conf. on Information Technology 1990, IEEE Computer Society Press.Google Scholar
  11. [11]
    T.A. Henzinger, Z. Manna, A. Pnueli, “Temporal proof methodologies for Real-time systems”, POPL'91.Google Scholar
  12. [12]
    M. Le Borgne, A. Benveniste, P. Le Guernic, “Polynomial Ideal Theory Methods in Discrete Event, and Hybrid Dynamical Systems”, in Proceedings of the 28th IEEE Conference on Decision and Control, IEEE Control Systems Society, Volume 3 of 3, 1989, pp. 2695–2700.Google Scholar
  13. [13]
    P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire, “Programming real-time applications with Signal”, Another look at real-time programming, special section of Proc. of the IEEE, to appear Sept. 1991.Google Scholar
  14. [14]
    X. Nicollin, J. Sifakis, S. Yovine, “From ATP to Timed Graphs and Hybrid Systems”, REX workshop “Real-Time, theory in practice”, Mook, The Netherlands, June 3–7, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Albert Benveniste
    • 1
  • Michel Le Borgne
    • 2
  • Paul Le Guernic
    • 1
  1. 1.INRIA-IRISARennes CedexFrance
  2. 2.IRISA-UniversityRennes CedexFrance

Personalised recommendations