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

Langue : anglais

Edité par Springer, 2008

1848003714 / 9781848003712

Vendeur : Home-set, Mannheim, AllemagneHome-set

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 13 avril 2026

Livre relié

Etat: Neuf

EUR 267,49

EUR 49,90 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

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.…

N° de réf. du vendeur IB-186555

Titre
Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering
Auteur
Pierre-Jacques Courtois
Éditeur
Springer
Année de publication
2008
État de l'article
Neu
Reliure
Gebundene Ausgabe
Langue
anglais
ISBN à 10 chiffres
1848003714
ISBN à 13 chiffres
9781848003712
Poids de l'article
630 grammes

Home-set

Mannheim, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 13 avril 2026

Frais d'expédition de Allemagne vers Etats-Unis

Article10 à 12 jours ouvrés8 à 10 jours ouvrés
Premier articleEUR 49,90EUR 75,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque

Spécialité

Buch

Profil professionnel du vendeur

Home-set

Allemagne