Design, integration, test and verification of today‘s complex embedded and cyber physical systems without software tool support is impossible. Besides implementing standard functionality various technologies for implementing the system as well as non-functional requirements often driven by dependability aspects must be mastered.
The group currently focuses on tool support for understanding system designs and ensuring the reliability of a given system at design time. Solutions to the – often computationally heavy – problems occurring rely on efficient data structures and graph algorithms. In many cases powerful reasoning engines as used in model checking or test generation are employed.