Round Trip to Asynchrony and Synchrony.
Jens Brandt, Klaus Schneider · MBMV · 2011
State of-the-art embedded system design methods generally use different languages and models, which differ in their abstraction levels and underlying models of computation (MoC). Depending on a particular application, one MoC may be better suited than another one, so that different MoCs are in use and have to be considered in the design of embedded systems. However, this heterogeneity makes an integrated analysis and synthesis of systems challenging. In particular, problems arise during synthesis if system parts have to be translated from one MoC to another one. This paper considers two fundamental MoCs, which are based on different time models, namely synchronous and asynchronous (untimed) systems. We highlight their relationship and present transformations between these MoCs. We thereby abstract from concrete languages by using guarded actions to represent system behaviors.