Fast and Quantitative What-if Analysis for Dependable Communication Networks (WHATIF)

Kommunikationsnetzwerke bilden den Rückgrat unserer digitalen Gesellschaft und sind zu einer kritischen Infrastruktur geworden. Allerdings kommt es weiterhin regelmässig zu grossen Netzwerkausfällen, im Internet aber auch in Rechenzentren und in anderen Bereichen. Statistiken zeigen, dass die meisten dieser Ausfälle auf menschliches Versagen zurückzuführen sind -- und in der Tat werden heutige Netzwerke trotz deren hohen Komplexität immer noch manuell betrieben. Das Ziel dieses Projektes ist es, die Grundlagen für automatisierte Ansätze für zuverlässige Kommunikationsnetzwerke zu entwickeln: Netzwerke die sich selbständig auf Korrektheit und Performanz testen, und dabei sogar mögliche Fehlerszenarien berücksichtigen (Stichwort: what-if analysis). Beispielweise kann ein solches Netzwerk automatisiert feststellen, ob Datenpakete selbst dann noch sicher gerouted werden, wenn Links ausfallen. Die Systemadministratoren werden dadurch entlastet.