article

Self-healing components in robust software architecture for concurrent and distributed systems

Author:

Michael E. ShinAuthors Info & Claims

Science of Computer Programming, Volume 57, Issue 1

Pages 27 - 44

https://doi.org/10.1016/j.scico.2004.10.003

Published: 01 July 2005 Publication History

Abstract

This paper describes an approach to designing self-healing components for robust, concurrent and distributed software architecture. A self-healing component is able to detect object anomalies inside of the component, reconfigure inter-component and intra-components before and after repairing the sick object, repair it, and then test the healed object. For this, each self-healing component is structured to the layered architecture with two layers, the service layer and the healing layer, which are designed separately from each other. The service layer of a self-healing component provides functional services to other components, whereas the healing layer encapsulates the self-healing mechanism for monitoring objects in the service layer and repairing the sick objects detected. The process of component self-healing includes detection, reconfiguration before and after repairing, repair, and testing. To illustrate this approach, the elevator system is considered.

References

[1]

{1} G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language User Guide. Addison-Wesley, Reading, MA, 1999.]]

Crossref

Google Scholar

[2]

{2} F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, Pattern Oriented Software Architecture: A System of Patterns, John Wiley & Sons, 1996.]]

Digital Library

Google Scholar

[3]

{3} E.M. Dashofy, A. van der Hoek, R.N. Taylor, Towards architecture-based self-healing systems, in: Workshop on Self-Healing Systems, Proceedings of the First Workshop on Self-Healing Systems, November 18-19, Charleston, SC, 2002.]]

Crossref

Google Scholar

[4]

{4} P.A. de C. Guerra, R. de Lemos, An idealized fault-tolerant architectural component, in: Workshop on Architecting Dependable Systems, ICSE'02 International Conference on Software Engineering, May 25, Orlando, FL, 2002.]]

Crossref

Google Scholar

[5]

{5} P.A. de C. Guerra, R. de Lemos, An idealized fault-tolerant architectural component, in: Workshop on Architecting Dependable Systems, ICSE'02 International Conference on Software Engineering, May 25, Orlando, FL, 2002.]]

Crossref

Google Scholar

[6]

{6} D. Garlan, B. Schmerl, Model-based adaptation for self-healing systems, in: Workshop on Self-Healing Systems, Proceedings of the First Workshop on Self-Healing Systems, November 18-19, Charleston, SC, 2002.]]

Crossref

Google Scholar

[7]

{7} H. Gomaa, Designing Concurrent, Distributed, and Real-Time Applications with UML, Addison-Wesley, 2000.]]

Crossref

Google Scholar

[8]

{8} H. Gomaa, D.A. Menasce, M.E. Shin, Reusable component patterns for distributed software architectures, in: 2001 Symposium on Software Reusability, SSR'01 Sponsored by ACM/SIGSOFT, May 18-20, Toronto. Ontario, Canada, 2001.]]

Crossref

Google Scholar

[9]

{9} H. Gomaa, M.E. Shin, Multiple view meta-modeling of software product lines, in: The Eighth IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2002, Maryland, December 2002.]]

Crossref

Google Scholar

[10]

{10} IBM, An architectural blueprint for autonomic computing, IBM and Autonomic Computing, 2003.]]

Google Scholar

[11]

{11} K.H. Kim, C. Subbaraman, Fault-tolerant real-time objects, Communications of the ACM 40 (1) (1997).]]

Crossref

Google Scholar

[12]

{12} P. Koopman, Elements of the self-healing system problem space, in: Workshop on Software Architectures for Dependable Systems, WADS2003, ICSE'03 International Conference on Software Engineering, May 3-11, Portland, Oregon, 2003.]]

Google Scholar

[13]

{13} H. Kopetz, G. Grundteidl, TTP -- a protocol for fault-tolerant real-time systems, IEEE Computer (1994) 14-23.]]

Crossref

Google Scholar

[14]

{14} P. Oriezy, M.M. Gorlick, R.N. Taylor, G. Johnson, N. Medvidovic, A. Quilici, D. Rosenblum, A. Wolf. An architecture-based approach to self-adaptive software, IEEE Intelligent Systems 14 (3) (1999) 54-62.]]

Digital Library

Google Scholar

[15]

{15} J. Rumbaugh, G. Booch, I. Jacobson, The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, MA, 1999.]]

Crossref

Google Scholar

[16]

{16} M.J. Rutherford. K. Anderson, A. Carzaniga, D. Heimbigner, A.L. Wolf, Reconfiguration in the enterprise JavaBean component model, in: Proceedings of the IFIP/ACM Working Conference on Component Deployment, Berlin, 2002, pp. 67-81.]]

Digital Library

Google Scholar

[17]

{17} M. Shaw, D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall, 1996.]]

Digital Library

Google Scholar

[18]

{18} M.E. Shin, A. Levis, L. Wagenhals, Mapping of UML-based system model to design/CPN model for system model evaluation, in: Workshop on Compositional Verification of UML'03, October 22, San Francisco, 2003.]]

Google Scholar

[19]

{19} J. Xu, B. Randell, A. Romanovsky, C.M.F. Rubira, R.J. Stroud, Z. Wu, Fault tolerance in concurrent object-oriented software through coordinated error recovery, in: Proc. 25th Int. Symp. on Fault-Tolerant Computing, Pasadena, June 1995, pp. 499-508.]]

Crossref

Google Scholar

Cited By

View all

Petke JClark DLangdon WSpinellis DGousios GChechik MDi Penta M(2021)Software robustness: a survey, a theory, and prospectsProceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3468264.3473133(1475-1478)Online publication date: 20-Aug-2021
https://dl.acm.org/doi/10.1145/3468264.3473133
Merelli EPaoletti NTesei L(2016)Adaptability checking in complex systemsScience of Computer Programming10.1016/j.scico.2015.03.004115:C(23-46)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1016/j.scico.2015.03.004
Khan MZulkernine MCrnkovic IStafford JPetriu DHappe JInverardi P(2011)Building components with embedded security monitorsProceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS10.1145/2000259.2000282(133-142)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.1145/2000259.2000282
Show More Cited By

Index Terms

Self-healing components in robust software architecture for concurrent and distributed systems
1. General and reference
  1. Cross-computing tools and techniques
    1. Reliability
2. Software and its engineering
  1. Software organization and properties
    1. Extra-functional properties
      1. Software reliability
    2. Software system structures
      1. Distributed systems organizing principles

Recommendations

Connector-based self-healing mechanism for components of a reliable system
DEAS '05: Proceedings of the 2005 workshop on Design and evolution of autonomic application software

This paper describes the self-healing mechanism for components in reliable systems. Each component in a self-healing system is designed as a layered architecture, structured with the healing layer and the service layer. The healing layer of a self-...
Connector-based self-healing mechanism for components of a reliable system

This paper describes the self-healing mechanism for components in reliable systems. Each component in a self-healing system is designed as a layered architecture, structured with the healing layer and the service layer. The healing layer of a self-...
Towards architecture-based self-healing systems
WOSS '02: Proceedings of the first workshop on Self-healing systems

Our approach to creating self-healing systems is based on software architecture, where repairs are done at the level of a software system's components and connectors. In our approach, event-based software architectures are targeted because they offer ...

Reviews

Reviewer: Holger Giese

Is the concept of self-healing a step forward compared to fault tolerance__?__ This paper claims that self-healing components can be achieved by a process consisting of "anomalous object detection, dynamic reconfiguration before and after object self-healing, repair of sick objects, and testing of repaired objects." At first glance, this looks pretty much like the classical four constituent phases of fault tolerance [1]: "(i) error detection; (ii) damage confinement and assessment; (iii) error recovery; and (iv) fault treatment and continued system service." Since self-healing, in contrast to fault tolerance, does not necessarily guarantee continued service, it might not require all four stages at full strength. However, the proposed simplification of step (ii), which only protects the environment against the sick object after it has been detected and until it has been healed, seems to go too far, as potential effects on the connected objects are ignored. The replacement of steps (iii) and (iv), by a repair and test step for the sick object only, is even more problematic, as no error recovery that addresses the corrupted states of other infected objects, and no fault treatment that excludes the possibility that the observed fault can affect the system again, is included. Since the proposal doesn't present any assumptions or restrictions that justify the outlined simplifications, or outline which phenomena, such as software and hardware faults, or transient or permanent faults are addressed by the approach, it is rather unclear what is delivered here by self-healing. Furthermore, no evaluation results for the approach are given; my answer to the initial question in this review is that this work is not a step forward, even though self-healing, in general, can be. Online Computing Reviews Service

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Comments

Information & Contributors

Information

Published In

cover image Science of Computer Programming

Science of Computer Programming Volume 57, Issue 1

Special issue on system and software architectures(IWSSA'04)

July 2005

127 pages

ISSN:0167-6423

Issue’s Table of Contents

Publisher

Elsevier North-Holland, Inc.

United States

Publication History

Published: 01 July 2005

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Petke JClark DLangdon WSpinellis DGousios GChechik MDi Penta M(2021)Software robustness: a survey, a theory, and prospectsProceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3468264.3473133(1475-1478)Online publication date: 20-Aug-2021
https://dl.acm.org/doi/10.1145/3468264.3473133
Merelli EPaoletti NTesei L(2016)Adaptability checking in complex systemsScience of Computer Programming10.1016/j.scico.2015.03.004115:C(23-46)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1016/j.scico.2015.03.004
Khan MZulkernine MCrnkovic IStafford JPetriu DHappe JInverardi P(2011)Building components with embedded security monitorsProceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS10.1145/2000259.2000282(133-142)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.1145/2000259.2000282
Chun IPark JKim WKang WLee HPark S(2010)Autonomic computing technologies for cyber-physical systemsProceedings of the 12th international conference on Advanced communication technology10.5555/1833006.1833022(1009-1014)Online publication date: 7-Feb-2010
https://dl.acm.org/doi/10.5555/1833006.1833022
Yoo GLee E(2010)Monitoring methodology using aspect oriented programming in functional based systemProceedings of the 12th international conference on Advanced communication technology10.5555/1831508.1831676(783-786)Online publication date: 7-Feb-2010
https://dl.acm.org/doi/10.5555/1831508.1831676
Park JYoun HLee JLee ELee GHoward DKang JSlezak DAhn TYang C(2009)Automatic generation techniques of a resource monitor based on deployment diagramProceedings of the 2009 International Conference on Hybrid Information Technology10.1145/1644993.1645028(189-192)Online publication date: 27-Aug-2009
https://dl.acm.org/doi/10.1145/1644993.1645028
Shin MXu YPaniagua FAn J(2006)Detection of anomalies in software architecture with connectorsScience of Computer Programming10.1016/j.scico.2005.11.00261:1(16-26)Online publication date: 1-Jun-2006
https://dl.acm.org/doi/10.1016/j.scico.2005.11.002
Shin MCooke D(2005)Connector-based self-healing mechanism for components of a reliable systemProceedings of the 2005 workshop on Design and evolution of autonomic application software10.1145/1083063.1083068(1-7)Online publication date: 21-May-2005
https://dl.acm.org/doi/10.1145/1083063.1083068
Shin MCooke D(2005)Connector-based self-healing mechanism for components of a reliable systemACM SIGSOFT Software Engineering Notes10.1145/1082983.108306830:4(1-7)Online publication date: 21-May-2005
https://dl.acm.org/doi/10.1145/1082983.1083068

Abstract

References

Cited By

Index Terms

Recommendations

Connector-based self-healing mechanism for components of a reliable system

Connector-based self-healing mechanism for components of a reliable system

Towards architecture-based self-healing systems

Reviews

Access critical reviews of Computing literature here

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations