Scenario-driven Requirements Analysis Method For Train Control System

The train control system is a typical safety-critical complex system,and the requirements analysis is an important process in the early stage of system development.However,the traditional acquisition of the functional requirements of train control system is mainly achieved through the discussion of experts in the field,which is highly dependent on the experience of experts;at the same time,the early verification of the functional requirements of system is mainly completed through laboratory and field tests.There is a lack of an universal,complete and standard train control system requirements analysis method,which can assist the early research and development of the system.Scenario-based requirements analysis method in software engineering regards system operation scenario description as an important source of requirements acquisition and a well environment for requirements verification.The operation process of the train control system is usually described by scenarios;therefore,this thesis takes the scenario-based requirements analysis method as the core idea and proposes a scenario-driven train control system requirements analysis method,by introducing Ontology and Timed Automata(TA)theories and related modeling techniques.At the same time,in order to verify the effectiveness of the method proposed in this thesis,taking the new train control system for the western railway in China as the research object,the start of mission scenario and the train integrity monitoring scenario are selected for requirements analysis,on the basis of the system architecture induction and typical scenarios construction.The main work of this thesis is as follows:Firstly,a scenario-driven requirements analysis method for the train control system is proposed;this method defines a scenario template for guiding the construction of scenarios;extracting functional requirements through scenario ontology modeling and model reasoning;realizing functional requirement verification based on scenario TA modeling.Secondly,the architecture of the new train control system is summarized and the system features and key technologies are analyzed;then 11 typical scenarios related to start of mission scenario,train integrity monitoring scenario and level covert scenario are constructed,which including normal and abnormal scenarios.Finally,by applying the method proposed in this thesis,the requirements analysis of start of mission scenario and train integrity monitoring scenario of the new train control system is carried out: using the Protégé tool to construct the scenario ontology models and perform automatic reasoning on it,44 and 17 system functional requirements are elicited from the above typical scenarios respectively;the scenario TA models are constructed in the UPPAAL tool as the formal verification environment for the functional requirements,and the correctness of all functional requirement items are verified,the effectiveness of the proposed method in this thesis is finally proved.This thesis has 54 figures,53 tables and 77 references.