• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Naturvetenskap och teknik
    2. Teknik och industri
    3. Elektronik och kommunikationer

    Software-Fehlertoleranz und -Zuverlässigkeit

    AvF. Belli,S. Pfleger

    Häftad, Tyska, 1984

    Del i serien Informatik-Fachberichte

    561 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    1m vorliegenden Bericht tiber Software-Fehlertoleranz und -Zuverlassigkeit wird ein Problemkreis aus dem weitgefacherten Themenkomplex der Fehlertoleranz in Rechensystemen aufgegriffen, der in den letzten Jahren zunehmend an Bedeutung und Interesse gewonnen hat. Wahrend in der Vergangenheit ein Schwerpunkt der Fehlertoleranz-Konzepte und -Realisierungen darin lag, die Zuverlassigkeit von Rechensystemen durch MaBnahmen gegen den Ausfall von Hardware-Komponenten zu erhohen, wachst zusehends der Bedarf, auch Software in diese Bemtihungen mit einzubeziehen. Mit dem Einsatz von Rechensystemen in verschiedensten Bereichen steigen auch die Zahl und das AusmaB kritischer Anwendungen und somit die Anforderungen an die Zuverlassigkeit der eingesetzten Software. Techniken, die es gestatten, fehlerfreie, fehlertolerante und robuste Software zu erstellen, kommt daher eine neue Schltisselfunktion ftir zuklinftige Systeme zu. Bevor man jedoch spezielle Fragestellungen der Software-Fehlertoleranz und Software-Zuverlassigkeit angeht, erscheint es wichtig, den Stand der Technik in Theorie und Praxis zu erfassen und eine Bestandsaufnahme von laufenden Aktivitaten zu versuchen. Dieser Band gibt einen ersten Uberblick und will eine Basis ftir weitere Diskussionen schaffen. Er entstand im wesentlichen aus Beitragen zu einem Workshop an der Hochschule in Bremerhaven. Ziel des Workshops war der Informationsaustausch und die Diskussion zum oben erwahnten Problemkreis und zu verwandten Themen. Es nahmen 63 Fachleute aus den Bereichen Lehre, Forschung und Industrie teil.

    Produktinformation

    • Utgivningsdatum:1984-09-01
    • Mått:170 x 244 x 17 mm
    • Vikt:542 g
    • Format:Häftad
    • Språk:Tyska
    • Serie:Informatik-Fachberichte
    • Antal sidor:298
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540133834

    Utforska kategorier

    • Elektronik och kommunikationer inom Naturvetenskap och teknik
    • Programvaruutveckling inom Data och IT
    • Hårdvara inom Data och IT

    Innehållsförteckning

    • Methodik.- Formale Methoden zur Erstellung robuster Software.- Studieren geht über Probieren oder Didaktik und Methodik der fehlerpräventiven Programmentwicklung.- Ein Schritt in Richtung auf Fail-Safe Software.- Konstruktive Aspekte.- Aspekte der Konstruktion robuster Software.- Ein effizientes Verfahren zur Fehlererkennung in sortierten Feldern und Listen.- Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO.- Verteilte Systeme.- Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen für Verteilte Systeme.- Error Recovery in einer verteilten Systemarchitektur.- Reliable Remote Procedure Calls.- Wiederaufsetztechniken.- Strategien zur Festlegung von Rücksetzpunkten in Prozeß-Systemen unter Berücksichtigung der Programm-Redundanz zur Ausnahmebehandlung.- Implementierte Checkpoint/Restart Fehlertoleranztechnik in der Praxis.- Diversität und Votieren.- Experimente mit N-Version Programming auf dem DIRMU Multiprozessorsystem.- Votierung in PDV-Systemen mit diversitärer Redundanz.- Der Einsatz von Software-Diversität in Systemen mit hohen Zuverlässigkeitsanforderungen.- Existierende Systeme.- CPS 32, ein neues Computer-Konzept für Fehlertoleranz und Erweiterbarkeit.- VISO-DATA - Fehlertoleranter Systemverbund.- Das fehlertolerante Informationssystem 8832 - Das Fehlertoleranzkonzept.- Das fehlertolerante System TANDEM T16.- Recovery-Verfahren bei UDS ab Version V4.0, dargestellt anhand ausgewählter Problemfälle.- Rechnerunterstützung.- Rechnerarchitekturen zur Unterstützung korrekter und transparenter Programmierung.- Die Fehlertoleranzeigenschaften der Puffermaschine.- Leistungsbreite von automatischen Analyse- und Testwerkzeugen für FORTRAN und PL/1 - Ein Erfahrungsbericht.- Bewertung.- Ein Bündelheuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlässigkeit.- Methoden zur Erstellung und Prüfung von Software für sicherheitsrelevante Prozeßrechnersysteme.- Beurteilung von Verfahren zur Tolerierung von Softwarefehlern.- Abschlußdiskussion.- Formale Methoden oder pragmatisches Vorgehen für die Software-Fehlertoleranz und -Zuverlässigkeit?.