AVACS was a Transregional Collaborative Research Center sponsored by the German Research Foundation DFG. AVACS was devoted to foundational research on Automated Verification and Analysis of Complex Systems. Research within AVACS was subdivided in three project areas named R (Real time), H (Hybrid) and S (no, not Stochastic, but Coarse Grain System Structure).
The Chair of Dependable Systems and Software contributed to the subprojects H4 and S2, and played a pivotal role in subproject S3. This subproject integrated quantitative dependability analysis with state of the art computer aided verification. This effort had two sides. On the modeling side, we enabled the formal specification of dependability models and dependability properties via high-level engineering design notations. On the analysis side, we considerably advanced the currently available model checking technology.