Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/association-for-computing-machinery/self-regenerative-software-components-60cC4Aa00u
- Datasource
- Association for Computing Machinery
- Copyright
- Copyright © 2003 by ACM Inc.
- ISBN
- 1-58113-784-2
- doi
- 10.1145/1036921.1036935
- Publisher site
- See Article on Publisher Site
Abstract
Self-Regenerative Software Components* Hassen Sa~'di Bruno Dutertre Joshua Levy Alfonso Valdes System Design Laboratory SRI International 333 Ravenswood Ave Menlo Park, CA 94025 saidi @sdl.sri.com 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 selfregenerative capabilities in the design of survivable systems, it is important to ensure that a system satis~'ing the selfregenerative 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. Self-regeneration capabilities are a new trend in survivable system design, ensuring the crucial property that a system's vulnerabilities cannot be exploited to the extent that the mission objective of the system is compromised, but