A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems

  • Jean-Pierre Talpin
  • David Nowak
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1530)

Abstract

Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation of complex systems by structurally decomposing them into elementary synchronous processes. To maximize the support for the generic implementation and the dynamic reconfigurability of reactive systems, we introduce a semantics of higher-order processes in a seamless extension of the synchronous language SIGNAL. To enable the correct specification and the modular implementation of systems, we introduce an expressive type inference system for characterizing their temporal and causal invariants.

Keywords

Univer Remi 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Amagbegnon, T.P., Besnard, L., Le Guernic, P.: Implementation of the data-flow synchronous language Signal. In: Conference on Programming Language Design and Implementation. ACM, New York (1995)Google Scholar
  2. 2.
    Benveniste, A., Le Guernic, P., Jacquemot, C.: Synchronous programming with events and relations: the Signal language and its semantics. Science of Computer Programming 16 (1991)Google Scholar
  3. 3.
    Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming 19 (1992)Google Scholar
  4. 4.
    Bjesse, P., Claessen, K., Sheeran, M.: Lava: hardware design in Haskell. In: International Conference on Functional Programming. ACM, New York (1998)Google Scholar
  5. 5.
    Boussinot, F.: Icobj programming. Technical report n. 3028. Inria (1996) Google Scholar
  6. 6.
    Caspi, P., Pouzet, M.: Synchronous Kahn networks. In: International Conference on Functional Programming. ACM, New York (1996)Google Scholar
  7. 7.
    Elliott, C., Hudak, P.: Functional reactive animation. In: proceedings of the International Conference on Functional Programming. ACM, New York (1997)Google Scholar
  8. 8.
    Fournet, C., Gonthier, G.: The reflexive Cham and the join calculus. In: Symposium on Principles of Programming Languages. ACM, New York (1996)Google Scholar
  9. 9.
    Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language Lustre. Proceedings of the IEEE 79(9) (1991)Google Scholar
  10. 10.
    Hughes, J., Pareto, L., Sabry, A.: Proving the correctness of reactive systems using sized types. In: Symposium on Principles of Programming Languages. ACM, New York (1996)Google Scholar
  11. 11.
    Jensen, T.: Clock analysis of synchronous dataflowp rograms. In: Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM, New York (1995)Google Scholar
  12. 12.
    Martin, U., Nipkow, T.: Unification in boolean rings. Journal of Automated Reasoning 4 (1988)Google Scholar
  13. 13.
    Matthews, J., Cook, B., Launchburry, J.: Microprocessor specification in Hawk. In: International Conference on Computer Languages. IEEE, Los Alamitos (1998)Google Scholar
  14. 14.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation (1992)Google Scholar
  15. 15.
    Pucella, R.: Reactive programming in Standard Ml. In: International Conference on Computer Languages. IEEE, Los Alamitos (1998)Google Scholar
  16. 16.
    Remi, D.: Type inference for records in a natural extension of Ml. Research report n. 1431. INRIA (1991) Google Scholar
  17. 17.
    Saraswat, V., Jagadeesan, R., Gupta, V.: Foundation of timed concurrent constraint programming. In: Symposium on Logic in Computer Science. IEEE, Los Alamitos (1994)Google Scholar
  18. 18.
    Talpin, J.-P., Jouvelot, P.: The type and effect discipline. Information and Computation 111(2) (1994)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Jean-Pierre Talpin
    • 1
  • David Nowak
    • 1
  1. 1.INRIA-Rennes and IRISARennes

Personalised recommendations