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.
This research was supported in part by the European Commission under the projects COLUMBUS, IST-2002-38314, and ARTIST, IST-2001-34820, by the NSF under the project ITR (CCR-0225610), and by the GSRC.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
Benveniste, A., Caillaud, B., Le Guernic, P.: Compositionality in dataflow synchronous languages: specification & distributed code generation. Information and Computation 163, 125–171 (2000)
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)
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)
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)
Berry, G.: The Foundations of Esterel. MIT Press, Cambridge (2000)
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)
Caspi, P.: Clocks in Dataflow languages. Theoretical Computer Science 94, 125–140 (1992)
Cortadella, J., Kondratyev, A., Lavagno, L., Sotiriou, C.: A concurrent model for de-synchronization. In: Proc. Intl. Workshop on Logic Synthesis (May 2003)
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)
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)
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The Synchronous Data Flow Programming Language LUSTRE. Proc. of the IEEE 79(9), 1305–1320 (1991)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-Integrated Development of Embedded Software. Proc. of the IEEE 91(1), 127–144 (2003)
Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997) ISBN 0-7923-9894-7
Lamport, L.: Time, clocks and the ordering of events in a distributed system. Communication of the ACM 21, 558–565 (1978)
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)
Le Guernic, P., Talpin, J.-P., Le Lann, J.-C.: Polychrony for system design. Journal for Circuits, Systems and Computers. World Scientific (April 2003)
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)
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)
Mokhtari, M., Marie, M.: Engineering Applications of MATLAB 5.3 and SIMULINK 3. Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benveniste, A., Carloni, L.P., Caspi, P., Sangiovanni-Vincentelli, A.L. (2003). Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. In: Alur, R., Lee, I. (eds) Embedded Software. EMSOFT 2003. Lecture Notes in Computer Science, vol 2855. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45212-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-45212-6_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20223-3
Online ISBN: 978-3-540-45212-6
eBook Packages: Springer Book Archive