Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Shukla, Sandeep Kumar. (Editor), Talpin, Jean-Pierre. (Editor)
Format:	eBook
Language:	English
Published:	New York, NY : Springer US : Imprint: Springer, 2010.
Edition:	1st ed. 2010.
Subjects:	Electronic circuits. Computer-aided engineering. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design.

Table of Contents:

Compilation of Polychronous Data Flow Equations
Formal Modeling of Embedded Systems with Explicit Schedules and Routes
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software
Compiling SHIM
A Module Language for Typing SIGNAL Programs by Contracts
MRICDF: 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.

Similar Items