Abstract
We present a compositional theory of heterogeneous reactive systems. The approach is based on the concept of tags marking the events of the signals of a system. Tags can be used for multiple purposes from indexing evolution in time (time stamping) to expressing relations among signals, like coordination (e.g., synchrony and asynchrony) and causal dependencies. The theory provides flexibility in system modeling because it can be used both as a unifying mathematical framework to relate heterogeneous models of computations and as a formal vehicle to implement complex systems by combining heterogeneous components. In particular, we introduce an algebra of tag structures to define heterogeneous parallel composition formally. Morphisms between tag structures are used to define relationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specifications to loosely-synchronized implementations. The theory has an important application in the correct-by-construction deployment of synchronous design on distributed architectures.
- Alur, R. and Henzinger, T. A. 1999. Reactive modules. Formal Meth. Syst. Design 15, 7--48.]] Google Scholar
Digital Library
- 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.]]Google Scholar
Cross Ref
- 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.]] Google Scholar
Digital Library
- 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.]] Google Scholar
Digital Library
- Benveniste, A., Caillaud, B., and Le Guernic, P. 2000. Compositionality in dataflow synchronous languages: Specification & distributed code generation. Inform. Comput. 163, 125--171.]] Google Scholar
Digital Library
- 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.]] Google Scholar
Digital Library
- 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.]]Google Scholar
- 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.]]Google Scholar
Cross Ref
- Berry, G. 2000. The Foundations of Esterel. MIT Press, Cambridge, MA.]]Google Scholar
- 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.]] Google Scholar
Digital Library
- 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.]] Google Scholar
Digital Library
- Carloni, L. P., McMillan, K. L., and Sangiovanni-Vincentelli, A. L. 2001. Theory of latency-insensitive design. IEEE Trans. Comput.-Aid. Design Integr. Circuits Syst. 20, 9, 1059--1076.]] Google Scholar
Digital Library
- 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.]] Google Scholar
Digital Library
- 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.]] Google Scholar
Digital Library
- 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.]]Google Scholar
- 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).]] Google Scholar
Digital Library
- de Alfaro, L., and Henzinger, T. A. 2001. Interface theories 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.]] Google Scholar
Digital Library
- 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/]]Google Scholar
Cross Ref
- Halbwachs, N., Caspi, P., Raymond, P., and Pilaud, D. 1991. The synchronous data flow programming language LUSTRE. Proc. IEEE 79, 9, 1305--1320.]]Google Scholar
- Karsai, G., Sztipanovits, J., Ledeczi, A., and Bapty, T. 2003. Model-integrated development of embedded software. Proc. IEEE 91, 1, 127--144.]]Google Scholar
Cross Ref
- Kopetz, H. 1997. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishing, Novell, MA.]] Google Scholar
Digital Library
- Lamport, L. 1983. Specifying concurrent program modules. ACM Trans. Prog. Lang. Sys., 5, 2, 190--222.]] Google Scholar
Digital Library
- Lamport, L. 2003. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison Wesley Professional, Reading, MA.]] Google Scholar
Digital Library
- 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.]]Google Scholar
- Le Guernic, P., Talpin, J.-P., and Le Lann, J.-C. 2003. Polychrony for system design. J. Circuits Syst. Comput.]]Google Scholar
- Lee, E. A. and Sangiovanni-Vincentelli, A. 1998. A framework for comparing models of computation. IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. 17, 12, 1217--1229.]] Google Scholar
Digital Library
- 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.]] Google Scholar
Digital Library
- 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.]]Google Scholar
- 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).]]Google Scholar
- 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.]]Google Scholar
- 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.]] Google Scholar
Digital Library
- 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.]] Google Scholar
Digital Library
- 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.]] Google Scholar
Digital Library
- 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.]] Google Scholar
Digital Library
Index Terms
Composing heterogeneous reactive systems
Recommendations
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded softwareWe present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses diverse models of computation and communication such as synchronous, ...
A Coalgebraic Theory of Reactive Systems
In this paper we investigate the connection between two well known models for interactive systems. Reactive Systems a la Leifer and Milner allow to derive an interactive semantics from a reduction semantics guaranteeing, under rather restrictive ...
G-Reactive Systems as Coalgebras
The semantics of process calculi has traditionally been specified by labelled transition systems (LTSs), but with the development of name calculi it turned out that definitions employing reduction semantics are sometimes more natural. Reactive Systems a ...






Comments