Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering

Sprache: Englisch

Verlag: Springer, 2008

1848003714 / 9781848003712

Anbieter: Home-set, Mannheim, DeutschlandHome-set

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 13. April 2026

Hardcover

Zustand: Neu

EUR 267,49

EUR 49,90 Versand 
Versand von Deutschland nach USA

Anzahl: 2 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Safety is a paradoxical system property. It remains immaterial, intangible and invisible until a failure, an accident or a catastrophy occurs and, too late, reveals its absence. And yet, a system cannot be relied upon unless its safety can be explained, demonstrated and certified. The practical and difficult questions which motivate this study concern the evidence and the arguments needed to justify the safety of a computer based system, or more generally its dependability. Dependability is a broad concept integrating properties such as safety, reliability, availability, maintainability and other related characteristics of the behaviour of a system in operation. How can we give the users the assurance that the system enjoys the required dependability? How should evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? How should we decide whether there is enough evidence to justify the release of the system? To help answer these daunting questions, a method and a framework are proposed for the justification of the dependability of a computer-based system. The approach specifically aims at dealing with the difficulties raised by the validation of software. Hence, it should be of wide applicability despite being mainly based on the experience of assessing Nuclear Power Plant instrumentation and control systems important to safety. To be viable, a method must rest on a sound theoretical background. Sprache: Englisch Gewicht in Gramm: 630.…

Bestandsnummer des Verkäufers IB-186555

Titel
Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering
Autor
Pierre-Jacques Courtois
Verlag
Springer
Erscheinungsjahr
2008
Zustand
Neu
Einband
Gebundene Ausgabe
Sprache
Englisch
ISBN-10
1848003714
ISBN-13
9781848003712
Artikelgewicht
630 Gramm

Home-set

Mannheim, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 13. April 2026

Versandkosten von Deutschland nach USA

Artikel10 bis 12 Werktage8 bis 10 Werktage
Erster ArtikelEUR 49,90EUR 75,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Vorauskasse

Spezialisierung

Buch

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Home-set

Deutschland