A Self-optimizing Run-Time Architecture for Configurable Dependability of Services

Many human activities today depend critically on systems where substantial functionality has been realized using complex software. Therefore, appropriate means to achieve a sufficient degree for dependability are required, which use the available information about the software components and the system architecture. For the special case of service-based architectures, we identify in this paper a set of architectural principles which can be used to improve dependability. We then describe how the identified architectural principles have been used in a realized service-based architecture which extends Jini. The dependable operation of the infrastructure services of the architecture further enables to systematically control and configure some dependability attributes of application services. We present a qualitative and quantitative evaluation of the dependability for a configuration of multiple identical services which are executed with the architecture and show how the different parameters effect the dependability. Additionally, a scheme for the dynamic control of the required dependability of the application services in the case of changing failure characteristics of the environment is outlined. Finally, we present a first evaluation of the developed architecture and its dynamic control of dependability.

[1]  Pascal Ledru.  Smart proxies for Jini services , 2002, SIGP.

[2]  Andrea Bondavalli,et al.  Stochastic Dependability Analysis of System Architecture Based on UML Models , 2002, WADS.

[3]  Rainer Koster,et al.  Structuring QoS-Supporting Services with Smart Proxies , 2000, Middleware.

[4]  A. Watson,et al.  OMG (Object Management Group) architecture and CORBA (common object request broker architecture) specification , 2002 .

[5]  Jim Waldo,et al.  A Note on Distributed Computing , 1996, Mobile Object Systems.

[6]  Holger Giese,et al.  Seamless UML Support for Service-Based Software Architectures , 2003, FIDJI.

[7]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[8]  Swapna S. Gokhale,et al.  Specification-Level Integration of Simulation and Dependability Analysis , 2002, WADS.

[9]  Rolf Isermann,et al.  Adaptive control systems , 1991 .

[10]  Jim Waldo,et al.  The Jini architecture for network-centric computing , 1999, CACM.

[11]  Michael Gertz,et al.  The Willow Architecture: Comprehensive Survivability for Large-Scale Distributed Applications , 2001 .

[12]  Hermann Kopetz,et al.  Dependability: Basic Concepts and Terminology , 1992 .

[13]  Klara Nahrstedt,et al.  2K: a distributed operating system for dynamic heterogeneous environments , 2000, Proceedings the Ninth International Symposium on High-Performance Distributed Computing.

[14]  Ken Arnold,et al.  JavaSpaces¿ Principles, Patterns, and Practice , 1999 .

[15]  Andrew S. Tanenbaum,et al.  Distributed systems: Principles and Paradigms , 2001 .

[16]  Nicholas Carriero,et al.  How to write parallel programs - a first course , 1990 .

[17]  Mieczyslaw M. Kokar,et al.  Control theory-based foundations of self-controlling software , 1999, IEEE Intell. Syst..

[18]  Peyman Oreizy,et al.  An architecture-based approach to self-adaptive software , 1999, IEEE Intell. Syst..

[19]  Fabio Kon,et al.  Dynamic Resource Management and Automatic Configuration of Distributed Component Systems , 2001, COOTS.

[20]  Alessandro Birolini.  Reliability Engineering: Theory and Practice , 1999 .

[21]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[22]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[23]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[24]  F van Griensven,et al.  AIDS 2001. Epidemiology and social issues. Overview. , 2001, AIDS.

[25]  David K. Gifford,et al.  Weighted voting for replicated data , 1979, SOSP '79.

[26]  Sandro Bologna,et al.  Dependability and Survivability of Large Complex Critical Infrastructures , 2003, SAFECOMP.

[27]  Peter Sommerlad,et al.  Pattern-Oriented Software Architecture , 1996 .

[28]  Kishor S. Trivedi,et al.  Dependability modeling using Petri-nets , 1995 .

[29]  Sten F. Andler,et al.  Self-stabilization and eventual consistency in replicated real-time databases , 2002, WOSS '02.