Self-Organizing Systems
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.
?
- Phone: +49 821 598 2176
- Email: ponsar@informatik.uni-augsburginformatik.uni-augsburg.de ()
- 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
Services
- 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
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
- Phone: +49 821 598 2217
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 伟德国际_伟德国际1946$娱乐app游戏 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.