MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded systems evolution

MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded systems evolution

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 com...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Becker, Markus, Defo, Gilles B. G., Fummi, Franco, Mueller, Wolfgang, Pravadelli, Graziano, Vinco, Sara
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Computer systems organization > Embedded and cyber-physical systems
Computer systems organization > Real-time systems
Computing methodologies > Modeling and simulation > Model development and analysis
Hardware > Hardware validation > Functional verification
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.5555/2492708.2492782