(Apologies for cross-posting)
CALL FOR PAPERS
Fourth Workshop on Formal Methods and Analysis in
Software Product Line Engineering (FMSPLE 2013)
http://people.cs.kuleuven.be/dave.clarke/FMSPLE2013.html
August 27, 2013.
Co-located with the 17th International Software Product Line Conference
(SPLC 2013), August 26 - 30, Tokyo, Japan
http://www.splc2013.net/
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. 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.
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 the EasyChair conference management
system
and 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 in the second volume of the
SPLC proceedings.
Easychair submission: https://www.easychair.org/conferences/?conf=fmsple2013
IMPORTANT DATES
Paper Submission: May 17, 2013
Notification: June 10, 2013
Camera-ready versions: June 28, 2013
Workshop: August 27, 2013
PROGRAM COMMITTEE
Dave Clarke KU Leuven, Belgium (Chair)
Natsuko Noda NEC, Japan
Alice Miller University of Glasgow, Scotland
Kathi Fisler Worcester Polytechnic Institute, USA
Reiner Hähnle TU Darmstadt, Germany
Martin Leucker University of Lübeck
Kim G. Larsen Aalborg University, Denmark
Andreas Classen Intec Software Engineering, Belgium
Patrick Heymans University of Namur, Belgium
Maurice H. ter Beek ISTI–CNR, Pisa, Italy
Ina Schaefer Technische Universität Braunschweig, Germany
Stefania Gnesi ISTI–CNR, Pisa, Italy
Richard Bubel TU Darmstadt, Germany
Ferruccio Damiani Università di Torino, Italy
Dirk Beyer University of Passau, Germany
Dilian Gurov KTH, Sweden
Atsushi Igarashi Kyoto University, Japan
STEERING COMMITTEE
Ina Schaefer (Technical University of Braunschweig, Germany)
Maurice ter Beek (ISTI-CNR, Pisa, Italy)
Sven Apel (University of Passau, Germany)
Joanne Atlee (University of Waterloo, Canada)
----
[[ 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] ]]
