The complexity of future software systems, which are embedded in a dynamic environment, challenges traditional system design. With ever-increasing requirements and unforeseeable changes at runtime, complete a priori specification is hardly possible. 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.

 

Senior Researcher
Institute for Software & Systems Engineering
  • Room 3041 (Building N)

Hot Topics

Software Engineering for SO systems

Systematic construction of self-organizing systems is a challenging task but necessary to avoid unintended and unwanted emergent behavior.

Quality Assurance for SO systems

Intelligent and autonomous systems are often very large scale systems. We need concepts like systems of systems and hierarchies to lead them in the right direction. In addition, we need test methods and performance metrics to ensure their quality.

Swarm Intelligence

Swarms of heterogeneous entities, like different kinds of mobile robots, will be part of our daily life. How can we ensure that they do exactly what we want?

SO in Industrial Applications

Intelligent, flexible production, Industry 4.0 applications, etc. will benefit from self-organization. We need to ensure their quality and give behavioral guarantees despite their emergent behavior.

Projects

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

TeSOS

Testing Self-Organizing, Adaptive Systems

Organic computing is a response to the threatening view of being surrounded by interacting and self-organizing systems which may become unmanageable, showing undesired emergent behavior. Major challenges for organic system design arise from the conflicting requirements to have systems that are at the same time robust and adaptive, having sufficient degrees of freedom for showing self-x properties but being open for human intervention and operating with respect to appropriate rules and constraints ...

Prof. Dr. Hartmut Schmeck, KIT

Services

  1. Design of innovative, adaptive production systems
  2. Solutions for decentralized, autonomous management of energy supply
  3. Enhancement of existing systems by adaptive behavior
  4. Analysis and verification of adaptive systems

Completed Projects

SAVE ORCA

A method for the systematic, top-down design and construction of highly reliable and self-organizing, adaptive systems.

OC-Trust

Coordination of the DFG research group, that integrates social concepts (like trust and reputation) in SO systems to raise the reliability of the system as well as the user's trust in the system.

ForSa@OC-Trust

ForSa@OC-Trust develops formal methods, software engineering approaches and algorithms for trust-critical self-organizing systems. The focus is on ensuring functional correctness and safety.

Team

Researcher
Institute for Software & Systems Engineering
Researcher
Institute for Software & Systems Engineering
Researcher
Institute for Software & Systems Engineering
Senior Researcher
Institute for Software & Systems Engineering
Director
Institute for Software & Systems Engineering

Institute for Software & Systems Engineering

The Institute for Software & Systems Engineering (ISSE), directed by Prof. Dr. Wolfgang Reif, is a scientific institution within the Faculty of Applied Computer Science of the University of Augsburg. In research, the institute supports both fundamental and application-oriented research in all areas of software and systems engineering. In teaching, the institute facilitates the further development of the faculty's and university's relevant course offerings.

Search