- 5 Results
Lowest price: € 6.70, highest price: € 139.09, average price: € 106.06
1
Embedded Systems Design Based on Formal Models of Computation
Order
at Dodax.de
€ 134.18
Shipment: € 0.001
Order
Provider details
Sponsored link

Embedded Systems Design Based on Formal Models of Computation - new book

ISBN: 9789400715936

"Models of Computation for Heterogeneous Embedded Systems" presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combinin… More...

Nr. 10 black & white tables. Shipping costs:, Lieferzeit: zwischen 5 - 7 Werktagen Tage, DE. (EUR 0.00)
close (x)
2
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
Order
at Springer.com
€ 139.09
Shipment: € 0.001
Order
Provider details
Sponsored link

Ivan Radojevic; Zoran Salcic:

Embedded Systems Design Based on Formal Models of Computation - hardcover

ISBN: 9789400715936

"Models of Computation for Heterogeneous Embedded Systems" presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combinin… More...

new in stock. Shipping costs:zzgl. Versandkosten. (EUR 0.00)
close (x)
3
Embedded Systems Design Based on Formal Models of Computation - Salcic, Zoran; Radojevic, Ivan
Order
at Achtung-Buecher.de
€ 111.22
Shipment: € 0.001
Order
Provider details
Sponsored link
Salcic, Zoran; Radojevic, Ivan:
Embedded Systems Design Based on Formal Models of Computation - hardcover

2011

ISBN: 9400715935

2011 Gebundene Ausgabe Technik / Allgemeines, Einführung, Lexikon, Ingenieurswesen, Maschinenbau allgemein, ComputationModels; embeddedsystems; finitestatemachines; SystemLevelDesign; S… More...

Shipping costs:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
4
Embedded Systems Design Based on Formal Models of Computation - Radojevic, Ivan und Zoran Salcic
Order
at AbeBooks.de
CHF 6.48
(aprox. € 6.70)
Shipment: € 8.621
Order
Provider details
Sponsored link
Radojevic, Ivan und Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - hardcover

2011, ISBN: 9400715935

[EAN: 9789400715936], Gebraucht, guter Zustand, [PU: Springer Netherland], SYSTEMC,EMBEDDED SYSTEMS,SYSTEM LEVEL DESIGN,FINITE STATE MACHINES,COMPUTATION MODELS,, Gepflegter, sauberer Zus… More...

NOT NEW BOOK. Shipping costs: EUR 8.62 Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
close (x)
5
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
Order
at lehmanns.de
€ 139.09
Shipment: € 0.001
Order
Provider details
Sponsored link
Ivan Radojevic; Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - hardcover

2011, ISBN: 9789400715936

Buch, Hardcover, [PU: Springer], Springer, 2011

Shipping costs:sofort lieferbar. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Embedded Systems Design Based on Formal Models of Computation
Author:
Title:
ISBN:

9400715935


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

Details of the book - Embedded Systems Design Based on Formal Models of Computation


EAN (ISBN-13): 9789400715936
ISBN (ISBN-10): 9400715935
Hardcover
Publishing year: 2011
Publisher: Springer
183 Pages
Weight: 0,435 kg
Language: Englisch

Book in our database since 2008-07-03T21:22:07+01:00 (London)
Detail page last modified on 2023-10-10T20:32:36+01:00 (London)
ISBN/EAN: 9400715935

ISBN - alternate spelling:
94-007-1593-5, 978-94-007-1593-6
Alternate spelling and related search-keywords:
Book author: rado, zoran
Book title: models, design embedded systems

Information from Publisher

Author: Ivan Radojevic
Title: Embedded Systems Design Based on Formal Models of Computation
Publisher: Springer; Springer Netherland
183 Pages
Publishing year: 2011-06-17
Dordrecht; NL
Printed / Made in
Language: English
109,99 € (DE)

BB; Hardcover, Softcover / Technik; Ingenieurswesen, Maschinenbau allgemein; Verstehen; Computation Models; Embedded Systems; Finite State Machines; System Level Design; SystemC; Technology and Engineering; Special Purpose and Application-Based Systems; Wissensbasierte Systeme, Expertensysteme; EA; BC

One of the key problems in modern embedded systems design is the productivity gap. While the performance of computing architectures has been rapidly increasing in the past few decades, design tools have not kept pace. As a result, it is becoming increasingly difficult for embedded systems designers to handle complex applications. An obvious solution is to raise the abstraction level of design tools and at the same time enable automatic synthesis from high level specifications.  This leads to a demand for a formal model of computation, which sets the rules for communication among concurrent processes comprising the system. Since there is a lack of suitable models of computation for heterogeneous embedded systems containing both control-driven and data-driven behaviors, this book attempts to fill that gap with a new design methodology.  At the heart of the methodology lies a model called DFCharts.  A complete design flow is covered, from a system specification in a formal language to an implementation on a multiprocessor architecture. The methodology is demonstrated with a practical heterogeneous embedded system applied in power systems monitoring. In addition, suggestions are provided as to how DFCharts-based modeling can be used to improve design with two popular system level languages, SystemC and Esterel. Throughout the book, examples are provided to illustrate main concepts. The reader is not required to have a deep understanding of models of computation. Only basic familiarity is assumed. 

More/other books that might be very similar to this book

Latest similar book:
9783854209850 Journal der Bilder und Einbildungen (Helwig Brunner)

< to archive...