ICECCS 2009 | Sciweavers

6

click to vote

ICECCS
2009
IEEE

116views Hardware» more ICECCS 2009»

UML Modeling and Formal Verification of Control/Data Driven Embedded Systems

13 years 11 months ago

Download www.artist-embedded.org

Fateh Boutekkouk, Mohamed Benmohammed

claim paper

Read More »

14

click to vote

ICECCS
2009
IEEE

119views Hardware» more ICECCS 2009»

REMES: A Resource Model for Embedded Systems

13 years 11 months ago

Download www.mrtc.mdh.se

In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...

Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul...

claim paper

Read More »

11

click to vote

ICECCS
2009
IEEE

106views Hardware» more ICECCS 2009»

Visual Comparison of Graphical Models

13 years 11 months ago

Download rtsys.informatik.uni-kiel.de

Collaborative development, incremental design and revision management require the ability to compare different versions of software artifacts. There are well-established approache...

Arne Schipper, Hauke Fuhrmann, Reinhard von Hanxle...

claim paper

Read More »

11

click to vote

ICECCS
2009
IEEE

140views Hardware» more ICECCS 2009»

Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy

13 years 11 months ago

Download publik.tuwien.ac.at

OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...

Angelika Kusel, Wieland Schwinger, Manuel Wimmer, ...

claim paper

Read More »

7

click to vote

ICECCS
2009
IEEE

115views Hardware» more ICECCS 2009»

AADL Simulation and Performance Analysis in SystemC

13 years 11 months ago

Download www.artist-embedded.org

Roberto Varona-Gomez, Eugenio Villar

claim paper