Logga in

Shukla, Sandeep K.

Synthesis of Embedded Software

Shukla, Sandeep K. - Synthesis of Embedded Software, e-bok

108,90€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9781441964007
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

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

Författare
 
Utgivare
Springer
Utgivningsår
2010
Språk
en
Utgåva
1
Kategori
Teknologi, energi, trafik
Format
E-bok
eISBN (PDF)
9781441964007

Liknande e-böcker