3rd German ENCRESS Workshop and 1st Joint Austrian-German Event

28. Juni 1995
Techno-Zentrum, Jakob Haringer Straße 1, Salzburg

Programm

E. Schoitsch, F. Saglietti
Forschungszentrum Seibersdorf, Institut für Sicherheitstechnologie (ISTec), Garching
Begrüßung

G. Rutschek
FESTO, Wien
"Erfahrungen aus dem ESSI Anwendungsexperiment ODP:
Universal Online Database Manager for Better Project Supervisory"

M. Inderst
Deutsche Aerospace, München
"Erstellung von Risk Class 1 Software für die Flugsteuerung des Eurofighter-2000"

K. Brunnstein
Universität Hamburg, Fachbereich Informatik, Hamburg
"Analyse von Vorfällen beim Anlauf des elektronischen Stellwerkes (EStW) Hamburg-Altona"

J. Doppelbauer
Alcatel Austria, Wien
"Sicherheits- und Zuverlässigkeitsmechanismen: Erfahrungsbericht über
das elektronische Eisenbahnstellwerk (EStW) ELEKTRA von Alcatel Austria"

B. Halt
Siemens-Nixdorf, München
"Software-Qualitätssicherung in UNIX"