[Aufruf zur Einreichung von Beiträgen und zur Teilnahme]
DSCI 2011
Verlässliche Software für kritische Infrastrukturen/
Dependable Software for Critical Infrastructures
4.-7. Oktober 2011, Berlin, Deutschland
https://formal.iti.kit.edu/~beckert/dsci2011
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
* Verifikation
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
Einreichung von Beiträgen
Kurzversionen von Beiträgen (maximal sechs Seiten) können bis zum
15. Mai 2011 eingereicht werden. Auf Grundlage dieser Kurzversionen entscheidet
das Programm-Komitee über die Annahme. Für angenommene Beiträge
kann eine Langversion von maximal 15 Seiten nachgereicht werden. Beiträge
sollten das LNI-Format einhalten.
Mit der Einreichung eines Beitrages erklären Sie, dass sich mindestens ein
Autor für die INFORMATIK 2011 anmelden wird und den Beitrag im Rahmen des
Workshops DSCI 2011 vorstellt. Beiträge ohne Anmeldung werden nicht im
Tagungsband abgedruckt.
Workshopsprachen sind Deutsch und Englisch, das heißt Einreichungen können
in Deutsch und Englisch geschrieben sein, und Vorträge können auf Deutsch
und Englisch gehalten werden.
Die Beiträge erscheinen in einem gemeinsamen Tagungsband in der GI-Reihe
"Lecture Notes in Informatics (LNI)", die auch per Open Access zur Verfügung steht.
Komitee
* Jens Bohli, NEC Labs Europe
* Manfred Broy, TU München
* Schahram Dustdar, TU Wien
* Bernd Finkbeiner, Universität des Saarlandes
* Dennis Hofheinz, Karlsruher Institut für Technologie
* Dieter Hutter, DFKI Bremen
* Samuel Kounev, Karlsruher Institut für Technologie
* Rolf H. Möhring, TU Berlin
* Matthias Müller-Hannemann, Universität Halle-Wittenberg
* Jörn Müller-Quade, Karlsruher Institut für Technologie
* Frank Pallas, TU Berlin
* Wolfgang Reif, Universität Augsburg
* Alexander Pretschner, Karlsruher Institut für Technologie
* Werner Stephan, DFKI Saarbrücken
* Stefan Tai, Karlsruher Institut für Technologie
* Karsten Wolf, Universität Rostock
Kontakt
* Bernhard Beckert <beckert@kit.edu>, Karlsruher Institut für Technologie
* Gregor Snelting <snelting@kit.edu>, Karlsruher Institut für Technologie
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
