Udo voges (42 resultados)

Hardcover. Condición: with no dust jacket. No Dust Jacket. Volume 2. Ex-Corporate Library copy; with typical markings. Library label on front board and on spine tail. Some spine twist. Very light surface rubbing on boards. Light bumping on bottom board corners. Pages clean, but for library markings. ; TEH22B; 216 pages; Ex-Library. …

Hardcover. Condición: Fine.

XVI, 248 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2187. Sprache: Englisch. …

Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Condición: New.

Paperback or Softback. Condición: New. Computer Safety, Reliability and Security: 20th International Conference, Safecomp 2001, Budapest, Hungary, September 26-28, 2001 Proceedings. Book.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New. In English.

Condición: New. In English.

PF. Condición: New.

PF. Condición: New.

Condición: New.

Condición: New. pp. 228.

Condición: As New. Unread book in perfect condition.

Softcover. Condición: Gut. 211 Seiten Ehem. Bibliotheksexemplar mit üblichen Merkmalen wie Signatur und Stempel. Moderate Lager- und Gebrauchsspuren. Text bis auf selten mögliche Anstreichungen sauber. Insgesamt guter Zustand. 9783540518273 Sprache: Deutsch Gewicht in Gramm: 422.

Paperback. Condición: Brand New. 228 pages. 9.61x6.69x0.52 inches. In Stock.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software Diversity is one of the fault-tolerance means to achieve dependable systems. In this volume, some experimental systems as well as real-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 results and applications in another volume of this series within some years. Acknowledgements The idea of the workshop was put forward by the chairpersons of IFIP WG lOA, J. -c. Laprie, J. F. Meyer and Y. Tohma, in January 1986, and the edi tor of this volume was asked to organize the workshop. This volume was edited with the assistance of the editors of the series, A. AviZienis, H. Kopetz and J. -C. Laprie, who also had the function of reviewers. Karlsruhe, October 1987 U. Voges, Editor Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. Introduction U. Voges 2. Railway Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 ERICSSON Safety System for Railway Control . . . . . . . . . . . . . . . . . . 11 G. Hagelin 3. Nuclear Applications . . . . . . . . . . . . . . . . . . . . . . 23 Use of Diversity in Experimental Reactor Safety Systems . 29 U. Voges The PODS Diversity Experiment . 51 P. G. Bishop 4. Flight Applications . . . . . . . . . . . . . . . . . . . . . . . . . 85 AIRBUS and ATR System Architecture and Specification. . 95 P. Traverse 5. University Research . . . . . . . . . . . . . . . . . . . 105 Tolerating Software Design Faults in a Command and Control System . . . . . . . . . . . . . . . . . . . . . . 109 T. Anderson, P. A. Barrett, D. N. Halliwell, M. R. MouldingDEDIX 87 - A Supervisory System for Design Diversity Experiments at UCLA . . . . . . . . . . . . . . . . . .…

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and research institutions. Papers are solicited on all aspects of computer systems in which safety, reliability, and security (applied to safety in terms of integrity and availability) are of importance. The 20th SAFECOMP tried to cover new grounds, both thematically and geographically. The previous 19 SAFECOMPs were held in Austria (1989, 1996), France (1987, 1999), Germany (1979, 1988, 1998), Great Britain (1983, 1986, 1990, 1997), Italy (1985, 1995), Norway (1991), Poland (1993), Switzerland (1992), The th Netherlands (2000), and in the USA (1981, 1992), whereas the 20 was held in Hungary. Authors from 13 countries responded to the Call for Papers, and 10 countries were represented in the final program. The proceedings include 20 papers plus 3 invited papers, covering the areas Reliability Assessment and Security, Safety Case and Safety Analysis, Testing, Formal Methods, Control Systems, and this year covering new grounds with a special emphasis on Human Machine Interface, Components off the Shelf, and Medical Systems.…

Condición: New. In English.

Paperback. Condición: New.

Condición: New. pp. viii + 211.

Paperback. Condición: Brand New. 219 pages. German language. 9.53x6.69x0.50 inches. In Stock.

24*16,5 cm. OBroschur. VIII, 211 S. : graph. Darst. , Kleiner Bibl.-Institutsstempel auf Titelrückseite (Inventar-Löschstempel), typischer Bibliotheksaufkleber - überlappend auf beide Deckel - auf Buchrücken. Deckel gering knickspurig, ansonsten gut erhaltenes Arbeitsexemplar. N04-6 ISBN 3540518274 Wichtiger Hinweis: Aufgrund der EPR-Regelung zur Zeit KEIN Versand in EU-Länder. Due to EPR, there is currently no delivery to EU-countries. Sprache: Deutsch Gewicht in Gramm: 500.…

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software-Diversität wird als eine Fehlertoleranzmaßnahme dargestellt, die Verwendung in Systemen mit hohen Zuverlässigkeitsanforderungen findet. Im ersten Teil des Buches werden die wichtigsten Beispiele angegeben, bei denen Experimente mit Software-Diversität durchgeführt wurden bzw. bei denen Software-Diversität eingesetzt wurde. Im zweiten Teil werden verschiedene Ansätze zur Modellierung der Software-Diversität - Fehlermodell und Kostenmodell - eingeführt. Der Anhang enthält eine z.T. kommentierte Bibliographie mit allen Literaturstellen zur Software-Diversität. Damit wird das Thema in diesem Buch erstmals umfassend dargestellt und sowohl ein Einstieg in die Problematik als auch eine Grundlage für die Verwendung von Software-Diversität in Anwendungsbereichen vermittelt. Mit Hilfe der vorgestellten Fehler- und Kostenmodelle kann bei der Projektplanung abgeschätzt werden, welcher Nutzen - bezogen auf die sich auswirkenden Fehler - und welche Kosten bei verschiedenen Realisierungsformen der Software-Diversität im Vergleich zu einer nicht-diversitären Entwicklung zu erwarten sind. Dieses Buch ist das erste deutschsprachige Werk, das eine so ausführliche Behandlung des Themas Software-Diversität enthält.…

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: new. Questo è un articolo print on demand.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software Diversity is one of the fault-tolerance means to achieve dependable systems. In this volume, some experimental systems as well as real-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 results and applications in another volume of this series within some years. Acknowledgements The idea of the workshop was put forward by the chairpersons of IFIP WG lOA, J. -c. Laprie, J. F. Meyer and Y. Tohma, in January 1986, and the edi tor of this volume was asked to organize the workshop. This volume was edited with the assistance of the editors of the series, A. AviZienis, H. Kopetz and J. -C. Laprie, who also had the function of reviewers. Karlsruhe, October 1987 U. Voges, Editor Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. Introduction U. Voges 2. Railway Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 ERICSSON Safety System for Railway Control . . . . . . . . . . . . . . . . . . 11 G. Hagelin 3. Nuclear Applications . . . . . . . . . . . . . . . . . . . . . . 23 Use of Diversity in Experimental Reactor Safety Systems . 29 U. Voges The PODS Diversity Experiment . 51 P. G. Bishop 4. Flight Applications . . . . . . . . . . . . . . . . . . . . . . . . . 85 AIRBUS and ATR System Architecture and Specification. . 95 P. Traverse 5. University Research . . . . . . . . . . . . . . . . . . . 105 Tolerating Software Design Faults in a Command and Control System . . . . . . . . . . . . . . . . . . . . . . 109 T. Anderson, P. A. Barrett, D. N. Halliwell, M. R. MouldingDEDIX 87 - A Supervisory System for Design Diversity Experiments at UCLA . . . . . . . . . . . . . . . . . . 228 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and research institutions. Papers are solicited on all aspects of computer systems in which safety, reliability, and security (applied to safety in terms of integrity and availability) are of importance. The 20th SAFECOMP tried to cover new grounds, both thematically and geographically. The previous 19 SAFECOMPs were held in Austria (1989, 1996), France (1987, 1999), Germany (1979, 1988, 1998), Great Britain (1983, 1986, 1990, 1997), Italy (1985, 1995), Norway (1991), Poland (1993), Switzerland (1992), The th Netherlands (2000), and in the USA (1981, 1992), whereas the 20 was held in Hungary. Authors from 13 countries responded to the Call for Papers, and 10 countries were represented in the final program. The proceedings include 20 papers plus 3 invited papers, covering the areas Reliability Assessment and Security, Safety Case and Safety Analysis, Testing, Formal Methods, Control Systems, and this year covering new grounds with a special emphasis on Human Machine Interface, Components off the Shelf, and Medical Systems. 272 pp. Englisch.…

Condición: New. Print on Demand pp. 228 41 Figures, 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.