Embedded Systems Design Based on Formal Models of Computation

Nonfiction, Computers, Advanced Computing, Programming, Expert Systems, General Computing, Science & Nature, Technology
Cover of the book Embedded Systems Design Based on Formal Models of Computation by Ivan Radojevic, Zoran Salcic, Springer Netherlands
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Ivan Radojevic, Zoran Salcic ISBN: 9789400715943
Publisher: Springer Netherlands Publication: June 15, 2011
Imprint: Springer Language: English
Author: Ivan Radojevic, Zoran Salcic
ISBN: 9789400715943
Publisher: Springer Netherlands
Publication: June 15, 2011
Imprint: Springer
Language: English

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

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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

More books from Springer Netherlands

Cover of the book Rescuing Reason by Ivan Radojevic, Zoran Salcic
Cover of the book Lycium Barbarum and Human Health by Ivan Radojevic, Zoran Salcic
Cover of the book Costs of Ammonia Abatement and the Climate Co-Benefits by Ivan Radojevic, Zoran Salcic
Cover of the book Activation, Metabolism and Perfusion of the Heart by Ivan Radojevic, Zoran Salcic
Cover of the book Membrane Biochemistry by Ivan Radojevic, Zoran Salcic
Cover of the book Scientific Procedures by Ivan Radojevic, Zoran Salcic
Cover of the book New Strategies to Advance Pre/Diabetes Care: Integrative Approach by PPPM by Ivan Radojevic, Zoran Salcic
Cover of the book Philosophy, Language, and Artificial Intelligence by Ivan Radojevic, Zoran Salcic
Cover of the book Cement and Concrete Chemistry by Ivan Radojevic, Zoran Salcic
Cover of the book Modern Physics and its Philosophy by Ivan Radojevic, Zoran Salcic
Cover of the book Reference, Truth and Conceptual Schemes by Ivan Radojevic, Zoran Salcic
Cover of the book Cognition and Fact by Ivan Radojevic, Zoran Salcic
Cover of the book Freedom and Dignity by Ivan Radojevic, Zoran Salcic
Cover of the book Judaism in the Theology of Sir Isaac Newton by Ivan Radojevic, Zoran Salcic
Cover of the book Population and Development by Ivan Radojevic, Zoran Salcic
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy