[ecoop-info] ACM SAC DADS 2011

[Karl M. Goeschka]

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

+-----------------------------------------------------------------+
| 6th Track on Dependable and Adaptive Distributed Systems (DADS) |
| of the 26th ACM Symposium on Applied Computing (SAC'11)         |
+-----------------------------------------------------------------+

March 21 - 25, 2011
Taichung, Taiwan
http://www.dedisys.org/sac11/
http://www.acm.org/conferences/sac/sac2011/

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

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

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/sac11/. 
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
==================
* Architectural and infrastructural principles for adaptive and dependable 
distributed systems.
* Adaptivity and dependability in service oriented architectures.
* Trust and dependability as complementary and competing aspects. 
Integration of security and dependability concepts. Balancing and 
negotiation of dependability and security properties.
* Dependability in complex service oriented environments, GRID-computing, 
and P2P-systems. Concertation, orchestration, coordination, and 
context-awareness (context-modeling).
* Middleware support for reunification of network segments and 
reconciliation of divergent replicas. Consideration of alternative 
techniques for dynamic configuration and/or reconfiguration.
* New middleware protocols, that are able to work in a peer-to-peer manner 
in cross-organisational environments and to tackle the challenges of 
massive scale and mobility.
* Data replication strategies, interfaces, and standards. Interaction of 
distributed databases with middleware systems.
* Adaptive, optimistic replication models and protocols.
* Group communication and group membership services in failure scenarios 
with network partitions.
* Other fault tolerance techniques, including transactions and explicit 
control of quality of service properties.
* Intrusion tolerance techniques.
* Autonomous behaviour and self-* properties.
* Partial and probabilistic approaches for replication, group membership, 
and distributed consensus in loosely-coupled and ad-hoc environments to 
improve dependability.
* Support for dependability and adaptiveness in component-based systems 
(e.g. component frameworks, container services, deployment, composition and 
substitution of components, building trusted systems from untrusted 
components).
* Trading of dependability and adaptability with other non-functional 
requirements like integrity (consistency) or performance. Approaches to 
improve the scalability of dependable and adaptive systems.
* Foundations and formal methods (e.g., rigorous development of dependable 
systems, verification and refinement of fault tolerant systems, techniques 
and mechanisms ensuring application level fault tolerance).
* System design, modeling, development and tool support for dependable and 
adaptive systems.
* Evaluation and experience reports of dependable and adaptive distributed 
systems and services.
* Holistic dependability approaches: Social, cultural, psychological, 
economical, managerial, and educational aspects of dependability.

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

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)
Frank Eliassen, University of Oslo (Norway)
Pascal Felber, Université de Neuchâtel (Switzerland)
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)
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)
Roland Reichle, Universität Kassel (Germany)
Luís Rodrigues, University of Lisboa (Portugal)
Luigi Romano, University of Naples (Italy)
Giovanni Russello, Create-Net (Italy)
André Schiper, EPFL (Switzerland)
Dietmar Schreiner, Vienna University of Technology (Austria)
Francois Taiani, Lancaster University (UK)
Sara Tucci Piergiovanni, Università degli Studi di Roma La Sapienza (Italy)
Aad van Moorsel, University of Newcastle (UK)
Roman Vitenberg, University of Oslo (Norway)
Mario Zenha Rela, U. of Coimbra (Portugal)
Uwe Zdun, Vienna University of Technology (Austria)