Advertisement

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

  • Albert Benveniste
  • Luca P. Carloni
  • Paul Caspi
  • Alberto L. Sangiovanni-Vincentelli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2855)

Abstract

We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate this by two cases: the deployment of synchronous designs over GALS architectures, and the deployment of synchronous designs over the so-called Loosely Time-Triggered Architectures.

Keywords

Physical Time Parallel Composition Successive Reaction Logical Time Asynchronous System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alur, R., Dang, T., Esposito, J., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G.J., Sokolsky, O.: Hierarchical Modeling and Analysis of Embedded Systems. Proc. of the IEEE 91(1), 11–28 (2003)CrossRefGoogle Scholar
  2. 2.
    Benveniste, A.: Some synchronization issues when designing embedded systems from components. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 32–49. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  3. 3.
    Benveniste, A., Caillaud, B., Le Guernic, P.: From synchrony to asynchrony. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 162–177. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  4. 4.
    Benveniste, A., Caillaud, B., Le Guernic, P.: Compositionality in dataflow synchronous languages: specification & distributed code generation. Information and Computation 163, 125–171 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Benveniste, A., Carloni, L.P., Caspi, P., Sangiovanni-Vincentelli, A.L.: Heterogeneous reactive systems modeling and correct-by-construction deployment. Technical Report UCB/ERL M03/23, Electronics Research Lab, University of California, Berkeley, CA 94720 (June 2003)Google Scholar
  6. 6.
    Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The Synchronous Language Twelve Years Later. Proc. of the IEEE 91(1), 64–83 (2003)CrossRefGoogle Scholar
  7. 7.
    Benveniste, A., Caspi, P., Le Guernic, P., Marchand, H., Talpin, J.-P., Tripakis, S.: A Protocol for Loosely Time-Triggered Architectures. In: Embedded Software. Proc. of the 2nd Intl. Workshop, EMSOFT 2002, Grenoble, France (October 2002)Google Scholar
  8. 8.
    Berry, G.: The Foundations of Esterel. MIT Press, Cambridge (2000)zbMATHGoogle Scholar
  9. 9.
    Carloni, L.P., McMillan, K.L., Sangiovanni-Vincentelli, A.L.: Theory of Latency-Insensitive Design. IEEE Trans. on Computer-Aided Design of Integrated. Circuits and Systems 20(9), 1059–1076 (2001)Google Scholar
  10. 10.
    Caspi, P.: Clocks in Dataflow languages. Theoretical Computer Science 94, 125–140 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Cortadella, J., Kondratyev, A., Lavagno, L., Sotiriou, C.: A concurrent model for de-synchronization. In: Proc. Intl. Workshop on Logic Synthesis (May 2003)Google Scholar
  12. 12.
    de Alfaro, L., Henzinger, T.A.: Interface Theories for Component-Based Design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 32–49. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  13. 13.
    Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Ludwig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity–The Ptolemy approach. Proc. of the IEEE 91(1), 127–144 (2003)CrossRefGoogle Scholar
  14. 14.
    Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The Synchronous Data Flow Programming Language LUSTRE. Proc. of the IEEE 79(9), 1305–1320 (1991)CrossRefGoogle Scholar
  15. 15.
    Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-Integrated Development of Embedded Software. Proc. of the IEEE 91(1), 127–144 (2003)CrossRefGoogle Scholar
  17. 17.
    Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997) ISBN 0-7923-9894-7zbMATHGoogle Scholar
  18. 18.
    Lamport, L.: Time, clocks and the ordering of events in a distributed system. Communication of the ACM 21, 558–565 (1978)zbMATHCrossRefGoogle Scholar
  19. 19.
    Le Guernic, P., Gautier, T., Le Borgne, M., Le Maire, C.: Programming real-time applications with SIGNAL. Proc. of the IEEE 79(9), 1326–1333 (1991)Google Scholar
  20. 20.
    Le Guernic, P., Talpin, J.-P., Le Lann, J.-C.: Polychrony for system design. Journal for Circuits, Systems and Computers. World Scientific (April 2003)Google Scholar
  21. 21.
    Lee, E.A., Sangiovanni-Vincentelli, A.: A Framework for Comparing Models of Computation. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems 17(12), 1217–1229 (1998)CrossRefGoogle Scholar
  22. 22.
    Lee, E.A., Xiong, Y.: System-Level Types for Component-Based Design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 32–49. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  23. 23.
    Mokhtari, M., Marie, M.: Engineering Applications of MATLAB 5.3 and SIMULINK 3. Springer, Heidelberg (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Albert Benveniste
    • 1
  • Luca P. Carloni
    • 3
  • Paul Caspi
    • 2
  • Alberto L. Sangiovanni-Vincentelli
    • 3
  1. 1.Irisa/InriaRennes cedexFrance
  2. 2.Verimag, Centre EquationGieres
  3. 3.U.C. BerkeleyBerkeleyUSA

Personalised recommendations