CALL FOR PARTICIPATION Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009)
A one-day ACM/IEEE ICSE Workshop: Sat, May 16, 2009 Vancouver, British Columbia, Canada http://www.di.uminho.pt/~mompes/ Registration: https://server2.regmaster3.com/conf/ICSE09/register.php (early registration deadline 11th April 2009) %%%%%%%%%%%%%%%%%%%%%%%%%% Final Programme - 16.May.2009 08h45 - 09h00: Welcome and Opening Session 09h00 - 10h30: Session on Distributed Embedded Systems- Applying Software Product Line Techniques in Model-based Embedded Systems Engineering
by Andreas Polzer, Stefan Kowalewski and Goetz Botterweck(RWTH Aachen University, Germany and Lero / University of Limerick, Ireland)
- Reliable Operating Modes for Distributed Embedded Systems by Wolfgang Haberl, Stefan Kugele and Uwe Baumgarten (TU München and TU Darmstadt, Germany)- On Practical Service-Based Computing in Distributed Embedded Automotive Systems
by Hesham Shokry and Mike Hinchey (Lero / University of Limerick, Ireland) 10h30 - 11h00: coffee break 11h00 - 12h30: Invited Talk - A Relationship-Based Approach to Model Management by Marsha Chechik (University of Toronto, Canada) 12h30 - 14h30: lunch 14h30 - 15h30: Session on Formal Approaches- A Formal Type-Centric Framework for Verification and Resource Allocation in Pervasive Sense-and-Respond Systems
by Michael Ocean, Assaf Kfoury and Azer Bestavros (Endicott College and Boston University, USA) - Verification of an Abstract Component using Communication Patterns by Yunja Choi (Kyungpook National University, Korea) 15h30 - 16h00: coffee break 16h00 - 17h00: Session on Tools- MDE Approach to the Co-Synthesis of Embedded Systems Using a MOF- based Internal Design Representation by Francisco Assis Moreira Nascimento, Marcio Ferreira S. Oliveira and Flávio Rech Wagner
(UFRGS, Brazil)- ArcheOpterix: An Extendable Tool for Architecture Optimization of AADL Models
by Aldeida Aleti, Stefan Björnander, Lars Grunske and Indika Meedeniya (Swinburne University of Technology, Australia) 17h00 - 17h15: Closing Session -- Joao M. Fernandes, Ph.D. Dept. Informatics Universidade do Minho 4710-057 Braga, PORTUGAL Phone: +351-253604454 Fax: +351-253604471 Email: jmf(AT)di(DOT)uminho(DOT)pt Web: www.di.uminho.pt/~jmf
smime.p7s
Description: S/MIME cryptographic signature
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
