- Shopping Bag ( 0 items )
From Barnes & NobleThe Barnes & Noble Review
The System-on-Chip (SoC) era is firmly upon us, but your ability to use modeling tools to design the systems has lagged behind. Enter author Axel Jantsch and his excellent Modeling Embedded Systems and SoC's, which sheds light on the best way to overcome modeling obstacles. The author provides the framework and concepts needed for building executable system models. Furthermore, he's made this book very useful for several types of reader, each with a different learning requirement.
For example, after an introduction in Chapter 1 that explains the importance of understanding models of computation and concurrency in system design and introduces basic system modeling concepts, Chapter 2 presents the important models of Finite State Machines and Petri Nets. Chapter 3, the heart of the book, introduces the author's formal modeling framework and notation in an introduction to untimed models of computation (MOC), with extensions to include the embedding of synchronous dataflow (one of the most useful models) in this analytical framework. Next, Chapter 4 adds major concepts of synchronous models, building a base for Chapter 5's introduction to timed models of computation. Chapter 6 examines the issue of interfacing different models, whether using the same or different MOC. Chapter 7 elaborates on tightly coupled process networks. Next, Chapter 8 addresses the important notions of determinism and nondeterminism and the use of stochastic processes as a more tractable substitution for nondeterministic models. The last major chapter in the book, Chapter 9, covers the use of the various models in performance analysis and functional specification, as well as the links between modeling, design, and synthesis.
Anyone interested in computational models for the design of embedded systems will find this outstanding book most helpful. It provides a close look at architectural issues that are fundamental for designing SoCs now and in the near future. John Vacca
John Vacca, the former computer security official (CSO) for NASA's space station program (Freedom), has written 38 books about advanced storage, computer security, and aerospace technology.