Tools for programming, code generation, and design

Synchronous languages [SP-IEEE,Hal93,SP-IEEE03] are a family of high-level programming languages devoted to the design of reactive software. A reactive program is intended to interact permanently with its environment, at speed determined by this environment (which cannot wait nor synchronize with the program). Almost all pieces of software devoted to the control of physical devices are or contain such reactive programs. In the synchronous paradigm, the execution of a program is a sequence of atomic reactions to inputs coming from the environment.

[1]  Rainer Leupers,et al.  Retargetable Compiler Technology for Embedded Systems , 2001, Springer US.

[2]  Gérard Berry,et al.  A hardware implementation of pure ESTEREL , 1992 .

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

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

[5]  Pierre G. Paulin,et al.  Network processors: a perspective on market requirements, processor architectures and embedded S/W tools , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

[6]  Paul Le Guernic,et al.  Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems , 1997, ARTS.

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

[8]  Stephen A. Edwards,et al.  An Esterel compiler for large control-dominated systems , 2002, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

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

[10]  Hermann Kopetz,et al.  The time-triggered architecture , 2003 .

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

[12]  Rainer Leupers,et al.  Code optimization techniques for embedded processors - methods, algorithms, and tools , 2000 .

[13]  Dr. Rainer Leupers.  Code Optimization Techniques for Embedded Processors , 2000, Springer US.

[14]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[15]  Sharad Malik,et al.  Automated synthesis of efficient binary decoders for retargetable software toolkits , 2003, DAC '03.

[16]  Teodor Rus,et al.  Transformation-Based Reactive Systems Development , 1997, Lecture Notes in Computer Science.

[17]  C. A. Petri,et al.  Concurrency Theory , 1986, Advances in Petri Nets.

[18]  Rainer Leupers,et al.  Retargetable compiler technology for embedded systems - tools and applications , 2001 .

[19]  Éric Rutten,et al.  Using Controller-Synthesis Techniques to Build Property-Enforcing Layers , 2003, ESOP.

[20]  Paul Caspi,et al.  Embedded Control: From Asynchrony to Synchrony and Back , 2001, EMSOFT.

[21]  Valérie Bertin,et al.  Efficient compilation of ESTEREL for real-time embedded systems , 2000, CASES '00.

[22]  Yves Sorel,et al.  Fault-tolerant static scheduling for real-time distributed embedded systems , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[23]  Yves Sorel,et al.  Off-line real-time fault-tolerant scheduling , 2001, Proceedings Ninth Euromicro Workshop on Parallel and Distributed Processing.

[24]  Nikil D. Dutt,et al.  EXPRESSION: a language for architecture exploration through compiler/simulator retargetability , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

[25]  Paul Le Guernic,et al.  SIGNAL: A declarative language for synchronous programming of real-time systems , 1987, FPCA.

[26]  Nicolas Halbwachs,et al.  Synchronous Programming of Reactive Systems , 1992, CAV.

[27]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[28]  Joost-Pieter Katoen,et al.  A probabilistic extension of UML statecharts: Specification and Verification. , 2002 .

[29]  Alain Girault,et al.  Automatic Production of Globally Asynchronous Locally Synchronous Systems , 2002, EMSOFT.

[30]  Pierre Deransart,et al.  Programming Languages Implementation and Logic Programming , 1989, Lecture Notes in Computer Science.

[31]  Lionel Morel.  Efficient Compilation of Array Iterators for Lustre , 2002, Electron. Notes Theor. Comput. Sci..

[32]  Amir Pnueli,et al.  Translation Validation for Synchronous Languages , 1998, ICALP.

[33]  Paul Caspi,et al.  Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors , 1999, IEEE Trans. Software Eng..

[34]  P. Le Guernic,et al.  Hybrid dynamical systems theory and the Signal language , 1990 .

[35]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

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

[37]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[38]  David I. August,et al.  The liberty structural specification language: a high-level modeling language for component reuse , 2004, PLDI '04.

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

[40]  Yoshinori Takeuchi,et al.  Rapid prototyping of JPEG encoder using the ASIP development system: PEAS-III , 2003, 2003 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03)..