IT systems in technical applications are increasingly complex and heterogeneous today. Their operation and design are complex and are under high cost and time pressure. This applies to embedded systems as well as to robots, microprocessors or automation systems.
In addition to functional requirements such as correctness due to the embedding in a technical environment, issues of performance, security and fault tolerance also play an important role. In non-trivial systems, such non-functional or quantitative properties can only be investigated, verified and, if necessary, optimized using computer-aided methods using a model.
The aim of the research work is to support the design and operation of complex systems of technical informatics based on models. The increasing complexity of the applications, their distribution, the influence of failures and the shift in effort from hardware to software make special methods of software and system construction necessary.
The scientific work in the field of system and software engineering of complex systems of the group focuses on the following areas:
- Modeling methods (non-Markovian stochastic discrete event systems, stochastic Petri nets, model integration),
- analysis methods (performance and reliability evaluation, fast simulation methods for systems with rare events, integration of simulation and numerical analysis, distributed simulation methods, automatic optimization methods),
- Model-based software development (domain-specific languages, MDA, transformation and analysis methods for UML/fUML/SysML, model-based generation or coupling of tools)
- Modular certification of safety-critical software systems
- Tool development (TimeNET, MDE4CPP),
- Technical / industrial applications (avionics, automotive systems, manufacturing and transport systems, cloud architectures, safety-critical systems, autonomous mobile systems, supply chains, real-time communication)