Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Towards a unified execution model for transactions in TLM

: Niemann, B.; Haubelt, C.


Institute of Electrical and Electronics Engineers -IEEE-; Association for Computing Machinery -ACM-:
5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2007 : May 30 - June 1st, Nice, France
New York, NY: IEEE, 2007
ISBN: 1-4244-1050-9
International Conference on Formal Methods and Models for Codesign <2007, Nice>
Fraunhofer IIS ()

Even though Transaction Level Modeling(TLM) with SystemC is widely being used and despite the existence of several formal models for TLM, there is no generally accepted definition of what a transaction is and how exactly to define Transaction Level Modeling. The key contribution of this paper is the analysis of TLM characteristics and a definition of transactions resulting in better analyzability of TLMs. For this purpose, transactions are restricted to the ACID properties (atomicity, consistency, isolation, and durability) known from database systems. Based on these results, a finite state machine model well suited for formal analysis will be proposed along with an implementation of the basic concepts in SystemC.