Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
The Vision of Autonomic Computing
Computer
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Organic computing: on the feasibility of controlled emergence
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
An Automated Formal Approach to Managing Dynamic Reconfiguration
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
A Specification and Construction Paradigm for Organic Computing Systems
SASO '08 Proceedings of the 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems
Kodkod: a relational model finder
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Formal modeling and verification of systems with self-x properties
ATC'06 Proceedings of the Third international conference on Autonomic and Trusted Computing
Engineering self-coordinating software intensive systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
A formal framework for compositional verification of organic computing systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Designing self-healing in automotive systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Ensuring correct self-reconfiguration in safety-critical applications by verified result checking
Proceedings of the 2011 workshop on Organic computing
Utility-based self-adaption with environment specific quality models
ICAIS'11 Proceedings of the Second international conference on Adaptive and intelligent systems
Information and Software Technology
On deadlocks and fairness in self-organizing resource-flow systems
ARCS'10 Proceedings of the 23rd international conference on Architecture of Computing Systems
Hi-index | 0.00 |
An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is therefore more dependable as e.g. some failures can be compensated. Furthermore, it is easier to maintain as it automatically configures itself and more convenient to use because of its automatic adaptation to new situations. On the other hand, design and construction of Organic Computing systems is a challenging task. The Organic Design Pattern (ODP) is a design guideline to aid engineers in this task. This paper describes a universal reconfiguration mechanism for role-based Organic Computing systems. If a system is modeled in accordance with the ODP guideline, reconfiguration can be implemented generically on the basis of an of-the-shelf constraint solver. The paper shows how Kodkod can be used for this and illustrates the approach on an example from production automation.