Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

von

Herausgegeben:Shukla, Sandeep KumarTalpin, Jean-Pierre

BuchGebunden

266 Seiten

Englisch

Springererschienen am17.09.2010

It introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language.mehr

Verfügbare Formate

BuchKartoniert, Paperback

EUR129,98

BuchGebunden

EUR114,50

E-BookPDF1 - PDF WatermarkE-Book

EUR96,29

Auf dieser Seite:

EUR114,50

In den Warenkorb

Produkt

KlappentextIt introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language.

Details

ISBN/GTIN978-1-4419-6399-4

ProduktartBuch

EinbandartGebunden

Verlag

Springer

Erscheinungsjahr2010

Erscheinungsdatum17.09.2010

Seiten266 Seiten

SpracheEnglisch

Gewicht572 g

IllustrationenXV, 266 p.

Artikel-Nr.11295014

Rubriken

GenreNaturwissenschaft/Umwelt/Technik

Inhalt/Kritik

Inhaltsverzeichnis

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.mehr