Home | Impressum | Sitemap | KIT
Termine

  • bis 15. Mai 2011

    Einreichung von Beiträgen

  • bis 31. Mai 2011

    Entscheidung über Annahme

  • bis 1. Juli 2011

    Einreichung Final Version

  • 4.-7. Okt. 2011

    INFORMATIK 2011

  • 6. Okt. 2011

    DSCI 2011

DSCI 2011

Verlässliche Software für kritische Infrastrukturen /
Dependable Software for Critical Infrastructures

Berlin, 6. Oktober 2011, Workshop bei der

INFORMATIK 2011: 41. Jahrestagung der Gesellschaft für Informatik

 

Thema dieses Workshops sind Methoden, um die Zuverlässigkeit der Software sicherzustellen, die in kritischen Infrastrukturen zum Einsatz kommt. Er soll ein Diskussionsforum bieten und Forscher und Entwickler aus allen relevanten Bereichen zusammenbringen.

Motivation

Zukünftige Infrastrukturen für Energie und Verkehr wie auch Computing werden virtualisiert sein und in nie dagewesenem Ausmaß von Software abhängen. Solche kritischen Infrastrukturen werden auf Technologien wie bspw, virtuellen Kraftwerken, dem "Internet der Energie, simulationsbasiertem Verkehrsmanagement und Cloud Computing basieren. Getrieben durch Forderungen nach reduziertem Energieverbrauch, mehr Leistung, intelligenteren Diensten und vollständiger Integration werden zuküftige Infrastrukturen dezentralisiert, selbstorganisierend, adaptiv, und offen sein. Die Anforderungen an die Verlässlichkeit der Software - insbesondere an Funktionalität, Performanz, Adaptivität, Verfügbarkeit, Fehlertoleranz, Korrektheit, Sicherheit, Datenschutz, Vertrauenswürdigkeit - werden die Möglichkeiten heutiger Technik sprengen.
Die Entwicklung neuer Methoden zur Verbesserung von Software-Zuverlässigkeit und die Anpassung existierender Software-Zuverlässigkeitstechnologien an die besonderen Anforderungen virtualisierter Infrastrukturen sind daher bedeutende Themen der Informatikforschung von hoher gesellschaftlicher Relevanz.

Themen

  • Sicherheit von Software für kritische Infrastrukturen, nämlich
    • Vertraulichkeit
    • Integrität
    • Verfügbarkeit
  • Methoden zur
    • Analyse
    • Validierung
    • Verifiation
    von Software für kritische Infrastrukturen
  • Methoden zur Modellierung und Spezifikation von Software für kritische Infrastrukturen
  • Zuverlässige Software in speziellen Infrastrukturen, wie beispielsweise
    • E-Energy
    • E-Traffic
    • Cloud Computing