In “Co-simulation of Embedded Systems in a Heterogeneous MoC-Based Modeling Framework , ” Seyed Hosein, Attarzadeh Niaki, and Ingo Sander of the Electronic Systems School of Information and Communication Technology at the KTH Royal Institute of Technology, Stockholm, Sweden, describe a new design methodology and modeling framework.
This formal system specification framework (ForSyDe) is based on the combined use of HDL code running in an HDL simulator, Simulink/MATLAB, and compiled software which is executed/simulated on an embedded soft processor.
It has as its aim the integration of legacy code and IP models using the concept of wrappers as the frame work within which to co-simulate/co-execute with external models which might be legacy code, an IP block, or an implementation of a partially refined system.
They are defined formally in order to keep the analyzability of the original framework and also enable automations such as generation of model wrappers and co-simulation interfaces.
Extensive use is made of Simulink’s modeling environment with a customizable set of block libraries that are used to model and simulate embedded systems.