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 (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