Publica
Hier finden Sie wissenschaftliche Publikationen aus den FraunhoferInstituten. Towards a unified execution model for transactions in TLM
 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: 1424410509 S.103112 
 International Conference on Formal Methods and Models for Codesign <2007, Nice> 

 Englisch 
 Konferenzbeitrag 
 Fraunhofer IIS () 
Abstract
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.