A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems
Soumyajit Dey, Dipankar Sarkar, Anupam Basu · IEEE Transactions on Computers · 2012
The tagged signal model (TSM) is a formal framework for modeling heterogeneous embedded systems. In the present work, we provide a representation of tagged systems using the semantics of Kleene algebra. We further illustrate mechanisms for both behavioral transformational verification through equivalence checking and property verification of heterogeneous embedded systems based on this algebraic representation.