DSCI 2011
Verlässliche Software für kritische Infrastrukturen /
Dependable Software for Critical Infrastructures
Berlin, 6. Oktober 2011, Workshop bei der
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
- 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