Contemporary Safety-Critical Systems Analysis Through Fault Tree Synthesis

Contemporary Safety-Critical Systems Analysis Through Fault Tree Synthesis

Nidhal Mahmud (University of Hull, UK)
Release Date: June, 2016|Copyright: © 2016 |Runtime: 2 hrs 9 mins
EISBN13: 9781466697171|DOI: 10.4018/978-1-4666-9717-1
Institution (Multi User Access) Video Prices
Streaming Access:
$300.00
DVD:
$310.00
Individual (Single User Access) Video Prices
Streaming Access:
$150.00
DVD:
$160.00

Description

Sophisticated computerized engineering systems have become an essential facet of everyday life. Despite the ubiquity of such systems, safety and reliability are still primary concerns for developers and users of such systems.

Contemporary Safety-Critical Systems Analysis Through Fault Tree Synthesis focuses on the effective design and analysis of safety-critical systems. Highlighting topics relevant to reliability measurements of safety-critical systems such as nuclear, avionic, and automobile systems, this advanced-level video lecture is ideal for educational use by engineers, analysts, R&D professionals, researchers, and graduate-level students in engineering programs.

Topics Covered

  • Deterministic Finite Automation (DFA)
  • Fault Tree Analysis
  • Reliability Engineering
  • Repairable Systems
  • Robotics Systems
  • Systems analysis
  • Systems Safety

Table of Contents

Introduction
3:29 mins
Play Preview
Section 1:Fault Tree Analysis: Basic Concepts
 
Lesson 1:Static Fault Trees and Fields of Application
10:02 mins
 
Lesson 2:Fault Tree Analysis
10:49 mins
 
Lesson 3:Limitation of Static Fault Trees
10:35 mins
 
Section 2:Automata-Based Fault Tree Synthesis
 
Lesson 4:Fault Tree Representation of the System Dysfunctional Behavior
15:26 mins
 
Lesson 5:Extended Fault Trees
9:34 mins
 
Lesson 6:A More Accurate Fault Tree Representation of the Automaton
14:53 mins
 
Lesson 7:Automata-Based Synthesis of Fault Trees with Priority Gates
10:20 mins
 
Lesson 8:A Generic Triple Redundant (GTR) System
12:43 mins
 
Section 3:Extension of the Approach to Markov Models
 
Lesson 9:Reducing Markov Models by Symbolic Calculus
12:39 mins
 
Lesson 10:Compositional Approach to Reducing Markov Models
15:38 mins