Design and Safety Assessment of Critical Systems - Image 1

Price loading...

CRC Press Design and Safety Assessment of Critical Systems

Name: Design and Safety Assessment of Critical Systems
Brand: CRC Press

50 black & white illustrations

Architecture & Microprocessors

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone process. The growing complexity of these systems requires an increase in the skill and efficacy of safety engineers and encourages the adoption of formal and standardized techniques. An introduction to the area of design and verification of safety-critical systems, Design and Safety Assessment of Critical Systems focuses on safety assessment using formal methods. Beginning with an introduction to the fundamental concepts of safety and reliability, it illustrates the pivotal issues of design, development, and safety assessment of critical systems. The core of the book covers traditional notations, techniques, and procedures, including Fault Tree Analysis, FMECA, HAZOP, and Event Tree Analysis, and explains in detail how formal methods can be used to realize such procedures. It looks at the development process of safety-critical systems, and highlights influential management and organizational aspects. Finally, it describes verification and validation techniques and new trends in formal methods for safety and concludes with some widely adopted standards for the certification of safety-critical systems. Providing an in-depth and hands-on view of the application of formal techniques to advanced and critical safety assessments in a variety of industrial sectors, such as transportation, avionics and aerospace, and nuclear power, Design and Safety Assessment of Critical Systems allows anyone with a basic background in mathematics or computer science to move confidently into this advanced arena of safety assessment.

Key Features

New

Mint Condition

Dispatch same day for order received before 12 noon

Guaranteed packaging

No quibbles returns

Product Specifications

Brand: CRC Press
Model: 50 black & white illustrations
Format: hardcover
ASIN: 1439803315
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 12 November 2010
Listed Since: 22 September 2009

Barcode

No barcode data available

CRC Press Design and Safety Assessment of Critical Systems

Price History & Forecast

No Price Data Available

Price Distribution

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

CRC Press System Safety Engineering and Risk Assessment Book

System Safety Engineering and Risk Assessment: A Practical Approach, Second Edition

Applied Safety for Engineers: Systems and Products

Reliability, Quality, and Safety for Engineers

Reliability, Quality, and Safety for Engineers

Engineering Design Reliability Applications: For the Aerospace, Automotive and Ship Industries

Mission-Critical and Safety-Critical Systems Handbook: Design and Development for Embedded Applications

Aircraft system safety: Military and civil aeronautical applications

Formal Methods for Industrial Critical Systems: A Survey of Applications

Safety Analysis of Critical Infrastructure: Impact of Operation Processes and Climate Change (Lecture Notes in Intelligent Transportation and Infrastructure)

Safety and Human Error in Engineering Systems

Engineering Systems Reliability, Safety, and Maintenance: An Integrated Approach

Auerbach Publications System Reliability and Security Book

Safety Design Criteria for Industrial Plants, Volume I: 001

Introduction to Risk and Failures: Tools and Methodologies

Introduction to Risk and Failures: Tools and Methodologies

Engineering Systems Reliability, Safety, and Maintenance: An Integrated Approach

Requirements Engineering for Safety-Critical Systems (River Publishers Series in Software Engineering)

Design for Safety (Quality and Reliability Engineering Series)

System Reliability and Security: Techniques and Methodologies

Safety Management: A Qualitative Systems Approach

Architecting Secure Software Systems

Critical Infrastructure System Security and Resiliency