Titlebook: Software Diversity in Computerized Control Systems; Udo Voges Conference proceedings 1988 Springer-Verlag/Wien 1988 architecture.design.mo

CESS

哀求

AIRBUS and ATR System Architecture and Specificationroduction, and all the aircraft designed since the end of the 70’s are using dissimilar software. The current (mid-1986) number of such aircraft is 120 AIRBUS, and 20 ATR.42. A lot of different functions are computerized with dissimilar software. The principal ones are the automatic and electric fli

束缚

Tolerating Software Design Faults in a Command and Control Systemate stages such as specification, design, and validation. Of course, progress through these stages is rarely unidirectional, and “final code” must be considered to be a misnomer given the demand for subsequent software maintenance. An engineering approach to software development should enable softwa

祸害隐伏

DEDIX 87 — A Supervisory System for Design Diversity Experiments at UCLA the DEDIX (DEsign Diversity experiment) system, a distributed supervisor and testbed for multi-version software, was designed and implemented by researchers at the UCLA Dependable Computing and Fault-Tolerant Systems Laboratory. DEDIX is available on the Olympus local network, which utilizes the Lo

Parameter

Conference proceedings 1988pplications of software diversity are presented. The history, the current state-of-the-art and future perspectives are given. Although this technique is used quite successfully in industrial applications, further research is necessary to solve some open questions. We hope to report on new results an

亚当心理阴影

The PODS Diversity Experimentnt” is being run in each processor, any software fault is a potential cause of common mode failure. One method of reducing common software faults is to use diverse software in each processor (n-version programming [Avižienis 1975]).

debris

Tolerating Software Design Faults in a Command and Control Systemre to be produced on time, within budget, and in accordance with user requirements. One important aspect of these requirements concerns the . of the software. Software reliability requirements can be expressed in a number of ways, of which the simplest, perhaps, is to impose an upper limit on the measured rate of failure over a specified interval.

fiction

DEDIX 87 — A Supervisory System for Design Diversity Experiments at UCLAcus distributed operating system to operate a set of several VAX 11/750 computers at the UCLA Center for Experimental Computer Science. DEDIX is portable to any machine which runs a Unix operating system. The DEDIX system is described and its applications are discussed in this paper. A review of current research is also presented.

排他

Occlusion

0932-5581 eal-life applications of software diversity are presented. The history, the current state-of-the-art and future perspectives are given. Although this technique is used quite successfully in industrial applications, further research is necessary to solve some open questions. We hope to report on new