Failure Analysis in Safety Critical Systems Using Failure State Machine

Thapaliya, A; Jeong, D; Kwon, G

Thapaliya, A (reprint author), Kyonggi Univ, Dept Comp Sci, Suwon, South Korea.

ADVANCES IN COMPUTER SCIENCE AND UBIQUITOUS COMPUTING, 2018; 474 (): 540

Abstract

In this paper, failure analysis of a railway level crossing system is studied using failure state machine. It was previously perceived that formal ver......

Full Text Link