Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > ActionC: An Action Systems App...

ActionC: An Action Systems Approach to System Design with SystemC

Tomi Metsälä, Tomi Westerlund, Seppo Virtanen, Juha Plosila, ActionC: An Action Systems Approach to System Design with SystemC. TUCS Technical Reports 865, Turku Centre for Computer Science, 2008.

Abstract:

ActionC is a new approach to rigorous modelling and development of computer systems. ActionC integrates SystemC, an informal design language, and Action Systems, a formal modelling language that supports verification and stepwise correctness-preserving refinement of system models. The ActionC approach combines the possibility to use a formal correct-by-construct method and an industry standard design language with simulation and synthesis support. In our approach Action Systems provides a formal foundation for an informal SystemC model with a promise of verified simulation, refinement and synthesis. At this point we have explored the first aspects of ActionC development: the SystemC implementations of nondeterminism and of Action Systems type inter-module communication. The early experiments have successfully produced simulatable SystemC descriptions of Action Systems.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tMeWeViPl08a,
  title = {ActionC: An Action Systems Approach to System Design with SystemC},
  author = {Metsälä, Tomi and Westerlund, Tomi and Virtanen, Seppo and Plosila, Juha},
  number = {865},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2008},
  keywords = {SystemC, Action Systems, Formal methods},
  ISBN = {978-952-12-2025-8},
}

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

Edit publication