Title :
MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution
Author :
Becker, Markus ; Defo, Gilles B G ; Fummi, Franco ; Mueller, Wolfgang ; Pravadelli, Graziano ; Vinco, Sara
Author_Institution :
Paderborn Univ., Paderborn, Germany
Abstract :
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.
Keywords :
embedded systems; formal verification; public domain software; HES components; IP-XACT; MOUSSE; abstraction levels; automatic testbench generation; complex heterogeneous embedded systems evolution modelling; complex heterogeneous embedded systems evolution verification; open source virtual prototyping framework; Computational modeling; Embedded systems; Engines; Kernel; Synchronization; Unified modeling language;
Conference_Titel :
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012
Conference_Location :
Dresden
Print_ISBN :
978-1-4577-2145-8
DOI :
10.1109/DATE.2012.6176482
