CALL FOR PAPERS
===============

+-----------------------------------------------------------------+
| 7th Track on Dependable and Adaptive Distributed Systems (DADS) |
| of the 27th ACM Symposium on Applied Computing (SAC'12) |
+-----------------------------------------------------------------+

March 25 - 29, 2012
Riva del Garda (Trento), Italy
http://www.dedisys.org/sac12/
http://www.acm.org/conferences/sac/sac2012/

Accepted papers will be published in the ACM conference proceedings and will be included in the ACM digital library.

Important Dates:
Paper submission: August 31, 2011
Author notification: October 12, 2011
Camera-ready copies: November 2, 2011

Authors are invited to submit original work not previously published, nor currently submitted elsewhere. Authors submit full papers in pdf format using the link to the submission site at http://www.dedisys.org/sac12/. Authors are allowed up to 8 pages, but with more than 6 pages in the final camera ready, there will be a charge of 80USD per extra page.

Call details
============
While computing is provided by the cloud and services increasingly pervade our daily lives, dependability is no longer restricted to mission or safety critical applications, but rather becomes a cornerstone of the information society. Unfortunately, heterogeneous, large-scale, and dynamic software systems that typically run continuously, often tend to become inert, brittle, and vulnerable after a while. The key problem is that the most innovative systems and applications are the ones that also suffer most from a significant decrease in dependability when compared to traditional critical systems, where dependability and security are fairly well understood as complementary concepts and a variety of proven methods and techniques is available today. In accordance with Laprie we call this effect the dependability gap, which is widened in front of us between demand and supply of dependability, and we can see this trend further fueled by the demand for resource awareness (including green computing) and increasing cost pressure.

Among technical factors of dependability, software development methods, tools, and techniques contribute to dependability, as defects in software products and services may lead to failure and also provide typical access for malicious attacks. In addition, there is a wide variety of fault tolerance techniques available, including persistence provided by databases, replication, group communication, transaction monitors, reliable middleware, cloud infrastructures, and trustworthy service-oriented architectures with explicit control of quality of service properties. Furthermore, adaptiveness is envisaged in order to react to observed, or act upon expected changes of the system itself, the context/environment (e.g., resource variability or failure/threat scenarios) or users' needs and expectations. Provided without explicit user intervention, this is also termed autonomous behavior or self-properties, and often involves monitoring, diagnosis (analysis, interpretation), and reconfiguration (repair). In particular, adaptation is also a means to achieve dependability in a computing infrastructure with dynamically varying structure and properties.

Topics of interest
==================

* Dependable, Adaptive, and trustworthy Distributed Systems (DADS)
* Architectures, architectural styles, and middleware for DADS
* Protocols for DADS
* Modeling, design, and engineering of DADS
* Foundations and formal methods for DADS
* Applications of DADS
* Evaluations, testing, benchmarking, and case studies of DADS
* Holistic aspects of DADS

Track program co-chairs
===============
Karl M. Goeschka (chair), dads@dedisys.org
Svein O. Hallsteinsen
Rui Oliveira
Alexander Romanovsky

Program committee
=================
Enrique Armendariz, Universidad Publica de Navarra (Spain)
Alberto Bartoli, University of Trieste (Italy)
Stefan Beyer, ITI Valencia (Spain)
Andrea Bondavalli, University of Florence (Italy)
Michael Butler, University of Southampton (UK)
Antonio Casimiro, Universidade de Lisboa (Portugal)
Rogerio De Lemos, University of Kent (UK)
Felicita Di Giandomenico, ISTI-CNR, Pisa (Italy)
Frank Eliassen, University of Oslo (Norway)
Jean-Charles Fabre, LAAS-CNRS, Toulouse (France)
Pascal Felber, Université de Neuchâtel (Switzerland)
Lorenz Froihofer, A1 Telekom Austria (Austria)
Christina Gacek, City University (UK)
Kurt Geihs, Universität Kassel (Germany)
Holger Giese, Hasso Plattner Institut (Germany)
Matti Hiltunen, AT&T Labs (USA)
Geir Horn, SINTEF (Norway)
Ricardo Jimenez-Peris, Universidad Politecnica de Madrid (Spain)
Jörg Kienzle, McGill University, Montréal (Canada)
Marc-Ollivier Killijian, LAAS-CNRS, Toulouse (France)
Mikel Larrea, Euskal Herriko Unibersitatea (Spain)
István Majzik, Budapest UTE. (Hungary)
Hausi A. Müller, University of Victoria (Canada)
Francesc Daniel Muñoz-Escoí, UP Valencia (Spain)
Marta Patino-Martinez, UP Madrid (Spain)
Fernando Pedone, Università della Svizzera Italiana (Switzerland)
Jose Pereira, Universidade do Minho (Portugal)
Calton Pu, Georgia Institute of Technology (USA)
Roland Reichle, Universität Kassel (Germany)
Luís Rodrigues, INESC-ID/IST (Portugal)
Luigi Romano, University of Naples (Italy)
Romain Rouvoy, INRIA (France)
Giovanni Russello, Create-Net (Italy)
André Schiper, EPFL (Switzerland)
Bradley Schmerl, Carnegie Mellon University (USA)
Dietmar Schreiner, Vienna University of Technology (Austria)
Francois Taiani, Lancaster University (UK)
Richard N. Taylor, University of California, Irvine (USA)
Elena Troubitsyna, Åbo Akademi University (Finland)
Sara Tucci Piergiovanni, Università degli Studi di Roma La Sapienza (Italy)
Roman Vitenberg, University of Oslo (Norway)
Mario Zenha Rela, U. of Coimbra (Portugal)
Uwe Zdun, Vienna University (Austria)