HetMoC: Heterogeneous Modelling in SystemC

The authors propose a novel Heterogeneous Model-of-Computation (HetMoC) framework in SystemC for embedded computing systems. As the main contribution, they formally define the computation and communication in multiple domains (continuous-time, discrete-event, synchronous/reactive, and untimed) as polymorphic processes and signals, and present domain interfaces to integrate different domains together for heterogeneous process networks. Especially, the continuous-time signals are defined with time continuum, which are distinguished from existing approaches. For implementation, a functional modeling style has been adopted to construct HetMoC.