Overview
- 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
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (9 chapters)
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
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