Research

Research Focus

The Dependable Systems and Software Chair focusses on the design-time assurance of performance and dependability for systems with at least one of the following features:

• reactive,
• embedded,
• distributed,
• mobile,
• networked,
• battery powered,
• limited in resources.

Techniques and Tools

Various techniques and tools are used, developed, or co-developed within the group to advance the state-of-the-art in performance and dependability assurance. These techniques combine ideas from three, usually separated, strands of research: stochastic modelling, exhaustive verification, and process theory. See the links below for more details.

You can find an overview over the tools developed at our chair on the tools page.

Activities and Areas

The research of the Dependable Systems and Software Chair can be broadly categorized in the following areas:

• Energy Aware Networking Principles
• Modelling and Description of Stochastic Timed Systems
• Validation of Multiprocessor Multithreaded Architectures
• Formal Approaches to Model-Driven Quality of Service
• Quantitative Model Checking of Software

Funded Projects

• 2004-2015: AVACS (Automated Verification and Analysis of Complex Systems)
• 2009-2012: ROCKS (RigorOus dependability analysis using model ChecKing techniques for Stochastic systems)
• 2011-2015: MEALS (Mobility between Europe and Argentina applying Logics to Systems)
• 2013-2016: SENSATION (Self Energy-Supporting Autonomous Computation)
• 2015-2016: DRESISP (Dependable Renewable Energy Supply in the South Pacific)
• 2016-2021: POWVER (Power to the people. Verified.)