Udo Voges

Learn More
No part of this publication may be reproduced in any form, in an electronic retrieval system or otherwise, without the prior written permission of the publisher. Abstract: The process for managing and executing software maintenance activities is described. IEEE Standards documents are developed within the IEEE Societies and the Standards Coordinating(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)
out being hospitalized. More patients stay at home – or at least outside the reach of health-care providers – for self-treatment, in which they use medical devices, such as dialysis or insulin injector implants. Remote diagnosis and even treatment is already being applied for specific forms of illness, for example cardiac failure problems, in the sense of(More)