Using Automated Planning for Trusted Self-organising Organic Computing Systems

  • Authors:
  • Benjamin Satzger;Andreas Pietzowski;Wolfgang Trumler;Theo Ungerer

  • Affiliations:
  • Department of Computer Science, University of Augsburg, Augsburg, Germany D-86135;Department of Computer Science, University of Augsburg, Augsburg, Germany D-86135;Department of Computer Science, University of Augsburg, Augsburg, Germany D-86135;Department of Computer Science, University of Augsburg, Augsburg, Germany D-86135

  • Venue:
  • ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

The increasing complexity of computer-based technical systems require new ways to control them. The initiatives Organic Computingand Autonomic Computingaddress exactly this issue. They demand future computer systems to adapt dynamically and autonomously to their environment. In this paper we propose a new approach based on automated planning to realise self-organising capabilities for complex distributed computing systems. The user/administrator only defines objectives describing the conditions which should hold in the system, whereas the system itself is responsible for meeting them using a planning engine. As many planning algorithms are known to be sound and complete, formal guarantees can be given. Thus we aim at building trusted self-organising distributed computer system which are suitable to control real technical systems. Our approach is demonstrated and evaluated on the basis of a simulated production cell with robots and carts. We propose and evaluate two optimisations.