[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [qest-announce] CfP: QUOVADIS 2010

CfP: QUOVADIS 2010 "Quantitative Stochastic Models in the Verification 
and Design of Software Systems" Workshop at the ICSE 2010

*** Call for Papers - QUOVADIS 2010 ***

First International Workshop on Quantitative Stochastic Models in the 
Verification and Design of Software Systems (QUOVADIS)
Workshop at the ICSE 2010
3rd May 2010, Cape Town, South Africa

Motivation and Objectives:
Modern software systems are increasingly complex and pervasive. They are 
often offered to clients as services, which must meet high level 
expectations in terms of predictability. They are embedded in a fluid 
environment that is constantly evolving, because of changes in the 
in the operating environment, and in usage profiles.

Traditional software development processes and methods are unable to 
cope with the challenges posed by this setting. State-of-the-art 
model-driven approaches, in particular, emphasize the use of qualitative 
models in the development stage and systematic transformations that 
generate functionally correct implementations starting from well-defined 

However, to take into account the requirements related to quality 
attributes such as performance, reliability, safety and security 
stochastic models can be used. These models enable probabilistic 
verification as well as quantitative prediction at design time.

On the other hand, these models could be also used to perform runtime 
adaption if the need for evolution arises, the system undergoes suitable 
re-design, re-development, and re-deployment activities. Different kinds 
of stochastic modeling techniques have been proposed to deal with these 
problems, and different approaches to analysis and verification are 
The use of models allows the prediction of the system quality before it 
is built and the understanding of the main effects of an architecture 
with respect to quality requirements.
This prediction can be exploited to drive decisions about how to 
architect a software application so as to meet the quality requirements 
imposed on the design.
Because of the limited a-priori knowledge about real-world behaviors and 
because of the likely changes in operational environments, however, 
models must evolve. Both their parameters and even their structure are 
likely to change, and the change in the models may imply further changes 
in the implementation. Thus, models must be kept alive at run time, and 
must be continuously refined to achieve increasingly better accuracy, by 
updating the relevant parameters and/or the model architecture.

Submitted papers will be reviewed by the international Program Committee 
and accepted on their scientific merit and relevance to the topics of 
the workshop. Accepted papers will be published in the ICSE companion 
volume. Papers should not exceed 8 pages ACM proceedings format; 10pt, 
single-space, double-column) and include an abstract of up to 150 words. 
Papers must  not have been previously published or submitted elsewhere.
If accepted, the paper must be personally presented at the workshop by 
one of the co-authors.
The paper submission system is available online at:

Main Topics (non exclusive):
- formal definition of quality requirements
- languages for software design modeling including quality 
characteristic evaluation
- quality attribute models (such as performance, dependability, power 
- integration of quantitative models into model-driven approaches
- quality testing, monitoring, measurement, and experimental design
- probabilistic verification
- statistical forecasting of quality attributes
- quantitative models at runtime
- quality requirements and software design evolution
- empirical validation of testing, prototyping models, simulation for 
assessing design quality
- design decisions and their quality impacts
- quality and software design governance

Submission of papers: 14.01. 2010
Notification of acceptance: 10.02. 2010
Camera-ready paper: 03.03 2010

General Chair:
Carlo Ghezzi

Program Chairs:
Lars Grunske,
Raffaela Mirandola

Publicity Chair:
Giordano Tamburrelli

Falko Bause, Technical Univ. of Dortmund, Germany
Antonia Bertolino, ISTI-CNR, Pisa, Italy
Victor Braberman, Uni. of Buenos Aires, Argentina
Radu Calinescu, Oxford University, UK
Vittorio Cortellessa, Uni. of L’Aquila, Italy
Ivica Crnkovic, Malardalen University, Sweden
David Garlan, Carnegie Mellon University, USA
Vincenzo Grassi, Uni. of RomaTor Vergata, Italy
Stephen Gilmore, Uni. of Edinburgh, UK
Holger Hermanns, Saarland Uni, Germany
Jane Hillston, Uni of Edinburgh, UK
Paola Inverardi, Uni.of L'Aquila, Italy
Joost-Pieter Katoen, RWTH Aachen, Germany
Marta Kwiatkowska, Oxford University, UK
Stefan Leue, University of Konstanz, Germany
Jeff Magee, Imperial College, UK
Nenad Medvidovic, Uni. Southern California, USA
Andreas Metzger, Duisburg-Essen Uni, Germany
Dorina Petriu, Carleton University, Canada
Ralf Reussner, Uni. of Karlsruhe (TH), Germany
Roshanak Roshandel,Seattle University, USA
Mariëlle Stoelinga, Uni. of Twente, Netherlands


Professor Marta Kwiatkowska
Fellow of Trinity College
Director of Graduate Studies

Oxford University Computing Laboratory
Wolfson Building, Parks Road
Oxford, OX1 3QD

Tel: +44 (0)1865 283509 (office)
Email: Marta.Kwiatkowska@comlab.ox.ac.uk
URL: http://web.comlab.ox.ac.uk/people/Marta.Kwiatkowska/
qest-announce mailing list