Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Introducing Action Systems Cla...

Introducing Action Systems Class Hierarchy to SystemC Modelling

Tomi Metsälä, Tomi Westerlund, Juha Plosila, Introducing Action Systems Class Hierarchy to SystemC Modelling. TUCS Technical Reports 946, Turku Centre for Computer Science, 2009.

Abstract:

ActionC is an integration of SystemC, an informal design language for embedded systems, and Action Systems, a formal modelling language that supports verification and stepwise correctness-preserving refinement of system models. In the ActionC approach Action Systems sets a formal foundation for SystemC modelling providing a possibility to verify the design as early as during the construction of the first transaction level model. This report provides an implementation for the ActionC language structures that concern Action Systems type system verification with invariants. The implementation introduced here will be a part of a larger modelling framework that will be elaborated in the future.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tMeWePl09a,
  title = {Introducing Action Systems Class Hierarchy to SystemC Modelling},
  author = {Metsälä, Tomi and Westerlund, Tomi and Plosila, Juha},
  number = {946},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2009},
  keywords = {SystemC, Action Systems, ActionC, Formal methods, System modelling, System verification},
  ISBN = {978-952-12-2310-5},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication