The Experts below are selected from a list of 72 Experts worldwide ranked by ideXlab platform

Helmut Trappschuh - One of the best experts on this subject based on the ideXlab platform.

  • Safety analysis of the height control System for the Elbtunnel
    Reliability Engineering & System Safety, 2003
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    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.

  • SAFECOMP - Safety Analysis of the Height Control System for the Elbtunnel
    Computer Safety Reliability and Security, 2002
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    Currently a new tunnel tube crossing the river Elbe is built in Hamburg. Therefore a new height control System is 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 has uncovered a safety flaw, led to a precise requirement specification for the software, and showed various ways to improve System safety.

  • Safety analysis of the height control System for the elbtunnel
    Lecture Notes in Computer Science, 2002
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    Currently a new tunnel tube crossing the river Elbe is built in Hamburg. Therefore a new height control System is 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 has uncovered a safety flaw, led to a precise requirement specification for the software, and showed various ways to improve System safety.

Frank Ortmeier - One of the best experts on this subject based on the ideXlab platform.

  • Safety analysis of the height control System for the Elbtunnel
    Reliability Engineering & System Safety, 2003
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    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.

  • SAFECOMP - Safety Analysis of the Height Control System for the Elbtunnel
    Computer Safety Reliability and Security, 2002
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    Currently a new tunnel tube crossing the river Elbe is built in Hamburg. Therefore a new height control System is 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 has uncovered a safety flaw, led to a precise requirement specification for the software, and showed various ways to improve System safety.

  • Safety analysis of the height control System for the elbtunnel
    Lecture Notes in Computer Science, 2002
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    Currently a new tunnel tube crossing the river Elbe is built in Hamburg. Therefore a new height control System is 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 has uncovered a safety flaw, led to a precise requirement specification for the software, and showed various ways to improve System safety.

Gerhard Schellhorn - One of the best experts on this subject based on the ideXlab platform.

  • Safety analysis of the height control System for the Elbtunnel
    Reliability Engineering & System Safety, 2003
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    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.

  • SAFECOMP - Safety Analysis of the Height Control System for the Elbtunnel
    Computer Safety Reliability and Security, 2002
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    Currently a new tunnel tube crossing the river Elbe is built in Hamburg. Therefore a new height control System is 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 has uncovered a safety flaw, led to a precise requirement specification for the software, and showed various ways to improve System safety.

  • Safety analysis of the height control System for the elbtunnel
    Lecture Notes in Computer Science, 2002
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    Currently a new tunnel tube crossing the river Elbe is built in Hamburg. Therefore a new height control System is 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 has uncovered a safety flaw, led to a precise requirement specification for the software, and showed various ways to improve System safety.

Bernhard Hering - One of the best experts on this subject based on the ideXlab platform.

  • Safety analysis of the height control System for the Elbtunnel
    Reliability Engineering & System Safety, 2003
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    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.

  • SAFECOMP - Safety Analysis of the Height Control System for the Elbtunnel
    Computer Safety Reliability and Security, 2002
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    Currently a new tunnel tube crossing the river Elbe is built in Hamburg. Therefore a new height control System is 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 has uncovered a safety flaw, led to a precise requirement specification for the software, and showed various ways to improve System safety.

  • Safety analysis of the height control System for the elbtunnel
    Lecture Notes in Computer Science, 2002
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    Currently a new tunnel tube crossing the river Elbe is built in Hamburg. Therefore a new height control System is 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 has uncovered a safety flaw, led to a precise requirement specification for the software, and showed various ways to improve System safety.

Wolfgang Reif - One of the best experts on this subject based on the ideXlab platform.

  • Safety analysis of the height control System for the Elbtunnel
    Reliability Engineering & System Safety, 2003
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    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.

  • SAFECOMP - Safety Analysis of the Height Control System for the Elbtunnel
    Computer Safety Reliability and Security, 2002
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    Currently a new tunnel tube crossing the river Elbe is built in Hamburg. Therefore a new height control System is 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 has uncovered a safety flaw, led to a precise requirement specification for the software, and showed various ways to improve System safety.

  • Safety analysis of the height control System for the elbtunnel
    Lecture Notes in Computer Science, 2002
    Co-Authors: Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Abstract:

    Currently a new tunnel tube crossing the river Elbe is built in Hamburg. Therefore a new height control System is 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 has uncovered a safety flaw, led to a precise requirement specification for the software, and showed various ways to improve System safety.