• Mar 05, 2019 News!Vol.11, No.1 has been published with online version.   [Click]
  • Aug 06, 2018 News!Vol.9, No.1-Vol.9, No.4 have been indexed by EI (Inspec).   [Click]
  • Dec 29, 2018 News!Vol.10, No.6 has been published with online version.   [Click]
General Information
Prof. Wael Badawy
Department of Computing and Information Systems Umm Al Qura University, Canada
I'm happy to take on the position of editor in chief of IJCTE. We encourage authors to submit papers concerning any branch of computer theory and engineering.
IJCTE 2009 Vol.1(4): 434-440 ISSN: 1793-8201
DOI: 10.7763/IJCTE.2009.V1.70

SystemCtlm FL: the Successor of SystemCFL

K. L. Man and M. Mercaldi

Abstract—In this paper, we introduce SystemC tlm FL, an algebraic theory based on classical process algebras “Algebra of Communicating Processes (ACP)” and “A Timed Process Algebra for Specifying Real-Time Systems (ATP)” that can be used to specify and analyze the behavior of SystemC designs. This language is the successor of the SystemC FL language. The SystemC tlm FL language extends SystemC FL with the possibility to define process term instantiations and for the use of SystemC positional connections/named connection and Transaction Level Modeling (TLM). We illustrate the practical use of SystemC tlm FL by means of several examples (including a TLM example).

Index Terms—SystemC, formal semantics, SystemC FL, SystemC tlm FL, process algebras, formal specification and analysis, transaction level modeling

Ka Lok Man is with Solari, Hong Kong,
M. Mercaldi is with M.O.S.T., Turin, Italy


Cite: K. L. Man and M. Mercaldi, "SystemCtlm FL: the Successor of SystemCFL," International Journal of Computer Theory and Engineering vol. 1, no. 4, pp. 434-440, 2009.

Copyright © 2008-2019. International Journal of Computer Theory and Engineering. All rights reserved.
E-mail: ijcte@iacsitp.com