Dependable Systems and Software

The ever accelerating trend towards sophisticated computing systems pervades application areas where computing services need to function with great reliance. Automotive, avionics, and energy production are typical industrial sectors where different or multiple properties of such services – e.g., availability, performance, real-time response, ability to avoid catastrophic failures, prevention of deliberate privacy intrusions – are crucial.

The chair for Dependable Systems and Software at Saarland University conducts research and teaching in the area of Dependability.

A system is dependable
if reliance can justifiably be placed on
the service it delivers.

Dependability thus includes as special cases such attributes as reliability, availability, safety, security. The design of dependable systems and software asks for strong modelling and analysis methods for design-time prediction of dependability attributes. To this end the chair covers the area of formal verification, quantitative modelling, and distributed system design in a unified research and teaching structure.

Latest News

Best Paper Award for Markov Automata on Discount

Our discounted work on Markov automata wins the best paper award at MMB 2018.

Best Paper Award for Alternating Bisimulation

Our work on alternating bisimulation for interval Markov decision processes wins the best paper award at SETTA 2017.

Busy Beaver Award goes to d again

The 2017 edition of our lecture Nebenläufige Programmierung receives the award for outstanding teaching performance Busy Beaver.

Draisine 200.0 goes public

On the occasion of the 200th anniversary of Karl Drais’ Laufmaschine we have developed an electrified version thereof, the Draisine 200.0. Electrifying!

Best Paper Award for Battery-Aware Scheduling

Our work on battery-aware scheduling for nano satellites wins the best paper award at FM 2016.