Domain-Specific Modeling Languages for Embedded System ...

28.06.2013 • Views

Share Embed Flag

Domain-Specific Modeling Languages for Embedded System ...

Domain-Specific Modeling Languages for Embedded System ...

DOWNLOAD ePAPER

adt.cs.upb.de

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

START NOW

Snapshot <strong>for</strong> an image processing hardware

Introduction

Timing Aspects in Timing Aspects in QEMU/SystemC Synchronization

Program Instrumentation with QEMU

PRoot: a Step Forward for QEMU User-Mode

Code Generation for QEMU/SystemC Cosimulation from SysML

QEmu TCG Enhancements for Speeding-up the Emulation of SIMD ...

Program Instrumentation with QEMU

An IP-XACT-TO-SystemC Model Generator for Mutation Analysis

PRoot: a Step Forward for QEMU User-Mode

Using QEMU in timing estimation for mobile software development

A SysML-based Framework with QEMU-SystemC Code Generation

MARSS-x86: A QEMU-Based Micro-Architectural and Systems ...

Verification of a CAN bus model in SystemC with functional coverage

QEMU and SystemC QEMU and SystemC

Contact: Profound Yasutaka Tsukamoto tsukamoto@profound-dt.co.jp

Snapshot <strong>for</strong> an image processing hardware

Page 1 and 2: Domain-Specific Modeling Languages
Page 3 and 4: Metamodel and model: instance of
Page 5: Example: Breakfast - a modeling too
Page 9 and 10: Railway track control system
Page 11 and 12: PLC heating application
Page 13 and 14: Multi-view mobile app development
Page 15 and 16: Mobile point-of-sale system
Page 17 and 18: Call processing
Page 19 and 20: Test vector generation & verificati
Page 22 and 23: Language(s) + Code Generator
Page 24 and 25: Productivity increase measured Perc
Page 26 and 27: Modeling both SW and system Combin
Page 28 and 29: Design space exploration Performan
Page 30 and 31: Time to develop languages & generat
Page 32: For details Kelly, S., Tolvanen, J