A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems

Author

Dey, Shuvashis ; Sarkar, Debdeep ; Basu, Anirban

Author_Institution

Dept. of Comput. Sci. & Eng., Indian Inst. of Technol. Kharagpur, Kharagpur, India

Volume

62

Issue

10

fYear

2013

fDate

Oct. 2013

Firstpage

1917

Lastpage

1931

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.

Keywords

embedded systems; equivalence classes; formal verification; process algebra; Kleene algebra semantics; TSM; algebraic representation; behavioral transformational verification; equivalence checking; formal framework; heterogeneous embedded system reasoning; property verification; tagged signal model; tagged system actors; tagged system representation; Acceleration; Algebra; Computational modeling; Embedded systems; Mathematical model; Protocols; Upper bound; Kleene algebra; Tagged signal model; actor theory; heterogeneous embedded systems;

fLanguage

English

Journal_Title

Computers, IEEE Transactions on

Publisher

ieee

ISSN

0018-9340

Type

jour

DOI

10.1109/TC.2012.134

Filename

6216352