6. MOMPES 2009: Vancouver, BC, Canada

ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada. IEEE Computer Society 2009, ISBN 978-1-4244-3721-4

Invited Talk

Marsha Chechik:
A relationship-based approach to model management. 1

Distributed Embedded Systems

Andreas Polzer, Stefan Kowalewski, Goetz Botterweck:
Applying software product line techniques in model-based embedded systems engineering. 2-10
Wolfgang Haberl, Stefan Kugele, Uwe Baumgarten:
Reliable operating modes for distributed embedded systems. 11-21
Hesham Shokry, Mike Hinchey:
On practical Service-Based Computing in distributed embedded automotive systems. 22-30

Formal Approaches

Michael J. Ocean, Assaf J. Kfoury, Azer Bestavros:
A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems. 31-41
Yunja Choi:
Verification of an abstract component using communication patterns. 42-52

Tools

Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner:
MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation. 53-60
Aldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya:
ArcheOpterix: An extendable tool for architecture optimization of AADL models. 61-71

Last update Tue May 21 17:46:04 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page