Skip to main content
SpringerLink
Log in

Zuverlässigkeit von DV-Systemen — Eine Systemtechnische Aufgabe

  • Conference paper
Architektur und Betrieb von Rechensystemen

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 78))

Zusammenfassung

Der Einsatz von DV-Systemen in technischen Bereichen, in denen hohe Anforderungen an Zuverlässigkeit und Sicherheit gestellt werden, erfordert eine Reihe gezielter technischer und organisatorischer Maßnahmen in der Entwicklung und im Betrieb. So können spezielle Architekturen der Rechner-Hardware und Verfahren im Aufbau der Software das Auftreten von Fehlern reduzieren, das Auffinden von Fehlern erleichtern und die Funktionstüchtigkeit des Systems bei An-wesenheit von Fehlern aufrechterhalten. Durch analytische Verfahren wie systematisches Testen und durch gesondertes Management zur Qualitätssicherung soil Zuverlässigkeit nachgewiesen und durchgesetzt werden. Es wird ein umfassender Oberblick über den Stand der Technik gegeben.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Trauboth, H.: „Gesichtspunkte und Verfahren zum Erreichen hoher Zuverlässigkeit von Software“.Fachbericht Messen-Steuern-Regeln (5), Meß- und Automatisierungs-technik, INTERKAMA 80, Springer, 1980.

    Google Scholar 

  2. Görke, W. (Hrsgb.): „Zuverlässigkeitsbegriffe im Hinblick auf komplexe Software und Hardware“. NTG-Empfehlung 3004, Entwurf 1982.

    Google Scholar 

  3. Anderson, T.; Randell, B. (Ed.): “Computing Systems Reliability”, Cambridge University Press, 1979.

    Google Scholar 

  4. Avizienis, A.: “Fault-Tolerance: The Survival Attribute of Digital Systems”, Proc. of IEEE, Vol. 66, No. 10, Oct. 1978.

    Google Scholar 

  5. Shooman, M.: “Software Engineering - Design, Reliability and Management,” McGraw Hill, 1983.

    Google Scholar 

  6. Anderson, T.; Lee, P.: “Fault-Tolerance - Principles and Practice,” Prentice Hall International, 1981.

    Google Scholar 

  7. Randell, B. et al.: “Reliability Issues in Computing System Design”, Computing Surveys, Vol. 10, No. 2, June 1978.

    Google Scholar 

  8. Görke, W.: „Zur Begriffsbildung im Fachgebiet Fehlertoleranter Rechensysteme“, GI-Fachgruppe Fehlertolerierende Rechensysteme, Mitteilungen Nov. 1983.

    Google Scholar 

  9. Hopkins, A.: “Fault-Tolerant System Design: Broad Brush and Fine Print”, Computer, März 1980”.

    Google Scholar 

  10. Kohler, W.: “A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems”, Computing Surveys, Vol. 13, No. 2, June 1981.

    Google Scholar 

  11. Dadam, P. et al.: “Recovery in distributed databases based on non-synchronized local checkpoints”, Proc. IFIP, North Holland, 1980.

    Google Scholar 

  12. Leszak, M.; Breitwieser, H.: “A Fault-Tolerant Scheme for Distributed Transaction Commitment”, Proc. 3. Intern. Conference on Distrib. Comp. Systems, Miami, Oct. 1982.

    Google Scholar 

  13. Avizienis, A. et al.: “The STAR computer: an investigation of the theory and practice of fault-tolerant computer design”, IEEE Trans. Computer, C-20, 11, November 1971.

    Google Scholar 

  14. Rennels, D.: “Distributed Fault-Tolerant Computer Systems”, Computer, März 1980.

    Google Scholar 

  15. Hopkins, A.: “FTMP - A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft”, Proc. of IEEE, Vol. 66, No. 10, Oct. 1978.

    Google Scholar 

  16. Goldberg, J.: “SIFT: A provable fault-tolerant computer for aircraft fliqht control”, Proc. IFIP, 1980.

    Google Scholar 

  17. Weiß, R.: “Fault-tolerant ComDuter Systems”, Process Automation 2/1983, Oldbg.

    Google Scholar 

  18. Färber, G.: “Fehlertolerante Rechnersysteme für die Prozeßautomatisierung”, Regelungstechnische Praxis, Heft 5, 1982.

    Google Scholar 

  19. Kopetz, H. et al.: “Fehlertoleranz in MARS”, Informatik-Fachberichte, GI-Fachtagung, München, März 1982.

    Google Scholar 

  20. Siewiorek, D. et al: “A case study of C.mmp, Cm, and C.vmp: Part 1 -Experiences with fault tolerance in multi-processor systems”, Proc. IEEE 66, 1978, S. 1178–1199.

    Article  Google Scholar 

  21. Schmitter, J.: “Fault Tolerance in Distributed Systems”, Siemens F+E-Bericht, Band 12, No. 1, Springer 1983.

    Google Scholar 

  22. Miyamoto, S.: “FMPA: A Fault-Tolerant Multi-Microprocessor System Based on Autonomous Decentralization Concept”, Proc. Fault-Tolerant Comp. Symp. (FTCS), Mailand, Juni 1983.

    Google Scholar 

  23. Ammann, E. et al: “ATTEMPTO: A Fault-Tolerant Multiprocessor Working Station Design and Concepts”, Proc. Fault-Tolerant Comput. Symp. (FTCS), Mailand, Juni’1983.

    Google Scholar 

  24. Fetsch, F. et al: „Entwurf eines hochzuverlässigen redundanten Mikrorechnernetzes“, Informatik-Fachberichte GI-Jabrestagung, München, Springer, Okt. 81. 1984

    Google Scholar 

  25. TANDEM: „Einfübrung in TANDEM Computer Systeme“, Tandem Computers Inc. 1982.

    Google Scholar 

  26. „Je DV-abhängiger desto mehr Toleranz notwendig“, Computerwoche, 16. Juni 1983, S. 43.

    Google Scholar 

    Google Scholar 

  27. Wensley, J.: “Fault-tolerant computers ensure reliable industrial controls”, Electronic Design, June 25, 1981.

    Google Scholar 

  28. Wensley, J.: “Fault Handling in the August Systems’ Series 300”, Proc. SAFE-COMP Conference, Oct. 1982.

    Google Scholar 

  29. Comfort, W.: “A Fault-Tolerant System Architecture for Navy Applications”, IBM J. Res. Develop., Vol. 27, No. 3, May 1983.

    Google Scholar 

  30. Klebanoff, J.: “The iAPX 286 Protection Architecture”, Proc. SIGSMALL Conf. Colorado Springs, August 1982.

    Google Scholar 

  31. Peterson, C. et all: “Two chips endow 32-bit processor with fault-tolerant architecture”, Electronics, April 7, 1983.

    Google Scholar 

  32. Dennig, P.: “Fault Tolerant Operating Systems”, Computing Surveys, Vol. 8, No. 4, December 1976.

    Google Scholar 

  33. Wensley, J.: “An Operating System for a TMR-Fault-Tolerant System”, Proc. FTCS-13, Mailand, Juni 1983.

    Google Scholar 

  34. Sterner, B.: “Computerized interlocking system a multi-dimensional structure in the pursuit of safety”, Railway Engineer International, Nov./Dec. 1978.

    Google Scholar 

  35. Black, J. et al: “A Case Study in Fault Tolerant Software”, Software-Practice and Experience, Vol. 11, 1981, S. 145–157.

    Article  Google Scholar 

  36. Gmeiner, L.; Voges, U.: “Software diversity in reactor protection systems: An experiment”, IFAC-Workshop SAFECOMP 79, Stuttgart, May 1979.

    Google Scholar 

  37. Yoshimura, S.: “Project on Diverse Software (PODS)”, Proc. OECD Halden Reactor Project Meeting, Loen, Norwegen, Mai 1983.

    Google Scholar 

  38. Kelly, J.; Avizienis, A.: “A Specification-Oriented Multi-Version Software Experiment”, Proc. FTCS-13, Mailand, Juni 1983.

    Google Scholar 

  39. Anderson, T.: “A Framework for Software Fault Tolerance in Real-Time Systems”, IEEE Trans. Software Eng, Vol. SE 9, No. 3, May 1983.

    Google Scholar 

  40. Dal Cin, M.: „Fehlertolerante Systeme“, Teubner, Stuttgart 1979.

    Google Scholar 

  41. Kopetz, H.: “Software Redundanz in Real-Time Systems”, Proc. IFIP, North Holland, 1974.

    Google Scholar 

  42. Hecht, H.: “Fault-Tolerant Software for Real-Time Applications”, Computing Surveys, Vol. 8, No. 4, Dec. 1976.

    Google Scholar 

  43. Mohanty, S.: “Models and Measurements for Quality Assessment of Software”, Computing Surveys, Vol. 11, No. 3, Sept. 1979.

    Google Scholar 

  44. Syrbe, M.; Sänger, F.: „Modelle zum Entwurf fehlertolerierender Mehrrechner-system und deren Simulation“, Informatik-Fachberichte, GI-Fachtagung, München, März 1982.

    Google Scholar 

  45. Neumann, H.: „Modellierung fehlertoleranter Prozeßautomatisierungssysteme“, Informatik-Fachberichte, GI-Fachtagung, München, März 1982.

    Google Scholar 

  46. Avizienis, A.: “ARIES - An automated reliability estimation system”, Proc. Annual Reliability and Maintainability Symp., Philadelphia, Jan. 1977.

    Google Scholar 

  47. Schmitz, P. et al: „Software-Qualitätssicherung - Testen im Software-Lebens-zyklus“, Vieweg, 1982.

    Google Scholar 

  48. Gmeiner, L.; Voges, U.: „Erfahrungen mit dem Einsatz automatischer Werkzeuge für die Qualitätssicherung während Entwurf und Test“, Proc. ACM-Tagung Software Qualitätssicherung, Neuhiberg, Teubner, März 1982.

    Google Scholar 

  49. Adrion, R.: “Validation, Verification and Testing of Computer Software”, Computing Surveys, Vol. 14, No. 2, June 1982.

    Google Scholar 

  50. Sneed, H.: „Sinn, Zweck und Mittel der dynamischen Programmanalyse“, Angewandte Informatik 8/1983.

    Google Scholar 

  51. Voges, U. et al: “SADAT - An Automated Testing Tools”, IEEE Trans. Software Engineering, SE-6, May 1980.

    Article  Google Scholar 

  52. Schneider, K.: „Ein System-Diagnoseprozessor für zentralen und dezentralen Einsatz in Prozeßrechner-Systemen“, Informatik-Fachberichte, Fachtagung Prozeßrechner 1981, München, Springer-Verlag, März 1981.

    Google Scholar 

  53. Lockemann, P. et al: „Systemanalyse - DV-Einsatzplanung“, Springer, 1983.

    Google Scholar 

  54. Hice, G. et al: “System Development Methodology”, North Holland, 1979.

    Google Scholar 

  55. Trauboth, H.; Frey, H.: “Safety considerations in project management of computerized automation systems”, Proc. IFAC-Workshop SAFECOMP 79, Stuttgart, May 1979.

    Google Scholar 

  56. Denert, E.; Hesse, W.: „Projektmodell und Projektbibliothek“, Informatik-Spektrum, Bd. 3, 1980, S. 215–228.

    Google Scholar 

  57. Kappatsch, A. et al: „Erfahrungen mit einem Qualitätssicherungssystem für Prozeß-Software-Projekte“, Regelungstechn. Praxis, Heft 8, 1983.

    Google Scholar 

  58. Walker, M.: “Managing Software Reliab”, North Holland, 1981.

    Google Scholar 

  59. Cooper, J.; Fisher, M.: “Software Quality Management”, Petrocelli Book, 1979.

    Google Scholar 

  60. Geiger, W. et all: “Program testing techniques for nuclear reactor protection systems”, Computer, Vol. 12, No. 8, August 1979.

    Google Scholar 

  61. Ramamoorthy, C.V. et al: “Application of a Methodology for the Development and Validation of Reliable Process Control Software”, IEEE Trans. Software Engineering, Vol. SE-7, No. 6, Nov. 1981, p 537–555.

    Article  Google Scholar 

  62. Mizuno, Y.: “Software Quality Improvement”, (COMPSAC 82), Computer, March 1983

    Google Scholar 

  63. Garcia-Molina, H.: “Reliability Issues for Fully Replicated Distributed Databases”, Computer, September 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Datenverarbeitung in der Technik (IDT), Kernforschungszentrum Karlsruhe GmbH, Postfach 3640, D-7500, Karlsruhe, Bundesrepublik Deutschland

    H. Trauboth

Authors
  1. H. Trauboth
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik III, Universität Karlsruhe, Zirkel 2, 7500, Karlsruhe 1, Deutschland

    H. Wettstein

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Trauboth, H. (1984). Zuverlässigkeit von DV-Systemen — Eine Systemtechnische Aufgabe. In: Wettstein, H. (eds) Architektur und Betrieb von Rechensystemen. Informatik-Fachberichte, vol 78. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69394-6_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-69394-6_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12913-4

  • Online ISBN: 978-3-642-69394-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation