Theory of Modeling and Simulation
Theory of Modeling and Simulation
A framework for heterogeneous specification and design of electronic embedded systems in SystemC
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Formal techniques for SystemC verification
Proceedings of the 44th annual Design Automation Conference
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Verification of dynamically reconfigurable embedded systems by model transformation rules
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Informal DEVS conventions motivated by practical considerations (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
| Hi-index | 0.01 |
This paper describes a systematic approach to integrate the Discrete Event Specified System (DEVS) methodology into SystemC. It thus combines Model of Computation (MoC) specific properties and the features of an advanced SystemC environment. The execution of abstract system level DEVS models is comparable to pure SystemC models and is significantly faster compared to other DEVS environments. Thus, system level models based on abstract MoCs may easily be executed in a SystemC environment. The proposed integration is realized as a non-introspective extension to the SystemC 2.2 kernel. The DEVS models are implemented on an additional software layer above the SystemC simulation kernel. Our approach may be used simultaneously with other layered extensions, e.g., SystemC-AMS or TLM.