.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Embedded Systems Design Based on Formal Models of Computation
Radojevic, Ivan; Salcic, Zoran
€ 126.69
FREE Delivery in Ireland
Description for Embedded Systems Design Based on Formal Models of Computation
Paperback. 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). Num Pages: 198 pages, 10 black & white tables, biography. BIC Classification: TBC; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 314.
"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 ... Read more
"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 ... Read more
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer Netherlands
Number of pages
198
Condition
New
Number of Pages
183
Place of Publication
Dordrecht, Netherlands
ISBN
9789401784153
SKU
V9789401784153
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Embedded Systems Design Based on Formal Models of Computation
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 ... Read more