Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Justifying the Dependability of Computer-based Systems

Justifying the Dependability of Computer-based Systems

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781848003729
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $169.00 - $169.00
BEST PRICE

Single Product Purchase

$169.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$169.00 $169.00

$169.00
See Site In stock Visit Store

Similar Products

Algebraic Topology

$34.99

Problems of the Gastrointestinal Tract in Anesthesia, the Perioperative Period, and Intensive Care

$129.00

Variational and Non-variational Methods in Nonlinear Analysis and Boundary Value Problems

$109.99

Immersive Office 365

$54.99

Untersuchungen ber die technische Ausnutzung von Werkzeugmaschinen und Ermittlung von Werkstckchar

$59.99

Shame and Modernity in Britain

$119.99

Topological Defects and the Non-Equilibrium Dynamics of Symmetry Breaking Phase Transitions

$219.99

Intravascular Infusion Systems

$39.99

Pilauco: A Late Pleistocene Archaeo-paleontological Site

$79.99

The Theory of Mixed Oligopoly

$159.99

Agammaglobulinemia

$109.99

Gravity Falls: Tales of the Strange and Unexplained: (Bedtime Stories Based on Your Favorite Episodes!) by Disney Books

$14.99

Biogeography and Ecology of the Seychelle Islands

$329.99

Fonds-Lebensversicherungs-Kombinationen

$74.99

I Survived the Shark Attacks of 1916: The Graphic Novel (I Survived Graphix Series #2) by Lauren Tarshis

$10.99

Pattern Recognition

$139.99

Die Physiologische Entwicklung des Kindes

$84.99

Collective Choice in Education

$109.99

Monetary Policy and the Oil Market

$54.99

Wordsworth

$19.99

konomische Instabilitt und staatliche Stabilisierung

$39.99

The Lithuanian Family in its European Context, 1800-1914

$79.99

Biomechanics: Basic and Applied Research

$259.00

Experimental and Numerical Study of Dynamics of Premixed Hydrogen-Air Flames Propagating in Ducts

$54.99

Plant Nutrients and Abiotic Stress Tolerance

$379.99

Weberei

$59.99

Trace Gas Emissions and Plants

$169.99

Semantics and Pragmatics: Drawing a Line

$99.99

Microcontrollers in Practice

$189.00

Formal Engineering for Industrial Software Development

$54.99

Silviculture of South Asian Priority Bamboos

$169.99

Bioactive Components of Human Milk

$219.99

Sphingosine-1-Phosphate

$169.99

Chemical Hardness

$84.99

Berichte zur Resistenzmonitoringstudie 2008

$39.99

Automatic Programming Applied to VLSI CAD Software: A Case Study

$129.00

Napoleon and British Song, 1797-1822

$54.99

Data Science and Emerging Technologies

$189.00

Groundwater Engineering

$99.99

Didaktik der modernen Berufsbildung

$59.99