Functional Mode Analysis of Safety Critical Systems Using Causal Bayesian Networks (CBNs)

2017 ◽  
pp. 133-147
Author(s):  
Susmitha Thiyyanoor ◽  
R. Krishnaprasad ◽  
Manju Nanda ◽  
J. Jayanthi
Keyword(s):  
Bayesian Networks ◽  
Mode Analysis ◽  
Critical Systems ◽  
Safety Critical ◽  
Causal Bayesian Networks ◽  
Safety Critical Systems ◽  
Functional Mode

scholarly journals COMBINING BAYESIAN NETWORKS AND ROUGH SETS: FURTHER STEP TOWARDS REASONING ABOUT UNCERTAINTY

2014 ◽  
pp. 6-14
Author(s):  
Janusz Zalewski ◽  
Sławomir T. Wierzchoń ◽  
Henry L. Pfister
Keyword(s):  
Bayesian Networks ◽  
Real Time ◽  
Rough Sets ◽  
Probability Distributions ◽  
Bayesian Belief Networks ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Number Of Authors

This paper discusses a combination of Bayesian belief networks and rough sets for reasoning about uncertainty. The motivation for this work is the problem with assessment of properties of software used in real-time safety-critical systems. A number of authors applied Bayesian networks for this purpose, however, their approach suffers from problems related to calculating the conditional probability distributions, when there is scarcity of experimental data. The current authors propose enhancing this method by using rough sets, which do not require knowledge of probability distributions and thus are helpful in making preliminary evaluations, especially in real-time decision making. The combination of Bayesian network and rough sets tools, Netica and Rosetta, respectively, is used to demonstrate the applicability of this method in a case study of the Australian Navy exercise.

Generation of testing script based on XML for safety-critical systems

2011 ◽  
Vol 31 (1) ◽  
pp. 281-285
Author(s):  
Huan HE ◽  
Zhong-wei XU ◽  
Gang YU ◽  
Shi-yu YANG
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document