Fault tree construction of hybrid system requirements using qualitative formal method-Reference-Cited by-同舟云学术

Fault tree construction of hybrid system requirements using qualitative formal method

Published:2005-01 Issue:1 Volume:87 Page:121-131
ISSN:0951-8320
Container-title:Reliability Engineering & System Safety
language:en
Short-container-title:Reliability Engineering & System Safety

Author:

Lee Jang-Soo,Cha Sung-Deok

Publisher

Elsevier BV

Subject

Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality

Reference21 articles.

1. Fault tree handbook, Division of the System Safety Office of Nuclear Reactor Regulation;Veseley,1981

2. Qualitative formal method for requirements specification and validation of hybrid real-time safety systems;Lee;IEE Proc Software J,2000

3. Behavior verification of hybrid real-time requirements by qualitative formalism;Lee,1997

4. Causal functional representation language with behavior-based semantics;Iwasaki;Appl Artificial Intell J,1995

5. Falkenhainer B, Farquhar A, Bobrow D, Fikes R, Forbus K, Gruber T, Iwasaki Y, Kuipers B. CML: a compositional modeling language. KSL Report No. KSL-94-16, Stanford University; 1994.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An extended system-theoretic hazard analysis method for the safety of high-speed railway train control systems;Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit;2016-08-23

2. A robust algorithm based on a failure-sensitive matrix for fault diagnosis of power systems: an application on power transformers;TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES;2015

3. FAULT AND EVENT-TREE TECHNIQUES IN OCCUPATIONAL HEALTH-SAFETY SYSTEMS - PART II: STATISTICAL ANALYSIS;Environmental Engineering and Management Journal;2014

4. Fault root cause tracing of complicated equipment based on fault graph;Proceedings of the Institution of Mechanical Engineers, Part E: Journal of Process Mechanical Engineering;2012-05-29

5. Run-Time Fault Detection Using Automatically Generated Fault Tree Based on UML;Convergence and Hybrid Information Technology;2012