Embedded systems and their technical applications are increasingly complex and heterogeneous. There is a pressure of prices on their design and operation, despite the elaborate corresponding tasks. Non-functional properties such as performance, reliability, safety, and total cost are especially important because of the integration into a technical appliance or process. Such characteristics can only be evaluated, verified, or optimized with software tools and based on a formal model.

The group's research contributes to model-based support for the design and operation of complex embedded systems. Issues such as increasing complexity, distributed computing, fault tolerance, as well as the shift from hard- to software require specific construction methods for software and surrounding system.

Our research interests include

• Modelling methods (non-Markovian stochastic discrete event systems, stochastic and colored Petri nets, hybrid models)
• Analysis techniques (Performance and dependability evaluation, rare event simulation for safety-critical systems, distributed simulation, optimization)
• High-level system design (architecture models and optimization)
• Software tool development (TimeNET, MLDesigner)
• Applications (Automotive Systems, Avionics, Manufacturing, Autnomous Systems, Supply Chains, Workflows)