Embedded Systems Design Based on Formal Models of Computation als Buch (gebunden)
PORTO-
FREI

Embedded Systems Design Based on Formal Models of Computation

Auflage 2011. Paperback. Sprache: Englisch.
Buch (gebunden)
This book presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combining finite state machines (FSM) with synchronous dataflow graphs (SDFG).
Dieser Artikel ist auch verfügbar als:
Buch (gebunden)

€ 119,99 *

inkl. MwSt.
Portofrei
Sofort lieferbar
1.200 Lesepunkte
Embedded Systems Design Based on Formal Models of Computation als Buch (gebunden)

Produktdetails

Titel: Embedded Systems Design Based on Formal Models of Computation
Autor/en: Ivan Radojevic, Zoran Salcic

ISBN: 9401784159
EAN: 9789401784153
Auflage 2011.
Paperback.
Sprache: Englisch.
Springer Netherlands

16. Oktober 2014 - kartoniert - 200 Seiten

Beschreibung

"Models of Computation for Heterogeneous Embedded Systems" presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combining finite state machines (FSM) with synchronous dataflow graphs (SDFG). FSMs are connected in the same way as in Argos (a Statecharts variant with purely synchronous semantics) using three operators: synchronous parallel, refinement and hiding. The fourth operator, called asynchronous parallel, is introduced in DFCharts to connect FSMs with SDFGs. In the formal semantics of DFCharts, the operation of an SDFG is represented as an FSM. Using this representation, SDFGs are merged with FSMs so that the behaviour of a complete DFCharts specification can be expressed as a single, flat FSM. This allows system properties to be verified globally. The practical application of DFCharts has been demonstrated by linking it to widely used system-level languages Java, Esterel and SystemC.

Inhaltsverzeichnis

1. Introduction.- 2. Models of Computation and Languages.- 3. Specification in DFCharts.- 4. Semantics of DFCharts.- 5. DFCharts in SystemC and Esterel.- 6. Java Environment for DFCharts.- 7. Heterogeneous Reactive Architectures of Embedded Systems.- 8. Implementation of DFCharts on HiDRA.- 9. Conclusions.- 10. References.

Pressestimmen

From the reviews:

"The book under review provides a wide overview of issues related to the design of embedded systems, i.e., units usually embedded inside a larger system. ... The aspects addressed in this book are up-to-date due to their recent utilization in many areas including, e.g., communications, electronics, or biomedicine. ... This book is undoubtedly dedicated to practitioners willing to include formal models of computation into the process of embedded systems design -- the issue being especially important in large scale or critical systems." (Jozef Wozniak, Zentralblatt MATH, Vol. 1236, 2012)
Entdecken Sie mehr
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
1 Mängelexemplare sind Bücher mit leichten Beschädigungen, die das Lesen aber nicht einschränken. Mängelexemplare sind durch einen Stempel als solche gekennzeichnet. Die frühere Buchpreisbindung ist aufgehoben. Angaben zu Preissenkungen beziehen sich auf den gebundenen Preis eines mangelfreien Exemplars.

2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.