DADS 2012 - ACM-SAC 2012 CONFERENCE TRACK ON Dependable and Adaptive Distributed System

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

The track provides a forum for scientists and engineers in academia and industry to present and discuss their latest research findings on selected topics in dependable and adaptive distributed systems and services. The topics of particular interest include, but are not limited to:

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. Göschka (Chair)
Vienna University of Technology
Institute of Information Systems
Distributed Systems Group
Argentinierstrasse 8/184-1
A-1040 Vienna, Austria
phone: +43 664 180 6946
fax: +43 664 188 6275
dads-AT-dedisys.org
Karl dot Goeschka (at) tuwien dot ac dot at

Svein O. Hallsteinsen
SINTEF ICT
Software Engineering Department
Andersens vei 15 b
NO-7465 Trondheim, Norway
phone: +47 7359 3010
fax: +47 7359 3350
Svein dot Hallsteinsen (at) sintef dot no

Rui Oliveira
Universidade do Minho
Computer Science Department
Campus de Gualtar
4710-057 Braga, Portugal
phone: +351 253 604 452 / Internal: 4452
fax: +351 253 604 471
rco (at) di dot uminho dot pt

Alexander Romanovsky
University of Newcastle upon Tyne
School of Computing Science
Office: Room 1008 , Claremont Tower
Newcastle upon Tyne, NE1 7RU, United Kingdom
phone: +44-191-222- 8135
fax: +44-191-222- 8788
Alexander dot Romanovsky (at) newcastle dot ac dot uk

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, Telekom (Austria)
Kurt Geihs, Universität Kassel (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)
Luís Rodrigues, INESC-ID/IST (Portugal)
Luigi Romano, University of Naples (Italy)
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)