Quovadis 2010 – Call For Papers

novembre, 25, 2009

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 requirements, 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 requirements.

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 available.
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 consumption).
– 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


Comments are closed.

Picture: courtesy of Abby Blank