--------------------------------------------------------------
CALL FOR PARTICIPATION

2nd International Workshop on Formal Methods and Analysis in Software Product
Line Engineering (FMSPLE 2011), 26 August 2011
http://www.iese.fraunhofer.de/events/fmsple/
Featuring a keynote by Prof. Alexander Felfernig

Co-located with the 15th International Software Product Line Conference
(SPLC 2011), 22 - 26 August 2011
http://www.splc2011.net/

--------------------------------------------------------------

Registration Website: http://www.splc2011.net//registration-1/index.html
Early Bird Registration Deadline: July 20, 2011

--------------------------------------------------------------
PROGRAM
(might be subject to minor changes)

09:00-09:15 Welcome and Opening
09:15-10:30 Keynote Prof. Alexander Felfernig
10:30-11:00 Coffee break
11:00-12:30 Paper presentations and discussion
- Jesús García-Galán, Pablo Trinidad, José A. Galindo and Antonio Ruiz-Cortés. Tool supported error detection and explanations on feature models
- Peter Wong, Nikolay Diakov and Ina Schaefer. Modelling Software Product Lines using HATS Approach – A Fredhopper Case Study
- José A. Galindo, Fabricia Roos-Frantz, Jesús García-Galán and Antonio Ruiz-Cortés. Extracting Orthogonal Variability Models from Debian Repositories
12:30-14:00 Lunch break
14:00-15:30 Tutorial: Modeling, Executing, and Visualizing Software Product Lines using the HATS Tool Suite
15:30-16:00 Coffee break
16:00-17:00 Discussion Session: Future research directions and the future of FMSPLE
17:00-17:15 Wrap-Up and Summary

--------------------------------------------------------------
BACKGROUND AND OBJECTIVES

Software product line engineering (SPLE) aims at developing a family of systems by systematic, large-scale reuse in order to reduce time to market and costs and to increase product quality. In order to achieve these goals, formal methods and analysis are promising approaches, which are best applied throughout the product line lifecycle in order to maximise their overall efficiency and effectiveness. While some analysis approaches (e.g., for feature modelling, variant management) and formal methods (e.g., BDDs, CSPs, SAT solvers, model checkers or formal semantics of variability models) have already been applied to SPLE, a considerable potential still seems to be unexploited. Despite the initial works mentioned above, the respective communities (SPLE, analysis and formal methods) have only been loosely connected. This workshop will bring together researchers interested in raising the efficiency and effectiveness of SPLE by applying innovative analysis approaches and formal methods. The two long term objectives are as follows:

- To raise awareness and a common understanding of challenges, constraints and approaches in the different communities and,
- To create a broader community interested in formal methods and analysis approaches in order to keep SPLE tools and research up-to-date with latest technologies.

FMSPLE 2011 merges two successful workshops in these fields, namely, the FMSPLE workshop 2010 (http://www.iese.fraunhofer.de/de/veranstaltungen_messen/fmsple/2010) and the ASPL workshop 2008 (http://www.isa.us.es/aspl08), both co-located with the International Software Product Line Conference.

LOCATION

The workshop will be held on 26 August 2011, at Munich (Germany), co-located with the SPLC conference from 22 - 26 August 2011. http://www.splc2011.net/

PROGRAM COMMITTEE

S. Apel, Univ. Passau, Germany
E. Bagheri, Athabasca Univ., Canada
D. Batory, Univ. of Texas, USA
A. Bauer, NICTA, Australia
M. Broy, Univ. Munich, Germany
D. Clarke, KU Leuven, Belgium
A. Classen, Univ. of Namur, Belgium
F. de Boer, CWI, Netherlands
A. Gruler, Siemens, Germany
K. Havelund, NASA JPL, USA
P. Heymans, Univ. Namur, Belgium
K. Larsen, Aalborg Univ., Denmark
T. Männistö, Helsinki Univ. of Techn., Finland
M. Mendonca, Univ. of Waterloo, Canada
D. Muthig, Lufthansa Systems, Germany
B. O'Sullivan, Cork Constraint Computation Centre, Ireland
A. Ruiz-Cortes, Univ. Seville, Spain
G. Schneider, Univ. Gothenburg, Sweden
D. Schmidt, SEI, USA
J. White, Virginia Tech, USA

PROGRAM COMMITTEE CHAIRS

David Benavides (Univ. Seville, Spain)
Martin Leucker (Univ. Luebeck, Germany)

ORGANIZING COMMITTEE

Martin Becker (Fraunhofer IESE, Germany
Rick Rabiser (Univ. Linz, Austria)
Karina Villela (Fraunhofer IESE, Germany)
Peter Y.H. Wong (Fredhopper, Netherlands)