DEPENDABLE SYSTEMS AND SOFTWARE
News: The doctoral dissertation of Dr. Arnd Hartmanns will receive the 2016 dissertation award of MMB, awarded on April 5 on the occasion of the 18th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”.
News: We are hosting the German community working on Concurrency Theory, D-CON 2016.
News: We thank Dr. Ralf Wimmer, for being the substitute of Prof Hermanns during the winter term 2015/16 while the latter has been on sabbatical leave.
News: We have a new BMBF-funded project on power grid stability in the South Pacific, jointly with the University of the South Pacific in Suva, Fiji.
News: Holger Hermanns has been elected as Member of Academia Europeae.
News: The Fakultätentag Informatik (the parliament of computer science faculties of German universities) has awarded Professor Holger Hermanns and Christian Eisentraut, MSc the Preis des Fakultätentages 2013 for their innovative course on concurrent programming, a mandatory course in the Saarbrüclen Bachelor curriculum.
News: The Board of the Otto Mønsted Foundation has awarded Professor Hermanns an Otto Mønsted-Guest Professorship to visit Danish Technical University, Copenhagen in 2013.
News: Our research helps the German energy turn around not to skid off the grid.
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.
A system is dependable
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.
|Dependable Systems & Software Group||Department of Computer Science||Universität des Saarlandes|