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 The Meaning of Relativity by Ivan Radojevic, Zoran Salcic
Cover of the book A Functional Biology of Parasitism by Ivan Radojevic, Zoran Salcic
Cover of the book Cultivating Biodiversity to Transform Agriculture by Ivan Radojevic, Zoran Salcic
Cover of the book Circulating Nucleic Acids in Plasma and Serum by Ivan Radojevic, Zoran Salcic
Cover of the book The Comical by Ivan Radojevic, Zoran Salcic
Cover of the book Epistemology versus Ontology by Ivan Radojevic, Zoran Salcic
Cover of the book Mitteleuropa by Ivan Radojevic, Zoran Salcic
Cover of the book Actin-based Motility by Ivan Radojevic, Zoran Salcic
Cover of the book Gastrointestinal Motility by Ivan Radojevic, Zoran Salcic
Cover of the book The Fertility Transition in Iran by Ivan Radojevic, Zoran Salcic
Cover of the book Patient-Specific Computational Modeling by Ivan Radojevic, Zoran Salcic
Cover of the book Alternative Action Theory by Ivan Radojevic, Zoran Salcic
Cover of the book Some Newly Established Asian States and the Development of International Law by Ivan Radojevic, Zoran Salcic
Cover of the book On the Problem of Empathy by Ivan Radojevic, Zoran Salcic
Cover of the book Literary Figures in French Drama (1784–1834) 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