ICECCS 2009 | Sciweavers

22

click to vote

ICECCS
2009
IEEE

116views Hardware» more ICECCS 2009»

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

14 years 6 months ago

Download www.artist-embedded.org

Fateh Boutekkouk, Mohamed Benmohammed

claim paper

Read More »

43

click to vote

ICECCS
2009
IEEE

119views Hardware» more ICECCS 2009»

REMES: A Resource Model for Embedded Systems

14 years 6 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 »

34

click to vote

ICECCS
2009
IEEE

106views Hardware» more ICECCS 2009»

Visual Comparison of Graphical Models

14 years 6 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 »

39

click to vote

ICECCS
2009
IEEE

140views Hardware» more ICECCS 2009»

Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy

14 years 6 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 »

21

click to vote

ICECCS
2009
IEEE

115views Hardware» more ICECCS 2009»

AADL Simulation and Performance Analysis in SystemC

14 years 6 months ago

Download www.artist-embedded.org

Roberto Varona-Gomez, Eugenio Villar

claim paper