A Specification and Construction Paradigm for Organic Computing Systems

TLDR

Organic Computing systems autonomously reorganize and adapt, improving dependability, maintenance, and usability. This paper presents the RIA, an approach for specifying and constructing Organic Computing systems. The RIA decomposes system behavior into productive and self‑x phases, enabling a generic specification of organic aspects and is demonstrated via a production‑automation case study.

Abstract

Organic Computing systems are systems which have the capability to autonomously (re-)organize and adapt themselves. The benefit of such systems with self-x properties is that they are more dependable, as they can compensate for some failures. They are easier to maintain, because they can automatically configure themselves and are more convenient to use because of automatic adaptation to new situations. While Organic Computing systems have a lot of desired properties, there still exists only little knowledge on how they can be designed and built.In this paper an approach for specification and construction of a class of Organic Computing systems is presented, called the (RIA). The core idea is that the behaviour of an Organic Computing system can be split into productive phases and self-x phases. This allows for a generic description of how ``organic'' aspects can be specified and implemented. The approach will be illustrated by applying it to a design methodology for Organic Computing systems and further refining it to an explicit case study in the domain of production automation.