Safety analysis of the height control system for the Elbtunnel

Abstract. A new tunnel tube crossing the river Elbe has been built in Hamburg until the end of 2002. Therefore, a new height control system was required. A computer examines the signals from light barriers and overhead sensors to detect vehicles, which try to drive into a tube with insufficient height. If necessary, it raises an alarm that blocks the road. This paper describes the application of two safety analysis techniques on this embedded system: model checking has been used to prove functional correctness with respect to a formal model. Fault tree analysis has validated the model and considered technical defects. Their combination uncovered a safety flaw, led to a precise requirement specification for the software, and showed various ways to improve system safety. Key words: safety analysis, fault tree analysis, formal methods, model checking

Handbuch Sozialrechtsberatung

Die Neuauflage des bewährten Handbuchs behandelt alle Lebenslagen, die in der Beratungspraxis typischerweise vorkommen. Mit Hilfe des HSRB können Sie überblicken, welche Leistungen dem Betroffenen in seiner jeweiligen Situation zustehen und wer hierfür zuständig ist. Das HSRB behandelt knapp und präzise folgende Lebenslagen: o Ausbildung o Arbeitslosigkeit o Kinder/Jugendliche o Lebenspartnerschaften, Alleinerziehende und Schwangere o Drogen/Sucht o Behinderung o Alter o Krankheit o Pflegebedürftigkeit o Besondere soziale Schwierigkeiten (Strafentlassene/Wohnungslose) o Migrantinnen und Migranten Topaktuell: Die 2. Auflage berücksichtigt bereits o die jüngsten Änderungen bei der Grundsicherung für Arbeitsuchende o die Einführung des Elterngeldes o die Auswirkungen der Gesundheitsreform o das geplante Rechtsdienstleistungsgesetz und o die anstehende Reform des Ausländerrechts. Das HSRB ist der ideale Ratgeber für Sozialverbände, Rechtsanwälte und Sozialrichter