Compilation of Polychronous Data Flow Equations

High-level embedded system design has gained prominence in the face of rising technological complexity, increasing performance requirements and shortening time to market demands for electronic equipments. Today, the installed base of intellectual property (IP) further stresses the requirements for adapting existing components with new services within complex integrated architectures, calling for appropriate mathematical models and methodological approaches to that purpose.

[1]  Michelle L. Crane,et al.  UML vs. classical vs. rhapsody statecharts: not all models are created equal , 2005, MoDELS'05.

[2]  Abdoulaye Gamatié.  Designing Embedded Systems with the SIGNAL Programming Language - Synchronous, Reactive Specification , 2010 .

[3]  Paul Le Guernic,et al.  Code generation in the SACRES project , 1999 .

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

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

[6]  A. A. Kountouris,et al.  Profiling of SIGNAL programs and its application in the timing evaluation of design implementations , 1996 .

[7]  P. Guernic,et al.  Data-flow to Von Neumann : the SIGNAL approach , 1990 .

[8]  Jean-Luc Gaudiot,et al.  Advanced Topics in Data-Flow Computing , 1991 .

[9]  Paul Le Guernic,et al.  A Module Language for Typing SIGNAL Programs by Contracts , 2010, Synthesis of Embedded Software.

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

[11]  Arvind,et al.  Some Relationships Between Asynchronous Interpreters of a Dataflow Language , 1977, Formal Description of Programming Concepts.

[12]  Pascal Aubry,et al.  Synchronous distribution of SIGNAL programs , 1996, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.

[13]  Mickaël Kerboeuf,et al.  Specification and Verification of a Steam-Boiler with Signal-Coq , 2000, TPHOLs.

[14]  Yves Sorel,et al.  From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations , 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..

[15]  Stephen A. Edwards,et al.  Compiling Esterel , 2007 .

[16]  Albert Benveniste,et al.  programmi language and its , 2001 .

[17]  Stephen A. Edwards,et al.  High level modeling and validation methodologies for embedded systems: bridging the productivity gap , 2003, 16th International Conference on VLSI Design, 2003. Proceedings..

[18]  Paul Le Guernic,et al.  Distributed Implementation of SIGNAL: Scheduling & Graph Clustering , 1994, FTRTFT.

[19]  Albert Benveniste,et al.  Real-time,synchronous,data-flow programming: the language "SIGNAL" and its mathematical semantics , 1986 .

[20]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[21]  Éric Rutten,et al.  Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller , 1996, AMAST.

[22]  P. H. Lindsay.  Human Information Processing , 1977 .

[23]  Michel Le Borgne.  Dynamical systems over Galois fields: Applications to DES and to the Signal Language , 1993 .

[24]  Jack B. Dennis,et al.  Data flow schemas , 1972, International Sympoisum on Theoretical Programming.

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

[26]  P. Guernic,et al.  Arborescent canonical form of boolean expressions , 1994 .

[27]  Florence Maraninchi,et al.  Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form , 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..