A specification and construction paradigm for organic computing systems

M Güdemann, F Nafz, F Ortmeier… - 2008 Second IEEE …, 2008 - ieeexplore.ieee.org
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 …

Constraining self-organisation through corridors of correct behaviour: The restore invariant approach

F Nafz, H Seebach, JP Steghöfer, G Anders… - Organic Computing—A …, 2011 - Springer
Self-organisation aspects and the large number of entities in Organic Computing (OC)
systems make them extremely hard to predict and analyse. However, the application of OC …

A universal self-organization mechanism for role-based Organic Computing systems

F Nafz, F Ortmeier, H Seebach, JP Steghöfer… - Autonomic and Trusted …, 2009 - Springer
An Organic Computing system has the ability to autonomously (re-)organize and adapt itself.
Such a system exhibits so called self-x properties (eg self-healing) and is therefore more …

Designing self-healing in automotive systems

H Seebach, F Nafz, J Holtmann, J Meyer… - Autonomic and Trusted …, 2010 - Springer
Self-healing promises to improve the dependability of systems. In particular safety-critical
systems like automotive systems are well suited application, since safe operation is required in …

A formal framework for compositional verification of organic computing systems

F Nafz, H Seebach, JP Steghöfer, S Bäumler… - Autonomic and Trusted …, 2010 - Springer
Because of their self-x properties Organic Computing systems are hard to verify. Nevertheless
in safety critical domains one may want to give behavioral guarantees. One technique to …

Formal modeling and verification of self-* systems based on observer/controller-architectures

F Nafz, JP Steghöfer, H Seebach, W Reif - Assurances for Self-Adaptive …, 2013 - Springer
Self-* systems have the ability to adapt to a changing environment and to compensate
component failures by reorganizing themselves. However, as these systems make autonomous …

A software engineering guideline for self-organizing resource-flow systems

H Seebach, F Nafz, JP Steghöfer… - 2010 Fourth IEEE …, 2010 - ieeexplore.ieee.org
When introducing self-organization into a system, its developer aims to reduce the system's
complexity, during development as well as during operation. More often than not, the self-…

How to design and implement self-organising resource-flow systems

H Seebach, F Nafz, JP Steghöfer, W Reif - Organic Computing—A …, 2011 - Springer
The construction of self-organising systems often leads to very ingenious and specific solutions
to a concrete problem. These solutions cannot be easily transferred to other domains or …

A generic software framework for role-based Organic Computing systems

F Nafz, F Ortmeier, H Seebach… - 2009 ICSE Workshop …, 2009 - ieeexplore.ieee.org
An Organic Computing system has the ability to autonomously (re-)organize and adapt itself.
Such a system exhibits so called self-x properties (eg self-healing) and is therefore more …

Decentralized reconfiguration for self-organizing resource-flow systems based on local knowledge

G Anders, H Seebach, F Nafz… - 2011 Eighth IEEE …, 2011 - ieeexplore.ieee.org
The introduction of self-organization into a system promises, among other things, to reduce
the system's complexity and to increase the system's robustness against failures and its …