Skip to main content
SpringerLink
Log in
Book cover

Embedded Systems Design Based on Formal Models of Computation

  • Book
  • © 2011

Overview

Authors:
  1. Ivan Radojevic

    1. Defence Technology Agency, New Zealand Defence Force, Auckland, New Zealand

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Zoran Salcic

    1. , Computer Systems Engineering, University of Auckland, Auckland, New Zealand

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Presents a complete design flow from specification to synthesis on multiprocessor architectures
  • Presents a model of computation which handles heterogeneous embedded systems consisting of both control-driven and data-driven parts
  • Demonstrates how modelling techniques presented can be used to improve design with SystemC and Esterel
  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Introduction

    • Ivan Radojevic, Zoran Salcic
    Pages 1-6

  3. Models of Computation and Languages

    • Ivan Radojevic, Zoran Salcic
    Pages 7-41

  4. Specification in DFCharts

    • Ivan Radojevic, Zoran Salcic
    Pages 43-59

  5. Semantics of DFCharts

    • Ivan Radojevic, Zoran Salcic
    Pages 61-92

  6. DFCharts in SystemC and Esterel

    • Ivan Radojevic, Zoran Salcic
    Pages 93-103

  7. Java Environment for DFCharts

    • Ivan Radojevic, Zoran Salcic
    Pages 105-123

  8. Heterogeneous Reactive Architectures of Embedded Systems

    • Ivan Radojevic, Zoran Salcic
    Pages 125-141

  9. Implementation of DFCharts on HiDRA

    • Ivan Radojevic, Zoran Salcic
    Pages 143-167

  10. Conclusions

    • Ivan Radojevic, Zoran Salcic
    Pages 169-173

  11. Back Matter

    Pages 175-183
    Download chapter PDF
Back to top

Keywords

About this book

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

Reviews

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 willing to include formal models of computation into the process of embedded systems design -- the issue being especially important in large scale or critical systems.” (Jozef Woźniak, Zentralblatt MATH, Vol. 1236, 2012)

Authors and Affiliations

  • Defence Technology Agency, New Zealand Defence Force, Auckland, New Zealand

    Ivan Radojevic

  • , Computer Systems Engineering, University of Auckland, Auckland, New Zealand

    Zoran Salcic

Bibliographic Information

  • Book Title: Embedded Systems Design Based on Formal Models of Computation

  • Authors: Ivan Radojevic, Zoran Salcic

  • DOI: https://doi.org/10.1007/978-94-007-1594-3

  • Publisher: Springer Dordrecht

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer Science+Business media B.V. 2011

  • Hardcover ISBN: 978-94-007-1593-6Published: 17 June 2011

  • Softcover ISBN: 978-94-017-8415-3Published: 16 October 2014

  • eBook ISBN: 978-94-007-1594-3Published: 15 June 2011

  • Edition Number: 1

  • Number of Pages: XV, 183

  • Topics: Engineering, general, Special Purpose and Application-Based Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation