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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team