Ulster University Logo

Autonomic Software Systems

Sterritt, Roy (2011) Autonomic Software Systems. AIAA Journal of Aerospace Computing, Information and Communication, 8 . p. 86. [Journal article]

[img] PDF
Indefinitely restricted to Repository staff only.


URL: http://pdf.aiaa.org/jaPreview/JACIC/2011/PVJA54466.pdf

DOI: 10.2514/1.54466


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.

Item Type:Journal article
Faculties and Schools:Faculty of Computing & Engineering
Faculty of Computing & Engineering > School of Computing and Mathematics
Research Institutes and Groups:Computer Science Research Institute > Smart Environments
Computer Science Research Institute
ID Code:20329
Deposited By: Mr Roy Sterritt
Deposited On:24 Oct 2011 11:26
Last Modified:09 Dec 2015 11:00

Repository Staff Only: item control page