loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Tomi Metsälä 1 ; Tomi Westerlund 2 ; Seppo Virtanen 2 and Juha Plosila 3

Affiliations: 1 Distributed Systems Design Laboratory, Turku Centre for Computer Science; University of Turku, Finland ; 2 University of Turku, Finland ; 3 University of Turku; Academy of Finland, Academy of Finland, Research Council for Natural Sciences and Engineering, Finland

ISBN: 978-989-8111-52-4

Keyword(s): Embedded Systems, Formal Methods, Action Systems, SystemC.

Related Ontology Subjects/Areas/Topics: Dependable Computing ; Embedded Communications Systems ; Enterprise Software Technologies ; Reliable Software Technologies ; Software Architectures ; Software Engineering ; Telecommunications

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 si mulatable SystemC descriptions of Action Systems. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.81.29.226

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

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

@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 3: ICSOFT,},
year={2008},
pages={246-251},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001900402460251},
isbn={978-989-8111-52-4},
}

TY - CONF

JO - Proceedings of the Third International Conference on Software and Data Technologies - Volume 3: 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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.