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

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Shukla, Sandeep Kumar. (Editor ), Talpin, Jean-Pierre. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	New York, NY : Springer US : Imprint: Springer, 2010.
Edición:	1st ed. 2010.
Materias:	Electronic circuits. Computer-aided engineering. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design.

Tabla de Contenidos:

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.

Ejemplares similares