Werner Schütz

Learn More
Multi-version software systems achieve fault tolerance through somare redundancy and diversity. In order to investigate this approach, this joint UCLAIHoneywell research project investigated multi-version sojhvare systems, employing six different programming languages to create six versions of s o p a r e for an automatic landing program. The rationale,(More)
This paper presents a systematic methodology for the design of distributed fault tolerant real-time systems. The methodology covers the stepwise reenement of the given requirements, expressed in the form of real-time transactions, to task and protocol executions. It also includes a timing analysis and dependability evaluation of the still incomplete design.(More)
The systematic development of fault-tolerant real-time systems with guaranteed timeliness requires an appropriate system architecture and a rigorous design methodology. The rst part of this paper describes those services of the architecture that help to simplify the work of the real-time programmer, taking MARS as an example. The second part deals with(More)
The systematic development of fault-tolerant real-time systems with guaranteed timeliness requires an appropriate system architecture and a rigorous design methodology. We propose a system with strict separation of the issues of synchronization, dependability aspects and data transformation. Dependability aspects (error handling and redundancy management)(More)
  • 1