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
Table of contents (9 chapters)
Keywords
About this book
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