Udo Voges

Learn More
In virtually all safety-critical industries the operators of systems have to demonstrate a systematic and thorough consideration of safety. This is increasingly being done by demonstrating that certain goals have been achieved, rather than by simply following prescriptive standards. Such goal-based safety cases could be a valuable tool for reasoning about(More)
In safety-oriented applications, the software has to fulfil certain stringent reliability requirements. In order to determine the reliability of the software, a variety of different methods can be used. The methods used for the reliability proof of a computerized reactor protection system are discussed in this paper. In addition to the constructive approach(More)