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, smart grid applications, quadrocopter swarms for environmental monitoring, among others.

Research topics

  • Software Engineering for SO systems
  • Quality assurance for SO systems
  • Systems of Systems and dynamic hierarchies for large scale systems
  • Swarm Intelligence
  • Market-based algorithms
  • Social concepts in SO systems (Trust, Reputation, ...)
  • Emergent behavior
  • Behavioral guarantees for SO systems

Applications

  • Production Systems
  • Logistics
  • Smart Energy Systems
  • Autonomous Swarms
  • Environmental Monitoring
  • Industry 4.0

Principal Investigator

Prof. Dr. Wolfgang Reif

Head of Research Group and Contact

Dr. Hella Ponsar (geb. Seebach)

E-Mail: ponsar@isse.de
Tel.: +49 821 598 - 2176

Researchers

Running Projects

  • TeSOS
    Testing Self-Organizing, Adaptive Systems

  • COMBO
    Combination of Planning, Self-Organization and Reconfiguration in a Robot Ensemble for Handling ScORe Missions

  • Self-organizing Production
    Self-organizing Production in the context of Industry 4.0

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

Completed Projects

  • SAVE ORCA
    Systematic design of reliable Organic Computing applications

  • OC Trust
    Trustworthy Self-organizing Systems