Study of CTCS-3 Control System Risk Assessment Based Unified Modeling Language

Zhao Tianshi,Sun Chao,Huang Yinxia
DOI: https://doi.org/10.3969/j.issn.1000-7458.2012.12.006
2012-01-01
Abstract:The CTCS-3 Train Control System is a kind of typical safety critical systems and its system assessment is complex.Through converting non-formal system requirements into semi-formal requirements,We use safety several analysis tools,such as hazard and operability studies,fault tree analysis,event tree analysis and reason and result analysis,to provide suitable risk assessment techniques for CTCS-3 Train Control System.
What problem does this paper attempt to address?