This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems
Oct. 2013 (vol. 62 no. 10)
pp. 1917-1931
Soumyajit Dey, Indian Institute of Technology, Patna
Dipankar Sarkar, Indian Institute of Technology, Kharagpur
Anupam Basu, Indian Institute of Technology, Kharagpur
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.
Index Terms:
Algebra,Computational modeling,Acceleration,Embedded systems,Upper bound,Protocols,Mathematical model,Kleene algebra,Tagged signal model,heterogeneous embedded systems,actor theory
Citation:
Soumyajit Dey, Dipankar Sarkar, Anupam Basu, "A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems," IEEE Transactions on Computers, vol. 62, no. 10, pp. 1917-1931, Oct. 2013, doi:10.1109/TC.2012.134
Usage of this product signifies your acceptance of the Terms of Use.