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

Rating:
Summary: Now I understand how "modelling" covers many spheres...
Review: The writer of this book, Dr. Axel Jantsch, is a professor at the Royal Institute of Technology in Stockholm, Sweden. As a postgraduate student at the Technical University of Denmark, I have participated Dr. Jantsch's course whose curriculum was dictated by this book.

Dr. Jantsch is a splendid lecturer and his a pioneer in his comprehensive, yet highly-readable, cover of modelling technieques for embedded systems. The book covers in depth notions such as final state machines, petri nets, as well as the untimed, timed and synchronous computation models. Dr. Jantsch does not, unlike other sources, sticks only to the formalism related to the modelling, but also includes "real life" examples that make the reader apprieciate what model of computation is the more optimal for his modelling aims.