Dependable and Adaptive Distributed Systems6th DADS Track of the
26th ACM Symposium on Applied Computing
5th DADS 2010
4th DADS 2009
3rd DADS 2008
2nd DADS 2007
1st DADS 2006
March 21 - 25, 2011
The Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2011 is sponsored by the ACM Special Interest Group on Applied Computing and is hosted by the Tunghai University, Taichung, Taiwan .
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.
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 complex services.
Below you can find the list of accepted papers. Details on the specific DADS sessions will be provided later.
Development Support for QoS-Aware Service-Adaptation in Ubiquitous
Kurt Geihs, Christoph Evers, Roland Reichle, Michael Wagner, and Mohammad U. Khan
In ubiquitous computing environments services may be discovered and bound dynamically. Adaptive applications may utilize such services to improve their offered functional and nonfunctional properties. Generally, the adaptation decision depends on the quality of service (QoS) of discovered services. The development of such adaptive applications is a complex, challenging task. In this paper, we present a general methodology for facilitating the development of QoS-dependent self-adaptive applications. We present several lessons learned from application case studies using the new approach.
Transparent Componentisation: High-level (Re)configurable
Programming for Evolving Distributed Systems
Shen Lin, François Taiani, Marin Bertier, Gordon Blair, and Anne-Marie Kermarrec
Component frameworks and high-level distributed languages have been widely used to develop distributed systems, and provide complementary advantages: Whereas component frameworks foster composability, reusability, and (re)configurability; distributed languages focus on behaviour, simplicity and programmability. In this paper, we argue that both types of approach should be brought together to help develop complex adaptive systems, and we propose an approach to combines both technologies without compromising on any of their benefits. Our approach, termed Transparent Componentisation, automatically maps a high-level distributed specification onto a underlying component framework. It thus allows developers to focus on the programmatic description of a distributed system's behaviour, while retaining the benefits of a component architecture. As a proof of concept, we present WhispersKit, a programming environment for gossip-based distributed systems. Our evaluation shows that WhispersKit successfully retains the simplicity and understandability of high-level distributed language while providing efficient and transparent reconfigurability thanks to its component underpinnings.
Root-cause Analysis of Performance Anomalies in Web-based
João Paulo Magalhães and Luis Moura Silva
The complexity behind current business-critical applications
leads many times to performance problems difficult to anticipate and analyze.
In our previous work we described a framework for detection of performance
anomalies in web-based and component-based applications. It provides low
overhead monitoring, correctly distinguishes performance anomalies from common
workload variations and also presents initial information for system or
application server changes related with an application performance
In this paper we present a framework extension devised to offer root-cause failure analysis for a given performance anomaly. The monitoring module enables application profiling and ANOVA analysis is used to verify if a performance anomaly is due to internal changes within the application (e.g., application updates) or to external changes (e.g., remote services changes, system/application server change). The paper includes some experimental results that show the effectiveness of our approach to pinpoint the root-cause for different types of performance anomalies and remarks its potential to avoid a considerable number of service failures.
AdaptStream: Towards Achieving Fluidity in Adaptive Stream-Based
Yu Liu and René Meier
Stream-based systems are frequently subject to changes in their operational environments due to fluctuations in the available computation and communication resources. Dynamic adaptation is a mechanism to improve the fitness of such systems. However, adaptation can block one or more streams thus inadvertently acting the timeliness properties of streams. This paper describes AdaptStream, an adaptation framework that provides timeliness support for stream-based adaptations. We introduce the concept of fluidity to measure the temporal alignment of stream synchronization during adaptation. We present a scheduling algorithm that calculates the time-bounded schedule of adaptation actions on multiple streams to achieve the fluidity requirement that is traded off against available resources and the smoothness requirement of individual streams.
Identifying the Provenance of Correlated Anomalies
Dawood Tariq, Basim Baig, Ashish Gehani, Salman Mahmood, Rashid Tahir, Azeem Aqil, and Fareed Zaffar
Identifying when anomalous activity is correlated in a distributed system is useful for a range of applications from intrusion detection to tracking quality of service. The more specific the logs, the more precise the analysis they allow. However, collecting detailed logs from across a distributed system can deluge the network fabric. We present an architecture that allows fine-grained auditing on individual hosts, space-efficient representation of anomalous activity that can be centrally correlated, and tracing anomalies back to individual files and processes in the system. A key contribution is the design of an anomaly-provenance bridge that allows opaque digests of anomalies to be mapped back to their associated provenance.
Robustness of Automotive Applications Using Reflective Computing:
Jean-Charles Fabre, Marc-Olivier Killijian, and Francois Taiani
In this paper, we present our experience and lessons learnt in applying a multi-level reflective approach to the design and implementation of an industrial embedded dependable system. We reflect in particular on the process by which ideal academic results and assumptions may be mapped to a concrete industrial context. More precisely, our reflection is based on our experience in building an adaptive defense software for a multilayer embedded platform in the automotive industry. This defense software provides a safety bag and is based on computational reflection, an advanced architectural mechanism to separate cross-cutting concerns. Our implementation uses the AUTOSAR middleware, the automotive standard for modular embedded software, and relies on software sensors to observe the behavior of the system, executable assertions to check on-line properties, and software actuators to perform recovery actions. This leads to defense software that is uncoupled from the real functional system and can be adjusted and specialized according to the needs of the system integrator.
Finally, a poster paper has been accepted:
An Approach for Providing Dependable Self-Adaptation in Distributed
Marc Zeller, Gereon Weiss, Dirk Eilers, and Rudi Knorr
Modern distributed embedded systems are reaching an extreme complexity which is very hard to master with traditional methods. Particularly the need for these systems to adapt their behavior autonomously at runtime to changing conditions is a demanding challenge. Since most industrial application domains of distributed embedded systems have high demands on reliability and safety, we need a dependable self-adaptation mechanism to apply adaptation successfully in these domains. Therefore, we propose a concept to guarantee the proper system behavior and a mechanism which preserves the predefined functional and non-functional requirements of the system.
Karl M. Göschka (Chair)
Vienna University of Technology
Institute of Information Systems
Distributed Systems Group
A-1040 Vienna, Austria
phone: +43 664 180 6946
fax: +43 664 188 6275
Karl dot Goeschka (at) tuwien dot ac dot at
Svein O. Hallsteinsen
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
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
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
Lorenz Froihofer (Organisational Chair)
Vienna University of Technology
Institute of Information Systems
Distributed Systems Group
A-1040 Vienna, Austria
phone: +43 1 58801 18417
fax: +43 1 58801 18491
|August 31, 2010||Paper submission (extended)|
|October 12, 2010||Author notification|
|November 2, 2010||Camera-ready papers|
For general information about SAC, please visit: http://www.acm.org/conferences/sac/sac2011/
If you have further questions, please do not hesitate to contact us: firstname.lastname@example.org