Gesellschaft für Informatik e.V.
Gesellschaft für Informatik e.V. 
Fachgruppe 2.1.4

... Alternative Konzepte für Sprachen und Rechner.

Back Home Page


Gemeinsamer Workshop der GI-Fachgruppen


Alternative Konzepte für Sprachen und Rechner (2.1.4)
und German ENCRESS (3.6.2)

Sicherheit und Zuverlässigkeit software-basierter Systeme

3. - 5. Mai 1999 im Physikzentrum Bad Honnef

Programm




Montag, 3. Mai 1999

11.00 - 12.30 Uhr
  • Begrüßung (F. Saglietti, W. Goerigk)
  • Jens Knoop, Oliver Rüthing (Universität Dortmund)
    The Impact of Paradigm Shifts on Safety and Optimality of Code Motion
  • Wolfgang Goerigk (Universität Kiel)
    Über Trojanische Pferde in Übersetzerimplementierungen

    12.30-14.00 Mittagspause

    14.00 - 15.15 Uhr
  • Matthias Anlauff, Asuman Sünbül (GMD First, TU Berlin)
    Software Architecture Based Composition of Components
  • Wolfgang Ehrenberger (Fachhochschule Fulda)
    Unsicherheit der Kenntnis von Komponenteneigenschaften eines Systems und deren Fortplanzung

    15.15-15.45 Kaffeepause

    15.45 - 17.30 Uhr
  • Walter Dosch (Medizinische Universität zu Lübeck)
    From Streams to States
  • Frank Huch (RWTH Aachen)
    Verifikation von Erlang-Programmen mittels abstrakter Interpretation und Model Checking
  • Michael Hanus, Frank Steiner (RWTH Aachen)
    Eine typbasierte Nichtdeterminismusanalyse für logisch- funktionale Programmiersprachen


  • Dienstag, 4. Mai 1999

    9.00 - 10.45 Uhr
  • Markus Fessler (Matra Transport International, Paris)
    Meteor, die neue U-Bahn in Paris
  • W. Halang (FernUniversität Hagen)
    Programmierung auf den verschiedenen Sicherheitsniveaus nach IEC 61508
  • Horst F. Wedde (Universität Dortmund)
    Wie kann man experimentell und doch systematisch verteilte, sicherheitskritische Echtzeitsysteme entwickeln?

    10.45 - 11.15 Kaffeepause

    11.15 - 12.25 Uhr
  • M. Heiner, M. Heisel (TU Cottbus, Uni Magdeburg)
    Combining Z and Petri Nets for Modeling Safey-Critical Systems
  • Thomas Santen (TU Berlin)
    Spezifikation der Sicherungskomponenten von Lichtsignalanlagen in Z und Statecharts

    12.30-14.00 Mittagspause

    14.00 - 15.10 Uhr
  • Michael Balser, Georg Rock, Stephan Scheer, Werner Stephan, Andreas Wolpers (Universität Ulm, DFKI Saarbrücken)
    Modellierung des Robertino Control Systems in VSE II
  • Francesca Saglietti (ISTec GmbH, Garching)
    Combination of Formal and Informal Approaches to Validate Embedded Software

    ab 15.10 Uhr Kaffeepause
    und eine gemeinsame Unternehmung

    ab 19.00 Uhr
    Mitgliederversammlung der Fachgruppe 2.1.4
    Mitgliederversammlung der Fachgruppe 3.6.2

  • Mittwoch, 5. Mai 1997

    9.00 - 10.45 Uhr
  • Hermann von Issendorff (Hemmoor)
    Eine Sprache zur Beschreibng planarer aktiver Systeme
  • Wolfram Lippe (Universität Münster)
    Güteaussagen für Neuronale Netze
  • R. Hampel, N. Chaker (FH Zittau)
    Sicherheitstechnische Anwendung wissensbasierter Systeme

    10.45 - 11.15 Kaffeepause

    11.15 - 13.00 Uhr
  • Peter Liggesmeyer, Oliver Mäckel (Siemens AG)
    Statistische Messung und Prognose von Zuverlässigkeit
  • Adam Moik (Universität Stuttgart)
    Strukturierte Erstellung von formalen Sicherheitsmodellen
  • Torsten Robschink, Jens Krinke (Univ. Passau)
    Redundanzarme Generierung von Pfadbedingungen in der Software-Sicherheitstechnik

  • 13.00 Mittagessen und Ende des Workshops


    Back Home Page
    Wolfgang Goerigk ( wg@informatik.uni-kiel.de )