Composing heterogeneous reactive systems

Transactions on Embedded Computing Systems

Volumn 7, Issue 4, 2008, Pages

  Benveniste, Albert ^a   Caillaud, Benoît ^a   Carloni, Luca P ^b   Caspi, Paul ^c   Sangiovanni Vincentelli, Alberto L ^d  

^a CAMPUS DE BEAULIEU   (France)

^b Och Spine at New York Presbyterian Hospitals

^c VERIMAG   (France)

^d UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Compositionality; Correct by construction design; GALS; Models of computation; Reactive systems

Indexed keywords

ASYNCHRONY; COMPLEX SYSTEMS; COMPOSITIONAL THEORY; COMPOSITIONALITY; CORRECT-BY-CONSTRUCTION DESIGN; DISTRIBUTED ARCHITECTURES; GALS; HETEROGENEOUS COMPONENTS; HETEROGENEOUS MODELS; HETEROGENEOUS REACTIVE SYSTEMS; LEVELS OF ABSTRACTION; MATHEMATICAL FRAMEWORKS; MODELS OF COMPUTATION; MORPHISMS; PARALLEL COMPOSITION; REACTIVE SYSTEMS; SYSTEM MODELLING; TIME STAMPING;

ALGEBRA; CHLORINE COMPOUNDS; COORDINATION REACTIONS; SEMICONDUCTOR DEVICE MODELS; SET THEORY; SPECIFICATIONS;

AUTOMOBILE PARTS AND EQUIPMENT;

EID: 49449086550     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/1376804.1376811     Document Type: Article

References (34)

1. ALUR, R. AND HENZINGER, T. A. 1999. Reactive modules. Formal Meth. Syst. Design 15, 7-48.
2. ALUR, R., DANG, T., ESPOSITO, J., HUR, Y., IVANCIC, F., KUMAR, V., LEE, I., MISHRA, P., PAPPAS, G. J., AND SOKOLSKY, O. 2003. Hierarchical modeling and analysis of embedded systems. Proc. IEEE 91, 1, 11-28.
3. BALARIN, F., WATANABE, Y., HSIEH, H., LAVAGNO, L., PASSERONE, C., AND SANGIOVANNI- VINCENTELLI, A. 2003. Metropolis: An integrated electronic system design environment. IEEE Comput. 36, 4, 45-52.
4. BENVENISTE, A., CAILLAUD, B., AND LE GUERNIC, P. 1999. From synchrony to asynchrony. In Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99). Lecture Notes in Computer Science, vol. 1664, 162-177. Springer, Berlin.
5. BENVENISTE, A., CAILLAUD, B., AND LE GUERNIC, P. 2000. Compositionality in dataflow synchronous languages: Specification & distributed code generation. Inform. Comput. 163, 125-171.
6. BENVENISTE, A., CASPI, P., LE GUERNIC, P., MARCHAND, H., TALPIN, J.-P., AND TRIPAKIS, S. 2002. A protocol for loosely time-triggered architectures. In Proceedings of the 2nd International Workshop on Embedded Software (EMSOFT'02). A. Sangiovanni-Vincentelli and J. Sifakis Eds., Lecture Notes in Computer Science, vol. 2491, 252-265, Springer, Berlin.
7. BENVENISTE, A., CARLONI, L. P., CASPI, P., AND SANGIOVANNI-VINCENTELLI, A. L. 2003. Heterogeneous reactive systems modeling and correct-by-construction deployment. In Proceedings of the 3rd International Conference on Embedded Software (EMSOFT'03). Lecture Notes in Computer Science, vol. 2855, Springer, Berlin.
8. BENVENISTE, A., CASPI, P., EDWARDS, S., HALBWACHS, N., LE GUERNIC, P., AND DE SIMONE, R. 2003. The synchronous language twelve years later. Proc. IEEE 91, 1, 64-83.
9. BERRY, G. 2000. The Foundations of Esterel. MIT Press, Cambridge, MA.
10. BURCH, J., PASSERONE, R., AND SANGIOVANNI-VINCENTELLI, A. L. 2001. Overcoming heterophobia: Modeling concurrency in heterogeneous systems. Proceedings of the 2nd International Conference on Application of Concurrency to System Design.
11. BUTTAZZO, G. 2002. Scalable applications for energy-aware processors. In Proceedings of the 2nd International Workshop on Embedded Software (EMSOFT'02). A. Sangiovanni-Vincentelli and J. Sifakis Eds., Lecture Notes in Computer Science, vol. 2491, 153-165. Springer, Berlin.
12. CARLONI, L. P., MCMILLAN, K. L., AND SANGIOVANNI-VINCENTELLI, A. L. 2001. Theory of latencyinsensitive design. IEEE Trans. Comput.-Aid. Design Integr. Circuits Syst. 20, 9, 1059-1076.
13. CASPI, P. 2001. Embedded control: From asynchrony to synchrony and back. In Proceedings of 1st International Workshop on Embedded Software (EMSOFT'01). T.A. Henzinger and C.M. Kirsch Eds., Lecture Notes in Computer Science, vol. 2211. Springer, Berlin, 80-96.
14. CHAKRABARTI, A., DE ALFARO, L., HENZINGER, T. A., AND MANG, F. Y. C. 2002. Synchronous and bidirectional component interfaces. In Proceedings of the 14th International Conference on Computer-Aided Verification (CAV'02), Lecture Notes in Computer Science, Springer, Berlin, 414-427.
15. CORTADELLA, J., KONDRATYEV, A., LAVAGNO, L., AND SOTIRIOU, C. 2003. A concurrent model for de-synchronization. In Proceedings of the International Workshop on Logic Synthesis.
16. DE ALFARO, L. AND HENZINGER, T. A. 2001a. Interface automata. In Proceedings of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE01).
17. DE ALFARO, L., AND HENZINGER, T. A. 2001. Interface theories for component-based design. In Proceedings of 1st InternationalWorkshop on Embedded Software (EMSOFT'01). T. A. Henzinger and C. M. Kirsch Eds., Lecture Notes in Computer Science, vol. 2211, Springer, Berlin, 32-49.
18. EKER, J., JANNECK, J. W., LEE, E. A., LIU, J., LUDWIG, J., NEUENDORFFER, S., SACHS, S., AND XIONG, Y. 2003. Taming heterogeneity-The Ptolemy approach. Proc. IEEE, 91, 1, 127-144. http://ptolemy.eecs.berkeley.edu/ptolemyII/
19. HALBWACHS, N., CASPI, P., RAYMOND, P., AND PILAUD, D. 1991. The synchronous data flow programming language LUSTRE. Proc. IEEE 79, 9, 1305-1320.
20. KARSAI, G., SZTIPANOVITS, J., LEDECZI, A., AND BAPTY, T. 2003. Model-integrated development of embedded software. Proc. IEEE 91, 1, 127-144.
21. KOPETZ, H. 1997. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishing, Novell, MA.
22. LAMPORT, L. 1983. Specifying concurrent program modules. ACM Trans. Prog. Lang. Sys., 5, 2, 190-222.
23. LAMPORT, L. 2003. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison Wesley Professional, Reading, MA.
24. LE GUERNIC, P., GAUTIER, T., LE BORGNE, M., AND LE MAIRE, C. 1991. Programming real-time applications with SIGNAL. Proc. IEEE 79, 9, 1326-1333.
25. LE GUERNIC, P., TALPIN, J.-P., AND LE LANN, J.-C. 2003. Polychrony for system design. J. Circuits Syst. Comput.
26. LEE, E. A. AND SANGIOVANNI-V INCENTELLI, A. 1998. A framework for comparing models of computation. IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. 17, 12, 1217-1229.
27. LEE, E. A., AND XIONG, Y. 2001. System-level types for component-based design. In Proceedings of 1st International Workshop on Embedded Software (EMSOFT'01). T. A. Henzinger and C. M. Kirsch Eds., Lecture Notes in Computer Science, vol. 2211. Springer, Berlin, 32-49.
28. MATTERN, F. 1989. Virtual time and global states of distributed systems. In Proceedings of the International Workshop on Parallel & Distributed Algorithms. M. Cosnard et al. Eds., Elsevier Science, Berlin, 215-226.
29. MATHAIKUTTY, D., PATEL, H., AND SHUKLA, S. 2004. A functional programming framework of heterogeneous model of computations for system design. In Proceedings of the Forum on Specification and Design Languages (FDL).
30. MATHAIKUTTY, D., PATEL, H., SHUKLA, S., AND JANTSCH, A. 2005. UMoC++: A C++-based multi-MoC modeling environment. In Advances in Design and Specification Languages for SoCs-Selected Contributions from FDL'05, A. Vachoux, Ed. Chapter 7. Springer, Berlin.
31. POTOP-BUTUCARU, D., CAILLAUD, B., AND BENVENISTE, A. 2004. Concurrency in synchronous systems. In Proceedings of the 4th International Conference on Applications of Concurrency in System Design (ACSD). Hamilton, Canada.
32. POTOP-BUTUCARU, D. AND CAILLAUD, B. 2005. Correct-by-construction asynchronous implementation of modular synchronous specifications. In Proceedings of the 5th International Conference on Application of Concurrency to System Design (ACSD'05). 48-57.
33. SANDER, I. AND JANTSCH, A. 2004. System modeling and transformational design refinement in ForSyDe, IEEE Trans. Comput. Aided Design Integr. Circuits Syst. 23, 1, 17-32.
34. WINSKEL, G. 1982. Event structure semantics for CCS and related languages. In Proceedings of ICALP. M. Nielsen and M. Schmidt Eds., Lecture Notes in Computer Science, vol. 140. Springer-Verlag, Berlin, 561-576.