[TYPES/announce] CFP: 4th Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013)

[Dave Clarke]

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) 

--
Dave.Clarke at cs.kuleuven.be
Dept. of Computer Science
Celestijnenlaan 200A
B-3001 Heverlee
BELGIUM
Tel: +32 16 327866






Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm