DocumentCode
1400837
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
Volume
3
Issue
1
fYear
2011
fDate
3/1/2011 12:00:00 AM
Firstpage
28
Lastpage
31
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;
fLanguage
English
Journal_Title
Embedded Systems Letters, IEEE
Publisher
ieee
ISSN
1943-0663
Type
jour
DOI
10.1109/LES.2010.2098846
Filename
5664757
Link To Document