SciTePress - Affiliation Profile

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Affiliation

Select a Subject
Refine Ontology Subject

University of Turku; Academy of Finland, Academy of Finland, Research Council for Natural Sciences and Engineering

Context (please use complete words only)

Field

Sort by

1 Papers

RIGOROUS COMMUNICATION MODELLING AT TRANSACTION LEVEL WITH SYSTEMC

Topics: Reliable Software Technologies; Software Architectures; Dependable Computing

Authors: Tomi Metsälä ¹ , Tomi Westerlund ² , Seppo Virtanen ² and Juha Plosila ³

Affiliations: ¹ Distributed Systems Design Laboratory, Turku Centre for Computer Science; University of Turku, Finland , ² University of Turku, Finland , ³ University of Turku; Academy of Finland, Academy of Finland, Research Council for Natural Sciences and Engineering, Finland

Digital Object Identifier: 10.5220/0001900402460251

Proceedings of ICSOFT 2008, ISBN: 978-989-8111-52-4

Quick 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.

Related Ontology Subjects/Areas/Topics (7)

Dependable Computing	Reliable Software Technologies	Software Engineering
Embedded Communications Systems	Software Architectures	Telecommunications
Enterprise Software Technologies