DocumentCode
1651132
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
fYear
2012
Firstpage
296
Lastpage
299
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012
Conference_Location
Dresden
ISSN
1530-1591
Print_ISBN
978-1-4577-2145-8
Type
conf
DOI
10.1109/DATE.2012.6176482
Filename
6176482
Link To Document