What do you think?
Rate this book
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Compilation of Polychronous Data Flow Equations.- Formal Modeling of Embedded Systems with Explicit Schedules and Routes.- A Domain-Specific Modeling Language for Space On-board Application Software.- Compiling SHIM.- A Module Language for Typing SIGNAL Programs by Contracts.- A Polychronous Model for Embedded Software Synthesis.- The Time Model of Logical Clocks Available in the OMG MARTE Profile.- From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations.
284 pages, Paperback
First published September 17, 2010
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.