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

Bencomo, Nelly bencomo at exchange.lancs.ac.uk
Thu Jan 7 21:59:07 CET 2010


Call for Papers

 

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

 

NOTE: new dates for submission: submission deadline: Friday 29 January 2010

 

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

 

Organization committee

 Freddy Munoz, INRIA, France, (main contact) (freddy.munoz at inria.fr)  Nelly Bencomo, Lancaster University, UK (nelly at acm.org)

 Antonino Sabetta, ISTI-CNR, Italy (antonino.sabetta at isti.cnr.it <mailto:antonino.sabetta at isti.cnr.it> )      

 

IMPORTANT DATES:

Submission deadline: Friday 29 January 2010 Authors notification: Friday 26 February 2010 Workshop date: Tuesday 6 April 2010 (one day workshop)

 

Theme:

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

 

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

 

 

_______________________________________________

Comp-all mailing list

Comp-all at comp.lancs.ac.uk

http://mail.comp.lancs.ac.uk/mailman/listinfo/comp-all

 

 

Nelly


Nelly Bencomo

Senior Research Associate

Computing Department, Lancaster University, UK

email:  nelly at acm.org

website:  http://www.comp.lancs.ac.uk/computing/users/bencomo/ <http://www.comp.lancs.ac.uk/computing/users/bencomo/> 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100107/e8211014/attachment-0001.html 


More information about the ecoop-info mailing list