[TYPES/announce] FMSPLE'12 Deadline Extension (1st June) - Third Workshop on Formal Methods and Analysis in Software Product Line Engineering

[Fabricia Roos Frantz]

Deadline for paper submission has been extended to June 1, 2012

CALL FOR PAPERS
Third Workshop on Formal Methods and Analysis in Software Product
Line Engineering (FMSPLE 2012), 2 September 2012
http://www.iese.fraunhofer.de/en/events/fmsple2012.html

Co-located with the 16th International Software Product Line Conference
(SPLC 2012), 2 - 7 September 2012, Salvador, Brazil
http://www.splc2012.net/

--------------------------------------------------------------
IMPORTANT DATES:
- Deadline for submissions: June 01, 2012
- Notification of acceptance: June 15, 2012
- Final papers due: June 29, 2012
--------------------------------------------------------------


BACKGROUND AND OBJECTIVES

Software product line engineering (SPLE) aims at developing a family
of systems by reuse in order to reduce time to market and to increase
product quality. The correctness of the development artifacts intended
for reuse as well as the correctness of the developed products is of
crucial interest for many safety-critical or business-critical
applications. Formal methods and analysis approaches have been
successfully applied in single system engineering over the last years
in order to rigorously establish critical system requirements.
However, in SPLE, formal methods and analysis approaches are not
broadly applied yet, despite their potential to improve product
quality. One of the reasons is that existing formal approaches from
single system engineering do not consider variability, an essential
aspect of product lines.

The objective of the workshop "Formal Methods and Analysis in Software
Product Line Engineering (FMSPLE)" is to bring together researchers
and practitioners from the SPLE community with researchers and
practitioners working in the area of formal methods and analysis. So
far, both communities are only loosely connected, despite very
promising initial work on formal analysis techniques for software
product lines. The workshop aims at reviewing the state of the art and
the state of the practice in which formal methods and analysis
approaches are currently applied in SPLE. This leads to a discussion
of a research agenda for the extension of existing formal approaches
and the development of new formal techniques for dealing with the
particular needs of SPLE. To achieve the above objectives, the
workshop is intended as a highly interactive event fostering
discussion and initiating collaborations between the participants from
both communities.


TOPICS

The proposed workshop focuses on the application of formal methods and
analysis approaches in all phases of SPLE, including domain and
application engineering, in order to ensure the correctness of
individual artifacts as well as the consistency among them. The topics
of interest include, but are not limited to:
- Analysis approaches and formal methods for:
    - domain analysis and scoping
    - variability modeling
    - specification and verification of functional and non-functional
properties in SPLE
    - safety and security aspects in SPLE
    - product line architectures and component-based product line development
    - product line implementation, such as type systems, programming
languages, formal semantics
    - formal verification of product lines and product line artifacts
    - correctness-by-construction techniques in SPLE
    - automated test case generation and model-based testing in SPLE
    - product derivation and application engineering
    - product line life-cycle management (e.g., consistency assurance)
    - reuse and evolution of SPLs
- Proofs of concept, industrial experiences and empirical evaluations
- Tool presentations
- Vision and position papers on formal methods and analyses applied to SPLE


FORMAT

The FMSPLE workshop will be a full-day event, starting with a keynote
presentation by David Benavides, University of Seville, Spain. The
keynote will be followed by presentations of selected peer-reviewed
papers. To foster interaction within the workshop, a discussant will
be assigned to each presented paper. The task of the discussant will
be to prepare a summary of the paper and initiate the discussion of
its results. The workshop will close with a discussion of its
participants to summarize the state of the art and the state of the
practice as presented in the workshop, to collect research challenges
for the application of formal methods in SPLE and to identify research
topics for future workshops.


PREVIOUS WORKSHOPS

FMSPLE merges two workshops, namely FMSPLE 2010
(http://www.iese.fraunhofer.de/en/events/fmsple2010.html) and ASPL
2008 (http://www.isa.us.es/aspl08), both of which were affiliated to
the International Software Product Line Conference (SPLC). A first
joint edition was held in 2011 as FMSPLE at the 15th SPLC
(http://www.iese.fraunhofer.de/en/events/fmsple2011.html). This is the
3rd edition of the successful FMSPLE workshop series.


SUBMISSION AND PUBLICATION

The contributed papers are expected to comprise research papers
containing novel and previously unpublished results, experience
reports, reports of industrial case studies, tool descriptions, and
short papers describing work in progress or exploratory ideas. All
papers have to follow the ACM two-column conference proceedings format
(Letter) and be 4 - 8 pages of length.

The papers should be submitted via EasyChair; each paper will be
reviewed by at least three members of the program committee. The
program committee will select the best papers based on quality,
relevance to the workshop, and potential to initiate discussions for
presentation. The workshop proceedings will be published by the ACM in
the second volume of the SPLC proceedings.

PROGRAM COMMITTEE

Vander Alves, University of Brasilia, Brazil
Hugo Arboleda, Icesi University, Cali, Colombia
Jo Atlee, University of Waterloo, Canada
Ebrahim Bagheri, Athabasca University, Canada
Maurice H. ter Beek, ISTI-CNR, Pisa, Italy
Dirk Beyer, University of Passau, Germany
Paulo Borba, Federal University of Pernambuco, Brazil
Manfred Broy, Technical University Munich, Germany
Dave Clarke, Katholieke Universiteit Leuven, Belgium
Andreas Classen, Intec Software Engineering and University of Namur, Belgium
Stefania Gnesi, ISTI-CNR, Pisa, Italy
Klaus Havelund, NASA JPL, USA
Kim Larsen, Aalborg University, Denmark
Arnaud Hubaux, University of Namur, Belgium
Axel Legay, INRIA Rennes, France
Ivan C. Machado, Federal University of Bahia, Salvador, Brazil
Tomi Mannisto, Aalto University, Finland
Marcilio Mendonca, University of Waterloo, Canada
Henry Muccini, University of L'Aquila, Italy
Antonio Ruiz-Cortes, University of Seville, Spain
Ina Schaefer, Technical University of Braunschweig, Germany
Erik de Vink, Eindhoven University of Technology, The Netherlands
Andrzej Wasowski, ITU Kopenhagen, Denmark

PROGRAM CO-CHAIRS

Maurice H. ter Beek (ISTI-CNR, Pisa, Italy)
Andreas Classen (University of Namur, Belgium)

ORGANISING COMMITTEE

Ina Schaefer (Technical University of Braunschweig, Germany)
Martin Becker (Fraunhofer IESE, Germany)
Fabricia Roos-Frantz (UNIJUI University, Brazil)
Peter Y. H. Wong (Fredhopper B.V., Amsterdam, The Netherlands)