Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering (Springer Series in Reliability Engineering) - Image 1

£40.50

Springer Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering (Springer Series in Reliability Engineering)

Name: Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering (Springer Series in Reliability Engineering)
Brand: Springer
Price: 40.5 GBP
Availability: InStock

Children's Books

This is the usual price. Wait for it to drop, or tell us your number.

£41 today · usual range £0–£0 · best ever £32

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 595 days • 595 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 595 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £40 (173 days, 29.1%)

Price range: £32 - £41

Price levels: 6 different prices over 595 days

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.

Product Specifications

Brand: Springer
Format: Hardcover
ASIN: 1848003714
Category: Books > Subjects > Children's Books
Domain: Amazon UK
Release Date: 11 September 2008
Listed Since: 02 June 2008

Barcode

No barcode data available

Springer Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering (Springer Series in Reliability Engineering)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering (Springer Series in Reliability Engineering)

Reliability of Nuclear Power Plants: Methods, Data and Applications (Mechanical Engineering and Solid Mechanics: Reliability of Multiphysical Systems, 14)

Goal Oriented Methodology and Applications in Nuclear Power Plants: A Modern Systems Reliability Approach

System Reliability and Security: Techniques and Methodologies

Fundamentals of Dependable Computing for Software Engineers (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)

Fundamentals of Dependable Computing for Software Engineers (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Reliability and Safety Engineering (Springer Series in Reliability Engineering)

Reliability Assessment of Safety and Production Systems: Analysis, Modelling, Calculations and Case Studies (Springer Series in Reliability Engineering)

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Design for Reliability: 5 (Quality and Reliability Engineering Series)

The Process of Reliability Engineering: Creating Reliability Plans That Add Value

Electronic Systems Effectiveness and Life Cycle Costing: 3 (NATO ASI Subseries F:, 3)

Concise Reliability for Engineers

Software Safety Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors: 26 (Practitioners)

Practical System Reliability

Technology, Human Performance, and Nuclear Facilities: A Systems Engineering Approach to Reduce Human Error (CRC Focus)

Reliability Analysis Using MINITAB and Python

New Results in Dependability and Computer Systems: Proceedings of the 8th International Conference on Dependability and Complex Systems ... in Intelligent Systems and Computing, 224)

Case Studies in Reliability and Maintenance: 377 (Wiley Series in Probability and Statistics)

Advances in RAMS Engineering: In Honor of Professor Ajit Kumar Verma on His 60th Birthday (Springer Series in Reliability Engineering)

Reliability Models of Complex Systems for Robots and Automation

Risk and Safety Analysis of Nuclear Systems

Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings: 8153 (Lecture Notes in Computer Science, 8153)