Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling

Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-by-construction deployment of synchronous designs over distributed architecture (such as GALS or LTTA). In this paper, we extend our framework to model explicitly causality relations and scheduling constraints. We show how the formal results on the preservation of semantics hold also for these cases and we discuss the overall contribution in the context of previous work on desynchronization.

[1]  Albert Benveniste.  Some Synchronization Issues When Designing Embedded Systems from Components , 2001, EMSOFT.

[2]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[3]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[4]  Gérard Berry,et al.  The foundations of Esterel , 2000, Proof, Language, and Interaction.

[5]  Jean-Christophe Le Lann,et al.  POLYCHRONY for System Design , 2003, J. Circuits Syst. Comput..

[6]  Benoît Caillaud,et al.  From Synchrony to Asynchrony , 1999, CONCUR.

[7]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[8]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[9]  Vijay Kumar,et al.  Hierarchical modeling and analysis of embedded systems , 2003, Proc. IEEE.

[10]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[11]  Alberto L. Sangiovanni-Vincentelli,et al.  Theory of latency-insensitive design , 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[12]  Alberto L. Sangiovanni-Vincentelli,et al.  Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment , 2003, EMSOFT.

[13]  Stephen A. Edwards,et al.  The Synchronous Languages Twelve Years Later , 1997 .

[14]  Albert Benveniste,et al.  Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation , 2000, Inf. Comput..

[15]  Edward A. Lee,et al.  System-Level Types for Component-Based Design , 2001, EMSOFT.

[16]  Luciano Lavagno,et al.  A concurrent model for de-synchronization , 2003 .

[17]  Mohand Mokhtari,et al.  Engineering Applications of MATLAB 5.3 and SIMULINK 3 , 2000 .

[18]  Paul Caspi.  Clocks in Dataflow Languages , 1992, Theor. Comput. Sci..

[19]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[20]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[21]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[22]  Thomas A. Henzinger,et al.  Interface Theories for Component-Based Design , 2001, EMSOFT.

[23]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.