Title :
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
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;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.2012.134
