Autonomic Software Systems

Research output: Contribution to journalArticle

Abstract

GREATER demand for complex functionality, particularly in the aerospace industry, necessitates greater degreesof autonomy in our computer software and systems. Autonomic computing [1] and related initiatives aimed atachieving self-properties, self-healing, and ultimately self-governance are becoming more important and relevant asa result.However, there is still much to be done to achieve the vision of self-managing systems [2]. This is particularly true inembedded systems, as highlighted by Nordstrom et al. in their article “Autonomic Healing of Model-Based Systems”.The authors highlight the need for resilience and availability of systems in complex environments, where models maynot necessarily provide all the information needed for informed decision-making regarding future behavior, leavingit to be a relatively human-intensive process. The authors describe their work on facilitating self-healing, one of theoriginal self-CHOP properties and a vital component of autonomic systems, in model-based development.We must also have assurance regarding the decisions made in self-managing systems. The potential implicationsof incorrect decisions are great, but decisions must often be made by autonomous components of ground-controlledsystems simply because of time constraints. In their paper “Game-Based Model Checking for Reliable Autonomyin Space”, Bakera et al. describe the game-based model checker GEAR, a useful tool for automatically provingproperties of autonomic systems for increased levels of assurance. They illustrate its usage with respect to a casestudy involving the ExoMars Rover.Finally, the longer-term vision of creating Autonomic Software Systems is discussed with a return to biologyfor further inspiration in creating a holistic self-managing environment in Next Generation Autonomic SystemEnvironment.
LanguageEnglish
Pages86
JournalJournal of Aerospace Computing, Information, and Communication
Volume8
DOIs
Publication statusPublished - Apr 2011

Fingerprint

Aerospace industry
Model checking
Computer systems
Decision making
Availability

Cite this

Sterritt, Roy. / Autonomic Software Systems. 2011 ; Vol. 8. pp. 86.
@article{5902047630d147ffa12e731a37b4cc42,
title = "Autonomic Software Systems",
abstract = "GREATER demand for complex functionality, particularly in the aerospace industry, necessitates greater degreesof autonomy in our computer software and systems. Autonomic computing [1] and related initiatives aimed atachieving self-properties, self-healing, and ultimately self-governance are becoming more important and relevant asa result.However, there is still much to be done to achieve the vision of self-managing systems [2]. This is particularly true inembedded systems, as highlighted by Nordstrom et al. in their article “Autonomic Healing of Model-Based Systems”.The authors highlight the need for resilience and availability of systems in complex environments, where models maynot necessarily provide all the information needed for informed decision-making regarding future behavior, leavingit to be a relatively human-intensive process. The authors describe their work on facilitating self-healing, one of theoriginal self-CHOP properties and a vital component of autonomic systems, in model-based development.We must also have assurance regarding the decisions made in self-managing systems. The potential implicationsof incorrect decisions are great, but decisions must often be made by autonomous components of ground-controlledsystems simply because of time constraints. In their paper “Game-Based Model Checking for Reliable Autonomyin Space”, Bakera et al. describe the game-based model checker GEAR, a useful tool for automatically provingproperties of autonomic systems for increased levels of assurance. They illustrate its usage with respect to a casestudy involving the ExoMars Rover.Finally, the longer-term vision of creating Autonomic Software Systems is discussed with a return to biologyfor further inspiration in creating a holistic self-managing environment in Next Generation Autonomic SystemEnvironment.",
author = "Roy Sterritt",
note = "Reference text: [1] Sterritt, R, “State of the Art: Autonomic Computing,” Innovations in Systems and Software Engineering: A NASA Journal, Vol. 1, No. 1, Apr. 1995, pp. 79–88. [2] Dobson, S., Sterritt, R., Nixon, P., and Hinchey, M., “Fulfilling the Vision of Autonomic Computing,” Computer, Vol. 43, No. 1, Jan. 2010, pp. 35–41",
year = "2011",
month = "4",
doi = "10.2514/1.54466",
language = "English",
volume = "8",
pages = "86",

}

Autonomic Software Systems. / Sterritt, Roy.

Vol. 8, 04.2011, p. 86.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Autonomic Software Systems

AU - Sterritt, Roy

N1 - Reference text: [1] Sterritt, R, “State of the Art: Autonomic Computing,” Innovations in Systems and Software Engineering: A NASA Journal, Vol. 1, No. 1, Apr. 1995, pp. 79–88. [2] Dobson, S., Sterritt, R., Nixon, P., and Hinchey, M., “Fulfilling the Vision of Autonomic Computing,” Computer, Vol. 43, No. 1, Jan. 2010, pp. 35–41

PY - 2011/4

Y1 - 2011/4

N2 - GREATER demand for complex functionality, particularly in the aerospace industry, necessitates greater degreesof autonomy in our computer software and systems. Autonomic computing [1] and related initiatives aimed atachieving self-properties, self-healing, and ultimately self-governance are becoming more important and relevant asa result.However, there is still much to be done to achieve the vision of self-managing systems [2]. This is particularly true inembedded systems, as highlighted by Nordstrom et al. in their article “Autonomic Healing of Model-Based Systems”.The authors highlight the need for resilience and availability of systems in complex environments, where models maynot necessarily provide all the information needed for informed decision-making regarding future behavior, leavingit to be a relatively human-intensive process. The authors describe their work on facilitating self-healing, one of theoriginal self-CHOP properties and a vital component of autonomic systems, in model-based development.We must also have assurance regarding the decisions made in self-managing systems. The potential implicationsof incorrect decisions are great, but decisions must often be made by autonomous components of ground-controlledsystems simply because of time constraints. In their paper “Game-Based Model Checking for Reliable Autonomyin Space”, Bakera et al. describe the game-based model checker GEAR, a useful tool for automatically provingproperties of autonomic systems for increased levels of assurance. They illustrate its usage with respect to a casestudy involving the ExoMars Rover.Finally, the longer-term vision of creating Autonomic Software Systems is discussed with a return to biologyfor further inspiration in creating a holistic self-managing environment in Next Generation Autonomic SystemEnvironment.

AB - GREATER demand for complex functionality, particularly in the aerospace industry, necessitates greater degreesof autonomy in our computer software and systems. Autonomic computing [1] and related initiatives aimed atachieving self-properties, self-healing, and ultimately self-governance are becoming more important and relevant asa result.However, there is still much to be done to achieve the vision of self-managing systems [2]. This is particularly true inembedded systems, as highlighted by Nordstrom et al. in their article “Autonomic Healing of Model-Based Systems”.The authors highlight the need for resilience and availability of systems in complex environments, where models maynot necessarily provide all the information needed for informed decision-making regarding future behavior, leavingit to be a relatively human-intensive process. The authors describe their work on facilitating self-healing, one of theoriginal self-CHOP properties and a vital component of autonomic systems, in model-based development.We must also have assurance regarding the decisions made in self-managing systems. The potential implicationsof incorrect decisions are great, but decisions must often be made by autonomous components of ground-controlledsystems simply because of time constraints. In their paper “Game-Based Model Checking for Reliable Autonomyin Space”, Bakera et al. describe the game-based model checker GEAR, a useful tool for automatically provingproperties of autonomic systems for increased levels of assurance. They illustrate its usage with respect to a casestudy involving the ExoMars Rover.Finally, the longer-term vision of creating Autonomic Software Systems is discussed with a return to biologyfor further inspiration in creating a holistic self-managing environment in Next Generation Autonomic SystemEnvironment.

U2 - 10.2514/1.54466

DO - 10.2514/1.54466

M3 - Article

VL - 8

SP - 86

ER -