Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation (Systems on Silicon)

I recommend this book highly to those who are new to this subject or who need to better understand its formal underpinnings. System level tool developers will find these concepts an excellent basis for determining which modeling approaches will be supported and why. Jantsch's book is a major advance in the material available to students, researchers and practitioners alike in this important and vital area. -From the foreword by Grant Martin, Fellow, Cadence Laboratories This book is a groundbreaking first, offering a comparative analysis of families of methods. It will be extremely valuable to anyone who thinks about modeling and worries about how to select from competing approaches. -Edward A. Lee, University of California, Berkeley This book develops organizing principles for understanding, assessing, and comparing the different models of computation necessary for system level modeling. After developing this conceptual framework, Dr. Axel Jantsch presents a single formalism for representing very different models, allowing them to be easily compared. As a result, designers, students, and researchers are able to identify the role and the features of the "right" model of computation for the task at hand. ·Provides a systematic way to understand and apply different models of computation to embedded systems and SoC design. ·Offers insight into complex electronic systems design. ·Includes case studies, illustrative examples, applications, and suggested further reading. ·Presents a single formalism for representing very different models, allowing them to be easily compared.Axel Jantsch is the author of 'Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation (Systems on Silicon)', published 2003 under ISBN 9781558609259 and ISBN 1558609253.