Berliner Gesprächskreis "Technische Sicherheit"

Eingebettete Systeme und die darin zunehmend enthaltene Software bestimmen heute maßgeblich über die Sicherheit von Menschen. Das gilt auch für Geräte für den alltäglichen Gebrauch. Eine breite Diskussion über Sicherheit (im Sinne von Safety, also Unfallsicherheit) bei Softwaresystemen findet jedoch nicht im wünschenswerten Rahmen statt. Zum einen liegt das an einem mangelnden Bewusstsein für die Tragweite des Problems. Zum anderen wird die Sicherheitsdiskussion, die sich in der Vergangenheit (z.B. nach Reaktorunfällen) durchaus mit dem Teilgebiet Unfallschutz beschäftigt hatte, derzeit von anderen Themen überlagert (Sicherheit eher im Sinne von Security, Datensicherheit und Zugriffsschutz). Um die Probleme der Sicherheit (Safety) bei eingebetteten Systemen wieder mehr in den Blickpunkt zu rücken, aber auch um Lösungsansätze zu erarbeiten und weiterzuverbreiten, ist ein regelmäßiger Gedankenaustausch aller mit diesem Gebiet Befassten wünschenswert. Daher regen die Initiatoren einen in losen Abständen tagenden Arbeitskreis an, der Fragen der Sicherheit eingebetteter Systeme aufgreift und diskutiert. Mit diesem Angebot sollen besonders Wissenschaftler und Fachleute aus der Industrie im Großraum Berlin angesprochen werden. Tagungsorte sind abwechselnd die teilnehmenden Institute.

Es soll gehen um:

• Sicherheit im Kontext von Qualität und nichtfunktionalen Anforderungen

• Sicherheit und Softwarearchitekturen

• Sicherheitsanalysen von Software und  softwaresystemen

• Geeignete Programmiersprachen und Untermengen davon

• Formale Techniken (Model Checking, Theorembeweiser...)

• Techniken aus der allgemeinen Sicherheitsforschung (HAZOP, Fehlerbäume...)

• Normen und Zertifizierung und deren praktische Umsetzung

• Verhaltensbeschreibung von Hardware und Software

• Integration verschiedener Techniken und Werkzeuge

Initiatoren
Volkert Barr, ISTI/FG Softwaretechnik, Technische Universität Berlin
Lars Grunske, Hasso-Plattner-Institut für Softwaresystemtechnik, Potsdam
Bernhard Kaiser, Hasso-Plattner-Institut für Softwaresystemtechnik, Potsdam
Sergio Montenegro, Fraunhofer-Institut FIRST, Spezialsystemtechnik, Berlin
André Nordwig, ISTI/FG Softwaretechnik, Technische Universität Berlin

(Aufruf als PDF Gespraechskreis_Sicherheit.pdf)

Treffen:

• 28.8.2002, 16.00, TU Berlin, ISTI/SWT, Franklinkstrasse 28/29, Raum 5516

  • Erstes Treffen, Erarbeitung eines Themenkatalogs

• 30.10.2002, 16.00 (15.00 mit Besichtigung), Hasso-Plattner Institut Potsdam

  • Thema: Modelle für Softwaresicherheit I, Verschiedene Sichten auf Sicherheit

  • Kurzvorträge: Lars

• 29.1.2003, 16.00, FhG FIRST (http:\\www.first.fhg.de)

  • Thema: Modelle für Softwaresicherheit II, Verschiedene Sichten auf Sicherheit & Felertoleranz

  • Kurzvorträge: Sergio: Satelite BIRD / B. Keiser

• 27.8.2003, 16.00, TU-Berlin (http:\\www.first.fhg.de)

  • Thema: Bernhard Kaiser referierte über "Neue Ideen zur Fehlerbaumanalyse".
    Folien
    Beispeil
    

  • Im Rahmen der Vorstellungsserie berichtete Michael Cebulla über "Modellierungskonzepte für soziotechnische Systeme".

• 29.10.2003, 16.00, HPI/Potsdam.

  • Thema: Sergio Montenegro wird über seine aktuellen Aktivitäten vortragen: "Sicherheitsrelevante Systeme bei FIRST".
    Folien
    

• Nächster Termin: 28. Jan. 2004 , 16.00, Daimler Alt Moabit, oder TU-Berlin

  Themen:

  • 1. Bernhard Kaiser: Ein Modell für das Verhalten sicherheitskritischer Systeme, das Fehlerbäume mit zustandsbasierten Modellen vereinigt
    
  • 2. Christian Scheidler: Hardware-in-the-Loop bei der Entwicklung sicherheitskritischer Systeme
    
  • 3. NN (DaimlerChrysler): Strukturierung von Tests für sicherheitskritische Systeme