Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
|
Buy Now
Embedded Systems Design Based on Formal Models of Computation (Hardcover, 2011 Ed.)
Loot Price: R3,857
Discovery Miles 38 570
|
|
Embedded Systems Design Based on Formal Models of Computation (Hardcover, 2011 Ed.)
Expected to ship within 12 - 17 working days
|
"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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.