Subscribe

Issue No.10 - Oct. (2013 vol.62)

pp: 1917-1931

Soumyajit Dey , Indian Institute of Technology, Patna

Dipankar Sarkar , Indian Institute of Technology, Kharagpur

Anupam Basu , Indian Institute of Technology, Kharagpur

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2012.134

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. 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.134REFERENCES