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.
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.
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.
Prof. Dr. Hartmut Schmeck, KIT
- Design of innovative, adaptive production systems
- Solutions for decentralized, autonomous management of energy supply
- Enhancement of existing systems by adaptive behavior
- Analysis and verification of adaptive systems
A method for the systematic, top-down design and construction of highly reliable and self-organizing, adaptive systems.
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 develops formal methods, software engineering approaches and algorithms for trust-critical self-organizing systems. The focus is on ensuring functional correctness and safety.
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.