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

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Edited by: Sandeep Kumar Shukla Jean-Pierre Talpin Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive con...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Shukla, Sandeep Kumar (Editor ), Talpin, Jean-Pierre (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Temas:
Electronic circuits.
Computer-aided engineering.
Electronic Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Acceso en línea:Texto Completo
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