An Operational Semantics of an Event-Driven System-Level Simulator

Authors:
Xiaoqing Peng;Huibiao Zhu;Jifeng He;Naiyong Jin
Affiliations:
East China Normal University, China;East China Normal University, China;East China Normal University, China;East China Normal University, China
Venue:
SEW '06 Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop
Year:
2006

Citing 0
Cited 3

Denotational approach to an event-driven system-level language

UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Generating denotational semantics from algebraic semantics for event-driven system-level language

UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Building SystemC waiting state automata

VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

As a system-level modelling language, SystemC possesses some new and interesting features such as delayed notifications, notification cancelling, notification overriding and delta-cycle. It is challenging to formalise SystemC. In this paper, we first select a kernel subset of SystemC and study its operational semantics. Based on the operational semantics we define a bisimulation relation, from which program equivalence is explored. Finally, we present a set of algebraic laws for the subset language, which can be proved based on the operational semantics model via bisimulation.