ISSE

Search

Self-organizing Systems


Abstract

Self-organizingSystems The complexity of future software systems, which are embedded in a dynamic environment, challenges traditional system design as complete a priori specification is hardly possible with ever increasing requirements and unforeseeable changes at runtime. Our focus is the systematic design of reliable autonomous systems incorporating descriptive modeling, testing, and formal verification to ensure their correctness despite autonomy. Further, we develop self-* algorithms for runtime adaption and optimization as well as techniques to incorporate uncertainties about a system’s environment in its decisions. Areas of application are flexible production plants and smart grid applications, among others.

Contact

Dr. Hella Seebach
E-Mail: seebach@isse.de
Tel.: +49 821 598 - 2176

Researchers

Running Projects

  • OC-Trust
    Trustworthy Organic Computing systems

  • TeSOS
    Testing Self-Organizing, Adaptive Systems

  • Ensemble Programming
    Self-organizing, Self-aware, Reconfigurable Robot Ensembles

Services

  • Solutions for decentralized, autonomous management of energy supply
  • Design of innovative, adaptive production systems
  • Enhancement of existing systems by adaptive behavior
  • Analysis and verification of adaptive systems

Description

Increasing complexity challenges traditional system design as complete specification is hardly possible with ever increasing requirements and changing tasks. Furthermore, the topology of future software systems and the participating components of these systems will not be predefined and subject to unforeseeable changes during the system's runtime.
Self-organizing systems approach this problem by introducing self-* properties that allow a system to react in its own way, i.e., by self-adapting to changing tasks or by self-healing if failures occur. Nevertheless, this "let the system go" approach poses new challenges for designing, modeling, testing, as well as formalization and verification of such systems (also known as Organic Computing systems).
Our focus is the systematic design of reliable Organic Computing applications incorporating both descriptive modeling, testing and formal verification. The autonomy of these systems as well as permanent changes of their structure and behavior lead to skepticism of the user. Thus, additional techniques to ensure the trustworthiness of such self-organizing systems are required.

Completed Projects

  • SAVE ORCA
    Systematic design of reliable Organic Computing applications