Paper Info
Title
Automatic generation of systemc models from component-based designs for early design validation and performance analysis
Abstract
In this paper we present an approach of generating SystemC executable models from software designs captured in a new component-based modeling language, COLA, which follows the paradigm of synchronous dataflow. COLA has rigorous semantics and specification mechanisms. Due to its well-founded semantics, it is possible to establish an integrated development process, the artifacts of which can be formally reasoned about and are dealt with in automated tools such as model checkers and code generators. However, the resulting models remain abstract and cannot be executed immediately. Therefor SystemC offers executable models of a component-based flavor. Establishing an automated translation procedure from COLA to SystemC thus allows for design validation and performance analysis during early design phases. We have validated our approach on a case study taken from the automotive domain.
Year
DOI
Venue
2008
10.1145/1383559.1383577
WOSP
Keywords
Field
DocType
systemc model,new component-based modeling language,rigorous semantics,automatic generation,component-based flavor,executable model,component-based design,automated tool,performance analysis,design validation,automated translation procedure,systemc executable model,therefor systemc,early design validation,early design phase,performance,design,modeling language,software design,component based design,code generation,simulation,cola,development process
Programming language,Computer science,Modeling language,Real-time computing,SystemC,Code generation,Software,Dataflow,Semantics,Executable,Automotive industry
Conference
Citations 
PageRank 
References 
3
0.42
8
Authors
4
Name
Order
Citations
PageRank
Zhonglei Wang112010.57
Wolfgang Haberl2505.18
Stefan Kugele37213.96
Michael Tautschnig442525.84