Heterogeneous reactive systems modeling and correct-by-construction deployment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2855, Issue , 2003, Pages 35-50

  Benveniste, Albert ^a   Carloni, Luca P ^c   Caspi, Paul ^b   Sangiovanni Vincentelli, Alberto L ^c  

^a CAMPUS DE BEAULIEU   (France)

^b VERIMAG   (France)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

CORRECT-BY-CONSTRUCTION; DESIGN TECHNIQUE; GALS ARCHITECTURE; HETEROGENEOUS REACTIVE SYSTEMS; MATHEMATICAL FRAMEWORKS; SYNCHRONOUS DESIGNS; TIME-TRIGGERED ARCHITECTURES;

ARTIFICIAL INTELLIGENCE;

EID: 0142249993     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45212-6_4     Document Type: Article

References (23)

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