한국형 고속전철 SE 관리체계의 거동분석에 관한 연구

초록

This study is on the behavior analysis which can define and verify a system requirement through a behavior diagram for High speed rail system. The model considered in this study is limited to the preconditioning control of the control system specification for HSRS. To build an executable model, reuirements should be decomposed first into leaf node requirements. The behavior model is composed of input, output, and functions which are linked with leaf node requirements. It is important that a single requirement must specify a single function. Using the developed executable model and the traceability between requirements nd functions, this study found out a lot of static and dynamic inconsistency, missed and derived requirements. This is to develop and executable bahavior model to do functional analysis and be able to verify the in tergrity of a specification.