Title :
A Kleene Algebra of Tagged System Actors
Author :
Dey, Soumyajit ; Sarkar, Dipankar ; Basu, Anupam
Author_Institution :
Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Kharagpur, India
fDate :
3/1/2011 12:00:00 AM
Abstract :
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. Such an algebraic representation facilitates the usage of standard off-the-shelf theorem provers for reasoning about such systems for both behavioral verification through equivalence checking and property verification.
Keywords :
algebraic specification; concurrent engineering; embedded systems; signal representation; Kleene algebra; algebraic representation; heterogeneous embedded system; off-the-shelf theorem; tagged signal model; tagged system actor; tagged systems representation; Actor theory; Kleene algebra; heterogeneous embedded systems; tagged signal model;
Journal_Title :
Embedded Systems Letters, IEEE
DOI :
10.1109/LES.2010.2098846
