Synthesis of Embedded Software

1. Compilation of Polychronous Data Flow Equations
Loïc Besnard, Thierry Gautier, Paul Guernic, Jean-Pierre Talpin

2. Formal Modeling of Embedded Systems with Explicit Schedules and Routes
Julien Boucaron, Anthony Coadou, Robert Simone

3. Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software
A. Cortier, L. Besnard, J. P. Bodeveix, J. Buisson, F. Dagnat, M. Filali, G. Garcia, J. Ouy, M. Pantel, A. Rugina, M. Strecker, J. P. Talpin

4. Compiling SHIM
Stephen A Edwards, Nalini Vasudevan

5. A Module Language for Typing SIGNAL Programs by Contracts
Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin

6. MRICDF: A Polychronous Model for Embedded Software Synthesis
Bijoy A. Jose, Sandeep K. Shukla

7. The Time Model of Logical Clocks Available in the OMG MARTE Profile
Charles André, Julien DeAntoni, Frédéric Mallet, Robert Simone

8. From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations
Dumitru Potop-Butucaru, Robert Simone, Yves Sorel

Keywords: Engineering, Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design