[ecoop-info] CFP ViDaS 2010 - First International Workshop on Validation and Verification of Dynamic Software Systems

[Nelly Bencomo]

                                             Call for Papers
 
ViDaS 2010 - First International Workshop on Validation and Verification of
Dynamic Software Systems

For more info go to http://freddy.cellcore.org/research/vidas/2010/

ViDaS 2010 will be in conjunction with Third International Conference on
Software Testing, Verification and Validation
http://vps.it-sudparis.eu/icst2010/
Paris, France, April 6-9, 2010

Important dates:
Submission deadline: Friday 15 January 2010 
Authors notification: Monday 8 February 2010 
Workshop date: 6-10 April 2010 (one day workshop)


Increasingly software systems are required to survive fluctuations in their
execution environment without or with only little human intervention. These
modern and complex systems cannot be shutdown to be changed or updated and
restarted again. Instead, these systems need to be change-enabled to fluidly
reconfigure and adapt to the ongoing circumstances and to find the way to
continue accomplishing their goals. Such systems, called dynamic software
systems (DSS), play vital roles in society’s infrastructures. The demand for
DSS appears in application domains spanning business applications (e.g.,
virtual organizations and dynamic service compositions), entertainment, such
as mobile interactive, and also safety critical systems, such as crisis and
disaster management applications, space exploration, and transportation
domains among others. Different international research initiatives and
projects have started creating awareness and producing initial results in
the development of technologies and platforms for such systems.
Nevertheless, the dynamic nature of these systems still poses challenging
research questions about how to guarantee their validity and correctness,
especially in the case of safety critical applications. For instance, are
traditional Validation and Verification (V&V) techniques usable in this new
scenario? If so, how can they be reused? Given the new circumstances, new
V&V techniques must also be explored. Such techniques should exploit the
dynamic nature of DSS to provide for instance, V&V at runtime. 

The goal of this workshop is to bring together practitioners and researchers
to identify and discuss the major research questions that emerge when
tackling the validation and verification of dynamic software systems. Some
of these questions are: 
How to ensure that the dynamic changes in the running system are performed
correctly? 
How to ensure that the changes in the system are correct? 
(e.g. with respect to the requirements) 
How to ensure that the reconfigurations yield a system whose functional and
extra-functional characteristics satisfy the requirements? 
How to ensure that the changes will be performed when needed? 
Which of the existing V&V techniques can help dealing with the V&V issues of
dynamic software? How can these techniques be applied in this context? 
What are the differences between V&V done during design and runtime? How new
V&V techniques performed at runtime challenge or modify the assumptions of
current techniques? 

Researchers and practitioners are invited to submit full papers to the
workshop, describing original research, experience or tools. Papers
submitted to this workshop should address a problem in the following topics:

Exploration of the diverse validation / verification techniques for dynamic
software systems 
V&V of ultra-large scale systems and systems-of-systems  
V&V of reconfigurable systems 
V&V of the reasoning engines behind the dynamic software changes 
Monitoring approaches to V&V and QoS assurance 
QoS assurance 
Model driven techniques for V&V 
(including models at run.time to continuously assess the changing system) 
V&V based on simulation 
Dynamic V&V of self-managed software 
V&V of context-aware systems 
V&V of service-oriented systems 

The workshop participants will be selected based on their experience and
ideas related to V&V of dynamic software system. Contributions must be
submitted before Friday 8 January 2010 and must not exceed 10 pages in the
two-column IEEE format. Submissions will be reviewed by at least 3 members
of the program committee and accepted papers will be published as proceeding
in the IEEE digital library.

The CfP in PDF version is at
http://freddy.cellcore.org/research/vidas/2010/cfp.pdf

Organization committee
 Freddy Munoz, INRIA, France, (main contact) (freddy.munoz at inria.fr)
 Nelly Bencomo, Lancaster University, UK (nelly at acm.org)
 Antonino Sabbetta, ISTI-CNR, Italy (antonino.sabetta at isti.cnr.it)	

Program committee
 Paul Ammann, George Mason University, USA
 Antonia Bertolino, ISTI-CNR, Italy
 Rogerio de Lemos, University of Coimbra, Portugal
 Gordon Fraser, Graz University of Technology, Austria
 Sudipto Ghosh, Colorado State University, USA
 Holger Giese, Postdam University, Germany
 William Heaven, Imperial College London, UK
 Paola Inverardi, Università dellÀquila, Italy
 Valerie Issarny, INRIA, France
 Raffaela Mirandola, Politecnico di Milano, Italy
 Hausi Muller, University of Victoria, Canada
 Dorina C. Petriu, Carleton University, Canada
 Alfonso Pierantonio, Università dellÀquila, Italy
 Andrea Polini, University of Camerino, Italy
 Ralf Reussner, Karslruhe University, Germany
 Fernando Schapachnik, Universidad de Buenos Aires, Argentina
 François Taiani, Lancaster University, Uk
 Heiko Koziolek, ABB, Germany
 Arnor Solberg, SINTEF, Norway