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

Authors:
Markus Becker;Gilles B. G. Defo;Franco Fummi;Wolfgang Mueller;Graziano Pravadelli;Sara Vinco
Affiliations:
Paderborn University, Germany;Paderborn University, Germany;University of Verona, Italy and EDALab s.r.l., Italy;Paderborn University, Germany;University of Verona, Italy and EDALab s.r.l., Italy;University of Verona, Italy
Venue:
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Year:
2012

Citing 10
Cited 0

Co-simulation of Hybrid Systems: Signal-Simulink

FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Metropolis: An Integrated Electronic System Design Environment

Computer
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A framework for embedded system specification under different models of computation in SystemC

Proceedings of the 43rd annual Design Automation Conference
QEMU, a fast and portable dynamic translator

ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
Modeling refining heterogeneous systems with SystemC-AMS: application to WSN

Proceedings of the conference on Design, automation and test in Europe
A cosimulation methodology for HW/SW validation and performance estimation

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Abstraction of RTL IPs into embedded software

Proceedings of the 47th Design Automation Conference
Model-driven design and validation of embedded software

Proceedings of the 6th International Workshop on Automation of Software Test
Heterogeneous Behavioral Hierarchy Extensions for SystemC

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Quantified Score

Hi-index	0.00

Visualization

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.