Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction - Previously published in hardcover
BuchKartoniert, Paperback
266 Seiten
Englisch
Springererschienen am20.11.20142010
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

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.
ZusammenfassungEmbedded software is ubiquitous today and this book presents the state-of-the art-in the design of safety-critical, embedded software in a single reference. It is an invaluable reference for those concerned with improving the product development life-cycle.
Details
ISBN/GTIN978-1-4899-8737-2
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2014
Erscheinungsdatum20.11.2014
Auflage2010
Seiten266 Seiten
SpracheEnglisch
Gewicht438 g
IllustrationenXV, 266 p.
Artikel-Nr.33524179

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