Book 2010

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction


ISBN: 978-1-4419-6399-4 (Print) 978-1-4419-6400-7 (Online)

Table of contents (8 chapters)

  1. Front Matter

    Pages i-xv

  2. Chapter

    Pages 1-40

    Compilation of Polychronous Data Flow Equations

  3. Chapter

    Pages 41-78

    Formal Modeling of Embedded Systems with Explicit Schedules and Routes

  4. Chapter

    Pages 79-119

    Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software

  5. Chapter

    Pages 121-146

    Compiling SHIM

  6. Chapter

    Pages 147-171

    A Module Language for Typing SIGNAL Programs by Contracts

  7. Chapter

    Pages 173-199

    MRICDF: A Polychronous Model for Embedded Software Synthesis

  8. Chapter

    Pages 201-227

    The Time Model of Logical Clocks Available in the OMG MARTE Profile

  9. Chapter

    Pages 229-262

    From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations

  10. Back Matter

    Pages 263-266