SC2SCFL: Automated SystemC to SystemC double-struck F signdouble-struck L sign translation

Ka Lok Man*, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel Schellekens

*Corresponding author for this work

Research output: Chapter in Book or Report/Conference proceedingConference Proceedingpeer-review

9 Citations (Scopus)

Abstract

SystemCdouble-struck F signdouble-struck L sign is the formalisation of a reasonable subset of SystemC based on classical process algebras. During the last few years, SystemC double-struck F signdouble-struck L sign has been successfully used to give formal specifications of SystemC designs. For formal analysis purposes, so far, users have been required to transform manually their SystemC codes into corresponding SystemCdouble-struck F signdouble-struck L sign specifications. To verify some desired properties of SystemC double-struck F signdouble-struck L sign specifications using existing formal verification tools (e.g. NuSMV and SPIN), similarly, manual translations have been needed for turning SystemC double-struck F signdouble-struck L sign specifications into corresponding terms of the input language (e.g. SMV and PROMELA) of the selected formal verification tool. Since manual transformation and translations between SystemC codes, SystemC specifications, and various formalisms are quite laborious and therefore error-prone, these translations have to be made as much automatic as possible. The first step of the research in these directions is to automate the transformation from SystemC codes to SystemC specifications. In this paper, we present SC2SCFL (an automatic translation tool), which converts SystemC codes into corresponding SystemC double-struck F signdouble-struck L sign specifications.

Original languageEnglish
Title of host publicationEmbedded Computer Systems
Subtitle of host publicationArchitectures, Modeling, and Simulation - 7th International Workshop, SAMOS 2007, Proceedings
Pages34-45
Number of pages12
Publication statusPublished - 2007
Externally publishedYes
Event7th International Workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2007 - Samos, Greece
Duration: 16 Jul 200719 Jul 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4599 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference7th International Workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2007
Country/TerritoryGreece
CitySamos
Period16/07/0719/07/07

Cite this