Article

Self-regenerative software components

Authors:

Bruno Dutertre,

Alfonso ValdesAuthors Info & Claims

SSRS '03: Proceedings of the 2003 ACM workshop on Survivable and self-regenerative systems: in association with 10th ACM Conference on Computer and Communications Security

Pages 115 - 120

https://doi.org/10.1145/1036921.1036935

Published: 31 October 2003 Publication History

Abstract

Self-regenerative capabilities are a new trend in survivable system design. Self-regeneration ensures the property that a system's vulnerabilities cannot be exploited to the extent that the mission objective is compromised, but instead that the vulnerabilities are eventually removed, and system functionality is restored. To establish the usefulness of self-regenerative capabilities in the design of survivable systems, it is important to ensure that a system satisfying the self-regenerative requirement is survivable, and software engineering practices and tool support are available for building self-regenerative systems. This paper emphasizes the need for formal definition of the concept of self-regenerative systems in general and self-regenerative software components in particular. We propose a simple formal definition of a self-regenerative software component and we propose to adapt well-established formal software validation techniques to build tool support to implement self-regenerative capabilities at the component level.

References

[1]

A. Arora and S. S. Kulkarni. Detectors and correctors: A theory of fault-tolerance components. In Proceedings of the 18th IEEE International Conference on Distributed Computing Systems (ICDCS98), May 1998.]]

Digital Library

[2]

T. Ball, Majumdar, T. Millstein, and S. Rajamani. Automatic predicate abstraction of C programs. In C. Norris and J. J. B. Fenwick, editors, Proc. of the ACM SIGPLAN '01 Conference on Programming Language Design and Implementation (PLDI-01), volume 36.5 of ACM SIGPLAN Notices, pages 203-213, New York, June 2001. ACM Press.]]

Digital Library

[3]

E. M. Clarke, O. Grunberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.]]

Digital Library

[4]

P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. pages 238-252. ACM Press, Jan. 1977.]]

Digital Library

[5]

C. Cowan, C. Pu, D. Maier, J. Walpole, P. Bakke, S. Beattie, A. Grier, P. Wagle, Q. Zhang, and H. Hinton. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In Proc. 7th USENIX Security Conference, pages 63-78, Jan. 1998.]]

Digital Library

[6]

C. Flanagan and J. Leino. Houdini, an annotation assistant for ESC/Java. In International Symposium on FME 2001: Formal Methods for Increasing Software Productivity, LNCS, volume 1, 2001.]]

Digital Library

[7]

S. Graf and H. Saïdi. Construction of abstract state graphs with PVS. In O. Grumberg, editor, Conference on Computer Aided Verification, volume 1254 of LNCS, pages 72-83, Haifa, Israel, June 1997.]]

Digital Library

[8]

J. Levy, H. Saïdi, and T. E. Uribe. Combining monitors for run-time system verification. Electronic Notes in Theoretical Computer Science, 70(4), Dec. 2002.]]

[9]

T. M. Mitchell. Machine Learning. McGraw-Hill, 1997.]]

Digital Library

[10]

G. C. Necula, S. McPeak, and W. Weimer. CCured: Type-safe retrofitting of legacy code. In Principles of Programming Languages. ACM, Jan. 2002.]]

Digital Library

[11]

A. Pnueli. The temporal logic of programs. pages 46-57. IEEE Computer Society Press, 1977. Revised version published in Theoretical Computer Science, 13:45-60, 1981.]]

[12]

P. Porras and P. Neumann. EMERALD: Event Monitoring Enabling Responses to Anomalous Live Disturbances. In Proceedings of the 20th National Information Systems Security Conference, pages 353-365, Baltimore, MD, Oct. 1997.]]

[13]

M. Roesch. Snort: Lightweight intrusion detection for networks. In USENIX LISA'99, Nov. 1999. www.snort.org.]]

Digital Library

[14]

H. Saïdi. Model-checking guided abstraction and analysis. In 7th International Static Analysis Symposium, SAS 2000, volume 1824, pages 377-396, June 2000.]]

Digital Library

[15]

W. Visser, K. Havelund, G. Brat, and S.-J. Park. Model checking programs. In Proc. 15th IEEE International Conference on Automated Software Engineering, Sept. 2000.]]

Digital Library

Cited By

Olsen MSiegelmann-Danieli NSiegelmann H(2008)Robust artificial life via artificial programmed deathArtificial Intelligence10.1016/j.artint.2007.10.015172:6-7(884-898)Online publication date: 1-Apr-2008
https://dl.acm.org/doi/10.1016/j.artint.2007.10.015
Marcos-Jorquera DMacia-Perez FGilart-Iglesias VGil-martinez-abarca J(2006)High Availability for Manufacturing Components2006 IEEE International Conference on Industrial Informatics10.1109/INDIN.2006.275602(474-479)Online publication date: Aug-2006
https://doi.org/10.1109/INDIN.2006.275602
Marcos-Jorquera DMacia-Perez FGilart-Iglesias VBerna-Martinez J(2006)Business Continuity Model. Regeneration System for Manufacturing ComponentsProceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference10.1109/EDOC.2006.20(97-105)Online publication date: 16-Oct-2006
https://dl.acm.org/doi/10.1109/EDOC.2006.20

Self-regenerative software components
1. Security and privacy
  1. Systems security
2. Social and professional topics
  1. Computing / technology policy

Recommendations

Self-Managing Software

The properties of an autonomic or self-managing system provide the basis for future selfware development.
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-...
Building autonomic components: the selflets approach
ASE'08: Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering

Autonomic computing is an emergent field aiming at the development of large-scale, self-managing, distributed component-based systems. This paper presents the model and the architecture of an autonomic computing element called SelfLet, which is a ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SSRS '03: Proceedings of the 2003 ACM workshop on Survivable and self-regenerative systems: in association with 10th ACM Conference on Computer and Communications Security

October 2003

129 pages

ISBN:1581137842

DOI:10.1145/1036921

Program Chairs:
Peng Liu
Pennsylvania State University
,
Partha Pal
BBN Technologies

Copyright © 2003 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSAC: ACM Special Interest Group on Security, Audit, and Control

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 October 2003

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

CCS03

Sponsor:

SIGSAC

CCS03: Tenth ACM Conference on Computer and Communications Security 2003

October 31, 2003

VA, Fairfax

Upcoming Conference

CCS '25

Sponsor:
sigsac

ACM SIGSAC Conference on Computer and Communications Security

October 13 - 17, 2025

Taipei , Taiwan

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
392
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)1

Reflects downloads up to 13 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Olsen MSiegelmann-Danieli NSiegelmann H(2008)Robust artificial life via artificial programmed deathArtificial Intelligence10.1016/j.artint.2007.10.015172:6-7(884-898)Online publication date: 1-Apr-2008
https://dl.acm.org/doi/10.1016/j.artint.2007.10.015
Marcos-Jorquera DMacia-Perez FGilart-Iglesias VGil-martinez-abarca J(2006)High Availability for Manufacturing Components2006 IEEE International Conference on Industrial Informatics10.1109/INDIN.2006.275602(474-479)Online publication date: Aug-2006
https://doi.org/10.1109/INDIN.2006.275602
Marcos-Jorquera DMacia-Perez FGilart-Iglesias VBerna-Martinez J(2006)Business Continuity Model. Regeneration System for Manufacturing ComponentsProceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference10.1109/EDOC.2006.20(97-105)Online publication date: 16-Oct-2006
https://dl.acm.org/doi/10.1109/EDOC.2006.20

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten