posted by user: botterweck || 2161 views || tracked by 7 users: [display]

MOMPES 2012 : 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software

FacebookTwitterLinkedInGoogle


Conference Series : Model-based Methodologies for Pervasive and Embedded Software
 
Link: http://www.di.uminho.pt/mompes/2012/
 
When Sep 4, 2012 - Sep 4, 2012
Where Essen, Germany
Submission Deadline Jul 16, 2012
Notification Due Aug 6, 2012
Final Version Due Aug 20, 2012
Categories    embedded systems   model-based software enginerei   pervasive systems
 

Call For Papers

***********************************************************

CALL FOR PAPERS - MOMPES 2012

8th International Workshop on Model-Based Methodologies
for Pervasive and Embedded Software

Collocated with ASE 2012 (27th IEEE/ACM International
Conference on Automated Software Engineering), Essen,
Germany, 3-7 September 2012

http://www.di.uminho.pt/mompes/2012/

***********************************************************

1 THEME AND TOPICS

Model-Based Development (MBD) is a software development
approach that relies on modelling and on systematic
transition from models to executable code. This workshop
focuses on the theoretical and practical aspects related
to the adoption of MBD methodologies (notations,
processes, methods, and tools) for the construction of
software for pervasive and embedded systems. In the
context of ASE 2012, the workshop focuses on how to
automate or partially automate tasks in this area to
achieve significant improvements in quality and
productivity.

Areas of interest include, but are not restricted to:

* Automated and Semi-automated Techniques
* Applied Formal Methods for Embedded Systems
* Semantics of Modelling Languages, Integration of Models
* Model Transformation and Code Generation
* Model-based Analysis, Testing and Verification
* Meta-modelling and Tools
* Feature Modelling
* Variability Modelling and Variability Realization
* Domain-specific Languages and Modelling
* Modelling of Non-Functional Requirements
* Model-based Architectures
* Software Process, Product Lines and Frameworks
* Model-based Traceability and Consistency
* Models for Ultra-Large Scale Systems
* Model-based Evolution and Change Management
* Experience Reports and Case Studies
* Reuse and Component-based Architectures
* Architectural Recovery in Legacy Systems
* Managing inconsistencies
* Model-based Testing, Model-driven Testing and Test-Driven
Development

We explicitly invite experience reports and case studies
related to these topics.

***********************************************************

2 SUBMISSIONS

We are seeking for research papers and experience reports
(max. 15 pages) as well as short and position papers (max.
6 pages). Submissions must conform to the LNCS template
available at

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

and should be submitted via the EasyChair website at

https://www.easychair.org/conferences/?conf=mompes2012

Submissions will be selected based on the relevance to the
workshop topics and the suitability to trigger interesting
discussions. Each paper will be reviewed by at least 3
members of the PC.

***********************************************************

3 IMPORTANT DATES

Paper submission: 21 June 2012
Notification: 19 July 2012
Camera ready copy: 2 August 2012
Workshop: 4 September 2012

***********************************************************

4 WORKSHOP FORMAT

The workshop will have a strong emphasis on interaction
between participants. Hence, we intend to use a
combination of (1) paper presentations with discussions on
paper topics in the morning and (2) an interactive session
in the afternoon.

***********************************************************

5 ORGANIZATION

PROGRAM COMMITTEE
* Robert Baillargeon, SODIUS, US
* Gaelle Calvary, U Joseph Fourier, FR
* Holger Giese, HPI Potsdam, DE
* Luis Gomes, UN Lisboa, PT
* Hans-Gerhard Gross, TU Delft, NL
* Timo D. Hämäläinen, TU Tampere, FI
* Chris Hankin, Imperial College, UK
* Stefan Kowalewski, RWTH Aachen, DE
* Luis Lamb, UFRGS, BR
* Pedro Jose Marron, U Duisburg-Essen, DE
* Dirk Muthig, Lufthansa Systems, DE
* Elvinia Riccobene, U Milano, IT
* Pablo Sanchez, U Malaga, ES
* Olaf Spinczyk, U Dortmund, DE
* Jonathan Sprinkle, U Arizona, US
* Martin Törngren, KTH Stockholm, SE
* Tim Trew, NDS, UK

ORGANIZATION COMMITTEE
* Ricardo J. Machado, U Minho (PT)
* Rita Suzana Maciel, U Federal da Bahia (BR)
* Julia Rubin, IBM Research, Haifa (IL)
* Goetz Botterweck, Lero and U Limerick (IE)

STEERING COMMITTEE
* Ricardo J. Machado, U Minho (PT), chair
* João M. Fernandes, U Minho (PT)
* Flávio R. Wagner, UFRGS (BR)
* Mike Hinchey, Lero & U Limerick (IE)
* Dov Dori, Technion (IL)

***********************************************************

6 PUBLICATION

All accepted papers will be published in a
post-proceedings volume of the Lecture Notes in Computer
Science (LNCS) series by Springer-Verlag.

Related Resources

ModComp 2018   5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2018
IJSCMC 2018   International Journal of Soft Computing, Mathematics and Control (IJSCMC)
HiPEAC 2019   High Performance Embedded Architectures and Compilers
DASC 2018   16th IEEE International Conference on Dependable, Autonomic and Secure Computing
MVV 2018   IEEE International Workshop on Model-Based Verification & Validation
ICICM--IEEE, EI and Scopus 2018   IEEE--2018 The 3rd International Conference on Integrated Circuits and Microsystems (ICICM 2018)--Ei Compendex and Scopus
IJCCSA 2018   International Journal on Cloud Computing: Services and Architecture
12th IEEE MCSOC 2018   IEEE 12th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-2018)
MathSJ 2018   Applied Mathematics and Sciences: An International Journal
MoDRE 2018   8th Int. Workshop on Model-Driven Requirements Engineering (MoDRE)