The Community for Technology Leaders
Model-Based Methodologies for Pervasive and Embedded Software, International Workshop on (2009)
Vancouver, BC, Canada
May 16, 2009 to May 16, 2009
ISBN: 978-1-4244-3721-4
TABLE OF CONTENTS
Papers
Papers

Title page (PDF)

pp. xvi

Foreword (PDF)

pp. xvii

Org committee (PDF)

pp. xviii

A relationship-based approach to model management (Abstract)

Marsha Chechik , Department of Computer Science, University of Toronto, ON, Canada
pp. 1

Applying software product line techniques in model-based embedded systems engineering (Abstract)

Andreas Polzer , RWTH Aachen University, Germany
Stefan Kowalewski , RWTH Aachen University, Germany
Goetz Botterweck , Lero - The Irish Software Engineering Research Centre, University of Limerick, Ireland
pp. 2-10

Reliable operating modes for distributed embedded systems (Abstract)

Wolfgang Haberl , Institut für Informatik, Technische Universität München, Boltzmannstr. 3, 85748 Garching b., Germany
Uwe Baumgarten , Institut für Informatik, Technische Universität München, Boltzmannstr. 3, 85748 Garching b., Germany
Stefan Kugele , Institut für Informatik, Technische Universität München, Boltzmannstr. 3, 85748 Garching b., Germany
pp. 11-21

On practical Service-Based Computing in distributed embedded automotive systems (Abstract)

Mike Hinchey , Lero¿the Irish Software Engineering Research Centre, University of Limerick, Ireland
Hesham Shokry , Lero¿the Irish Software Engineering Research Centre, University of Limerick, Ireland
pp. 22-30

A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems (Abstract)

Assaf Kfoury , Boston University, Computer Science, MA, USA
Michael Ocean , Endicott College, Computer Science, Beverly, MA, USA
Azer Bestavros , Boston University, Computer Science, MA, USA
pp. 31-41

Verification of an abstract component using communication patterns (Abstract)

Yunja Choi , School of Electrical Engineering and Computer Science, Kyungpook National University, Daegu, Korea
pp. 42-52

MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation (Abstract)

Flavio Rech Wagner , Institute of Informatics - Federal University of Rio Grande do Sul - UFRGS, Av. Bento Gonçalves, 9500, Porto Alegre, Brazil
Marcio Ferreira S. Oliveira , Institute of Informatics - Federal University of Rio Grande do Sul - UFRGS, Av. Bento Gonçalves, 9500, Porto Alegre, Brazil
Francisco Assis M. do Nascimento , Institute of Informatics - Federal University of Rio Grande do Sul - UFRGS, Av. Bento Gonçalves, 9500, Porto Alegre, Brazil
pp. 53-60

ArcheOpterix: An extendable tool for architecture optimization of AADL models (Abstract)

Aldeida Aleti , Faculty of ICT, Swinburne University of Technology, Hawthorn, VIC 3122, Australia
Lars Grunske , Faculty of ICT, Swinburne University of Technology, Hawthorn, VIC 3122, Australia
Stefan Bjornander , Faculty of ICT, Swinburne University of Technology, Hawthorn, VIC 3122, Australia
Indika Meedeniya , Faculty of ICT, Swinburne University of Technology, Hawthorn, VIC 3122, Australia
pp. 61-71
97 ms
(Ver )