Software Diversity in Computerized Control Systems by Dipl.-Math. Udo Voges (auth.), Dipl.-Math. Udo Voges (eds.)

, , Comments Off on Software Diversity in Computerized Control Systems by Dipl.-Math. Udo Voges (auth.), Dipl.-Math. Udo Voges (eds.)

By Dipl.-Math. Udo Voges (auth.), Dipl.-Math. Udo Voges (eds.)

Software range is without doubt one of the fault-tolerance skill to accomplish in charge structures. during this quantity, a few experimental structures in addition to real-life functions of software program range are provided. The heritage, the present state of the art and destiny views are given. even supposing this method is used really effectively in commercial functions, extra study is critical to unravel a few open questions. we are hoping to document on new effects and purposes in one other quantity of this sequence inside a few years. Acknowledgements the belief of the workshop used to be recommend by means of the chairpersons of IFIP WG lOA, J. -c. Laprie, J. F. Meyer and Y. Tohma, in January 1986, and the edi­ tor of this quantity used to be requested to prepare the workshop. This quantity used to be edited with the help of the editors of the sequence, A. AviZienis, H. Kopetz and J. -C. Laprie, who additionally had the functionality of reviewers. Karlsruhe, October 1987 U. Voges, Editor desk of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. creation U. Voges 2. Railway purposes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 ERICSSON protection process for Railway keep an eye on . . . . . . . . . . . . . . . . . . eleven G. Hagelin three. Nuclear purposes . . . . . . . . . . . . . . . . . . . . . . 23 Use of variety in Experimental Reactor safeguard structures . 29 U. Voges The PODS range test . fifty one P. G. Bishop four. Flight functions . . . . . . . . . . . . . . . . . . . . . . . . . eighty five AIRBUS and ATR procedure structure and Specification. . ninety five P. Traverse five. college examine . . . . . . . . . . . . . . . . . . . one zero five Tolerating software program layout Faults in a Command and keep watch over procedure . . . . . . . . . . . . . . . . . . . . . . 109 T. Anderson, P. A. Barrett, D. N. Halliwell, M. R. Moulding DEDIX 87 - A Supervisory method for layout range Experiments at UCLA . . . . . . . . . . . . . . . . . .

Show description

Read or Download Software Diversity in Computerized Control Systems PDF

Similar software books

Software and Network Engineering

The sequence "Studies in Computational Intelligence" (SCI) publishes new advancements and advances within the quite a few components of computational intelligence – fast and with a top quality. The rationale is to hide the idea, functions, and layout equipment of computational intelligence, as embedded within the fields of engineering, machine technology, physics and lifestyles technological know-how, in addition to the methodologies in the back of them.

Software Services for e-Business and e-Society: 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings

This e-book constitutes the refereed court cases of the ninth IFIP WG 6. 1 convention on e-Business, e-Services and e-Society, held in Nancy, France, in September 2009. The 31 revised papers have been chosen from quite a few submissions. They disguise a large and demanding number of concerns in e-business, e-services and e-society, together with defense, belief, and privateness, moral and societal matters, enterprise association, provision of providers as software program and software program as companies.

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

This Festschrift quantity, released in honor of Egon Börger, includes 14 papers from a Dagstuhl Seminar, which was once equipped as a "Festkolloquium" at the party of his sixtieth birthday in could 2006. targeting utilized formal equipment, the amount covers quite a lot of utilized study, spanning from theoretical and methodological foundations to functional functions of summary kingdom Machines, B, and past, emphasizing common equipment and instruments that, despite their applicational orientation, are nonetheless devoted to the appropriate of mathematical rigor.

Logic programming: proceedings 4th international conference, vol.2

The forty five contributions during this e-book ponder all features of common sense programming, together with conception and foundations; architectures and implementations; programming languages and method; databases; wisdom illustration, reasoning, and professional platforms; and family to different computation versions, programming languages, and programming methodologies.

Extra resources for Software Diversity in Computerized Control Systems

Sample text

LD'l) ... ':IAJ:S] II' [ U~~~~~(~~~~/~U'~O~=:) _ .. rt of the t •• t ... ~ •• Fig. 3. Data Flows within the Trip System 5. 1 X Specification X-SPEX [Dahll 1983] is a system which consists of two parts, the specification language X and a computerized specification tool SPEX. The aim of this system is to describe the customer requirements using a formal language (X) aided by the SPEX tool which can check for completeness and consistency in the specification. X is an entity - relationship - attribute type specification language based on RSL [Alford 1977] and adopts part of its terminology.

Mmln9 ""LDtH ~ . . l. rntoit. ,,,Of H... I"b All Fig. 1. PODS Project Organization Table I. hnplementation Constraints for Each Team Team CEGB HRP VTT Program Language Main Algorithm Spec. Method Fortran Assembly Fortran Polynomial Table Table Informal X X Bishop 54 from the customer specification, each reflecting the manufacturers' interpretations of the customer's specification. CEGB produced an informal specification, while HRP and VTf jointly produced a specification in the language "X".

I"b All Fig. 1. PODS Project Organization Table I. hnplementation Constraints for Each Team Team CEGB HRP VTT Program Language Main Algorithm Spec. Method Fortran Assembly Fortran Polynomial Table Table Informal X X Bishop 54 from the customer specification, each reflecting the manufacturers' interpretations of the customer's specification. CEGB produced an informal specification, while HRP and VTf jointly produced a specification in the language "X". HRP and VTT subsequently took individual copies of this specification, and the three teams then developed their own programs independently.

Download PDF sample

Rated 4.93 of 5 – based on 37 votes