This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The 12 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. The workshop discussed a range of challenges in embedded systems design that require further major advances in technology.1. x is reset in step i, thatis, x a reset(ei), and 2. x is bounded from below in step j, thatis, (xalt;1) ac guard(ej )=a . ... We say that a TBA A is structurally non-zeno if every accepting structural loop of A spends time. ... Any TBA A can be transformed into a strongly non-zeno TBA A , such that: (1) A has one clock more than A and (2) ... The simulation graph was automatically generated using the Kronos  tool.
|Title||:||Composition of Embedded Systems. Scientific and Industrial Issues|
|Author||:||Fabrice Kordon, Oleg Sokolsky|
|Publisher||:||Springer Science & Business Media - 2008-01-11|