Requirements engineering on train control system is an important part of train control system development. The verification of requirements specification is a main stage of the construction of requirements engineering. And it is a useful method to reduce the risk and cost of system development. This thesis primary researches on the verification method of train control system requirements specification, which is based on executable UML.Firstly, the background of the verification of train control system requirements was introduced. Then a verification method of system requirements specification based on executable models was proposed, after the present research status of methods of verifying train control system requirements specification were analyzed. Thirdly, the main contents and the theoretical basis of requirements specification verification were summarized.The verification of requirements based on executable models can efficiently verify the dynamic characteristics of requirements specification. A verification method, based on executable UML, was presented through introducing the executable models into train control system requirements specification verification.1) Various views of executable UML were used to descript the train control system requirements specification.2) Executable models of train control system requirements specification were established, by strengthening the active semantic for each model.3) A method was designed, to verify the completeness and feasibility of requirements specification, which was directed towards the characteristic of train control system requirements specification.In the last section of this thesis, the CTCS-3 System Requirements Specification was used as a research object, in order to confirm the reasonable of the method designed in this thesis. The results proved that the method was correct and rational. |