Study and Application of UML Based CTCS-3 Operational Scenarios Analysis Approach

Zhao Xianqiong,Li Kaicheng,Tang Tao,Yuan Lei
DOI: https://doi.org/10.3969/j.issn.1000-7458.2010.08.002
2010-01-01
Abstract:CTCS-3 is a typically safety-critical system.For a safety-critical system,it is vital that there is security risks in its System Requirement Specification(SRS).The SRS of CTCS-3 is covered by 14 operational scenarios,so it is reasonable and necessary to analyze these operational scenarios.This paper propose a method to analyze and verify the operational scenarios on the basis of UML and CSP and take the RBC exchange scenario as a study case to verify its aliveness,dead-lock,live-lock,deterministic property and part of safety property.
What problem does this paper attempt to address?