Login

Shukla, Sandeep K.

Synthesis of Embedded Software

Shukla, Sandeep K. - Synthesis of Embedded Software, ebook

122,80€

Ebook, PDF with Adobe DRM
ISBN: 9781441964007
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Author(s)
 
Publisher
Springer
Publication year
2010
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9781441964007

Similar titles