CALL FOR PAPERS


5th Track on Dependable and Adaptive Distributed Systems (DADS)
of the 25th ACM Symposium on Applied Computing (SAC'10)

March 22 - 26, 2010
Sierre, Switzerland
http://www.dedisys.org/sac10/
http://www.acm.org/conferences/sac/sac2010/

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

Important Dates:
Paper submission: September 8, 2009
Author notification: October 19, 2009
Camera-ready copies: November 2, 2009

Authors are invited to submit original work not previously published, nor
currently submitted elsewhere. Authors submit full papers in pdf format
using the submission site http://sac.cs.iupui.edu/SAC2010/. Authors are
allowed up to 8 pages, but with more than 5 pages in the final camera
ready, there will be a charge of 80USD per extra page.

Call details

Dependability is no longer restricted to critical applications, but rather
becomes a cornerstone of the information society. Dependability clearly is
a holistic concept: Contributing factors are not only technical, but also
social, cultural (i.e. corporate culture), psychological (perceived
dependability), managerial (information management and processes), and
economical. Fostering learning is a key, and simplicity is generally an
enabler for dependability.

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
mobile and pervasive systems and applications are the ones that also suffer
most from a significant decrease in (deterministic) 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. Follow J.-C. 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 an ever increasing cost pressure.

Future systems need to close the dependability gap in face of challenges
such as cross-organisational heterogeneity, massive scale, and mobility. Of
course, dependability and adaptiveness can not simply be added to a system
like a plug-in module. Rather, for databases, services, middleware, and
software development, application developers need tools, sound
methodologies, common practices, standards, architectural principles, and
middleware services, to tackle the inherent complexity and emerging
behavior of distributed systems and to ensure trustworthy services.
Therefore, the vision of this track is on the convergence of software
development tools with middleware, traditional dependability, fault
tolerance, security, and adaptivity concepts, together with social and
psychological aspects, to compensate for dependability degradation of
running software and services.

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.
* 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

Track program co-chairs

Karl M. Goschka (chair)
Svein O. Hallsteinsen
Rui Oliveira
Alexander Romanovsky
Lorenz Froihofer, [log in to unmask]

Program committee

Enrique Armendariz, Universidad Publica de Navarra (Spain)
Alberto Bartoli, University of Trieste (Italy)
Stefan Beyer, ITI Valencia (Spain)
Rogerio De Lemos, University of Kent (UK)
Frank Eliassen, University of Oslo (Norway)
Pascal Felber, Universite' de Neuchatel (Switzerland)
Jacqueline Floch, Sintef (Norway)
Christina Gacek, Newcastle University (UK)
Kurt Geihs, Universit=E4t Kassel (Germany)
Holger Giese, Hasso Plattner Institut (Germany)
Mats P. E. Heimdahl, University of Minnesota (USA)
Matti Hiltunen, AT&T Labs (USA)
Geir Horn, SINTEF (Norway)
Marc-Ollivier Killijian, LAAS-CNRS, Toulouse (France)
Mikel Larrea, Euskal Herriko Unibersitatea (Spain)
Marin Litoiu, IBM (Canada)
Jeff Magee, Imperial College London (UK)
Istvan Majzik, Budapest UTE. (Hungary)
Francesc Daniel Munoz-Escoi, UP Valencia (Spain)
Marta Patino-Martinez, UP Madrid (Spain)
Fernando Pedone, Universita' della Svizzera Italiana (Switzerland)
Jose Pereira, Universidade do Minho (Portugal)
Calton Pu, Georgia Institute of Technology (USA)
Roland Reichle, Universitat Kassel (Germany)
Luis Rodrigues, University of Lisboa (Portugal)
Luigi Romano, University of Naples (Italy)
Giovanni Russello, Create-Net (Italy)
Andre Schiper, EPFL (Switzerland)
Bradley Schmerl, Carnegie Mellon University (USA)
Dietmar Schreiner, Vienna University of Technology (Austria)
Stefan Tai, Institut fur Angewandte Informatik und Formale
Beschreibungsverfahren - AIFB, Karlsruhe (Germany)
Jan Tretmans, Radboud University Nijmegen (Netherlands)
Sara Tucci Piergiovanni, Universita' degli Studi di Roma La Sapienza (Italy)
Aad van Moorsel, University of Newcastle (UK)
Paolo Verissimo, University of Lisboa (Portugal)
Roman Vitenberg, University of Oslo (Norway)
Mario Zenha Rela, U. of Coimbra (Portugal)
Uwe Zdun, Vienna University of Technology (Austria)