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

£146.87

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: 139.5 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 80 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £144 (54 days, 67.5%)

Price range: £139 - £147

Price levels: 4 different prices over 80 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: paperback
ASIN: 1849967946
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 28 October 2010
Listed Since: 05 November 2010

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Affordable Reliability Engineering: Life-Cycle Cost Analysis for Sustainability & Logistical Support

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

Systems Reliability and Risk Analysis: 1 (Engineering Applications of Systems Reliability and Risk Analysis, 1)

Applications of Nuclear and Radioisotope Technology: For Peace and Sustainable Development

Risk Analysis in Nuclear Waste Management: Proceedings of the ISPRA-Course held at the Joint Research Centre, Ispra, Italy, 30 May - 3 June 1988

Recent Advances in System Reliability: Signatures, Multi-state Systems and Statistical Inference (Springer Series in Reliability Engineering)

Reliability Technology: Principles and Practice of Failure Prevention in Electronic Systems (Quality and Reliability Engineering Series)

Nuclear Non-proliferation and Arms Control Verification: Innovative Systems Concepts

Performance, Reliability, and Availability Evaluation of Computational Systems, Volume 2: Reliability, Availability Modeling, Measuring, and Data Analysis

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

14th WCEAM Proceedings (Lecture Notes in Mechanical Engineering)

Why Safety Cultures Degenerate: And How To Revive Them

India's Sentinel: Select Writings of Air Commodore Jasjit Singh Avsm, Vrc, VM (Retd)

Dependability of Networked Computer-based Systems (Springer Series in Reliability Engineering)

Recent Advances in Mathematics for Engineering (Mathematical Engineering, Manufacturing, and Management Sciences)

Advanced and Intelligent Computations in Diagnosis and Control: 386 (Advances in Intelligent Systems and Computing, 386)

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems: 283 (The Springer International Series in Engineering and Computer Science, 283)

Recent Advancements in Software Reliability Assurance (Advances in Mathematics and Engineering)

Materials Ageing in Light-Water Reactors: Handbook of Destructive Assays

Reliability and Safety Assessment of Dynamic Process Systems: 120 (NATO ASI Subseries F:, 120)

Chernobyl: Insight from the Inside

Reliability Evaluation of Power Systems

Best Estimate Safety Analysis for Nuclear Power Plants: Uncertainty Evaluation (Safety Reports Series)