DSCI 2011
Verlässliche Software für kritische Infrastrukturen /
Dependable Software for Critical Infrastructures
Berlin, 6. Oktober 2011, Workshop bei der
INFORMATIK 2011 (4.-7.10.2011)
Programm
Donnerstag, 6. Oktober 2011
Die erste Session (9:00-10:30) findet gemeinsam mit dem Workshop "IT für die Energiesysteme der Zukunft" statt.
9:00 - 10:00 | Invited Talk Ragnar Schierholz (ABB, Principal Scientist Software Technologie) Cyber-Security for Critical Infrastructures |
10:00 - 10:30 | Matthias Kahl and Thomas Leibfried: Modellbasierte Regelungsalgorithmen für das Energienetz der Zukunft |
10:30 - 11:00 | Kaffeepause |
11:00 - 11:30 | Rafael Accorsi: Zuverlässig isolierte Geschäftsprozesse |
11:30 - 12:00 | Dirk Achenbach, David Förster, Christian Henrich, Daniel Kraschewski and Jörn Müller-Quade: Social Key Exchange Network - From Ad-Hoc Key Exchange to a Dense Key Network |
12:00 - 12:30 | Matthias Huber, Christian Henrich, Jörn Müller-Quade and Carmen Kempka: Towards Secure Cloud Computing through a Separation of Duties |
12:30 - 14:00 | Mittagspause |
14:00 - 14:30 | Projektpräsentation Hartmut Schmeck: Das Projekt MeRegio |
14:30 - 15:00 | Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich and Ulrich Geilmann: A Dual-Engine for Early Analysis of Critical Systems |
15:00 - 15:30 | Prachi Kumari, Florian Kelbert and Alexander Pretschner: Data Protection in Heterogeneous Distributed Systems: A Smart Meter Example |
15:30 - 16:00 | Kaffeepause |
16:00 - 16:30 | Eva Weis: Beweis- und eichrechtliche Aspekte in Bezug auf Elektrofahrzeuge im Smart Grid |
16:30 - 17:00 | Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif and Gidon Ernst: Simulating a Flash File System with CoreASM and Eclipse |
17:00 - 17:30 | Carsten Orwat: Technology Assessment of Software-Intensive Critical Infrastructures - A Research Perspective |