RIGOROUS COMMUNICATION MODELLING AT TRANSACTION LEVEL WITH SYSTEMC

Tomi Metsälä, Tomi Westerlund, Seppo Virtanen, Juha Plosila

2008

Abstract

We introduce a communication model for ActionC, a framework for rigorous development of embedded computer systems. The concept of ActionC is the integration of SystemC, an informal design language, and Action Systems, a formal modelling language supporting 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 that also includes a simulation environment. Translation of an Action Systems model to the corresponding ActionC model is carried out with the means provided by SystemC and in a way that preserves the semantics of the underlying formal model. Hence, the ActionC framework allows us to reliably simulate Action Systems descriptions using standard SystemC tools, which is especially important for validating the initial formal specification of a system. Our initial experiments with ActionC have successfully produced correct-proven simulatable SystemC descriptions of Action Systems.

Download


Paper Citation


in Harvard Style

Metsälä T., Westerlund T., Virtanen S. and Plosila J. (2008). RIGOROUS COMMUNICATION MODELLING AT TRANSACTION LEVEL WITH SYSTEMC . In Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8111-52-4, pages 246-251. DOI: 10.5220/0001900402460251

in Bibtex Style

@conference{icsoft08,
author={Tomi Metsälä and Tomi Westerlund and Seppo Virtanen and Juha Plosila},
title={RIGOROUS COMMUNICATION MODELLING AT TRANSACTION LEVEL WITH SYSTEMC},
booktitle={Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2008},
pages={246-251},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001900402460251},
isbn={978-989-8111-52-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - RIGOROUS COMMUNICATION MODELLING AT TRANSACTION LEVEL WITH SYSTEMC
SN - 978-989-8111-52-4
AU - Metsälä T.
AU - Westerlund T.
AU - Virtanen S.
AU - Plosila J.
PY - 2008
SP - 246
EP - 251
DO - 10.5220/0001900402460251