Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is State Automata to Fault Trees

Chapter 5
Novel Design and Applications of Robotics Technologies
State automata to fault trees with order-dependent behaviors (SAFORA) is a top-down deductive synthesis approach that computes expressions of global failure conditions from the dysfunctional behavior local to the components of the system (described as hierarchical state machines). The purpose is to accurately analyze the reliability of architectures and the technique is suitable for complex systems featuring dynamic aspects.
Published in Chapter:
Improving Dependability of Robotics Systems: Analysis of Sequence-Dependent Failures
Nidhal Mahmud (SYSAF, UK)
Copyright: © 2019 |Pages: 24
DOI: 10.4018/978-1-5225-5276-5.ch005
Abstract
In this chapter, the authors propose an algorithm for the reduction of fault tree expressions that are generated from failure behavioral models. The significance of the sequencing of events is preserved during the generation and all along the reduction process, thus allowing full qualitative analysis. Thorough and detailed analysis results should positively impact the design of condition monitoring and failure prevention mechanisms. A behavioral model of a robotic system that exhibits sequence-dependent failures is used in the study.
Full Text Chapter Download: US $37.50 Add to Cart
More Results
Chapter 593
Improving Dependability of Robotics Systems
State Automata to Fault trees with Order-dependent behaviors (SAFORA) is a top-down deductive synthesis approach that computes expressions of global failure conditions from the dysfunctional behavior local to the components of the system (described as hierarchical state machines). The purpose is to accurately analyze the reliability of architectures and the technique is suitable for complex systems featuring dynamic aspects.
Published in Chapter: Improving Dependability of Robotics Systems; From: Encyclopedia of Information Science and Technology, Fourth Edition
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR