BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20100406T080000Z
DTEND:20100410T181500Z
DCREATED:20091029T121644Z
UID:ATEvent-4ddd8bd14f06cb0af3842d3378235ff2
SEQUENCE:0
LAST-MODIFIED:20091029T121852Z
SUMMARY:First International workshop on Validation and Verification of Dynamic Software Systems ViDaS' 10
DESCRIPTION:Increasingly software systems are required to survive fluc
 tuations in their execution environment without or with only little hu
 man 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 ongo
 ing circumstances and to find the way to continue accomplishing their 
 goals. Such systems\, called dynamic software systems (DSS)\, play vit
 al roles in society’s infrastructures. The demand for DSS appears in
  application domains spanning business applications (e.g.\, virtual or
 ganizations and dynamic service compositions)\, entertainment\, such a
 s mobile interactive\, and also safety critical systems\, such as cris
 is and disaster management applications\, space exploration\, and tran
 sportation domains among others. Different international research init
 iatives and projects have started creating awareness and producing ini
 tial results in the development of technologies and platforms for such
  systems. Nevertheless\, the dynamic nature of these systems still pos
 es challenging research questions about how to guarantee their validit
 y and correctness\, especially in the case of safety critical applicat
 ions. For instance\, are traditional Validation and Verification (V&V)
  techniques usable in this new scenario? If so\, how can they be reuse
 d? Given the new circumstances\, new V&V techniques must also be explo
 red. Such techniques should exploit the dynamic nature of DSS to provi
 de for instance\, V&V at runtime. \n\nThe goal of this workshop is to 
 bring together practitioners and researchers to identify and discuss t
 he major research questions that emerge when tackling the validation a
 nd verification of dynamic software systems. Some of these questions a
 re\:\nHow to ensure that the dynamic changes in the running system are
  performed correctly?\nHow to ensure that the changes in the system ar
 e correct? \n(e.g. with respect to the requirements)\nHow to ensure th
 at the reconfigurations yield a system whose functional and extra-func
 tional characteristics satisfy the requirements?\nHow to ensure that t
 he changes will be performed when needed?\nWhich of the existing V&V t
 echniques can help dealing with the V&V issues of dynamic software? Ho
 w can these techniques be applied in this context?\nWhat are the diffe
 rences between V&V done during design and runtime? How new V&V techniq
 ues performed at runtime challenge or modify the assumptions of curren
 t techniques?
LOCATION:Paris\, France
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR