Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution

M. Becker, G. B. G. Defo, F. Fummi, W. Mueller, G. Pravadelli, S. Vinco
2012 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)  
This work proposes an advanced methodology based on an open source virtual prototyping framework for verification of complex Heterogeneous Embedded Systems (HES). It supports early rapid modelling of complex HES through smooth refinements, an open interface based on IP-XACT extensions for secure composition of HES components, and automatic testbench generation over different abstraction levels.
doi:10.1109/date.2012.6176482 dblp:conf/date/BeckerDFMPV12 fatcat:ehp4n5fhkfce7nzhu5eooi6bpu