경량전철사업 시스템엔지니어링 전산모델 검증에 관한 연구

국문 초록 (Abstract)

경량전철시스템의 건설은 노선당 수천억 원에서 조 단위의 건설비가 소요되는 대형 복합인프라 사업으로, 건설된 시스템은 장기간 운영되기 때문에 생명주기관점에서 사업을 추진하는 것이 매우 중요하다. 시스템엔지니어링은 고객의 요구 를 성공적으로 구현하는 수단 및 방법론으로 경량전철사업과 같은 대형 사업에 매우 유용하다. 이러한 시스템엔지니어링 접근법을 경량전철사업에 적용하기 위해 개발된 전산모델 SELRT(Systems Engineering application model for Light Rail Transit project)가 현장에서 활용되기 위해서는 모델에 대한 검증이 필요하다. 시스템엔지니어링에서의 검증은 시스템요구사 항을 만족하였음을 확인하는 것이다. 따라서 본 논문에서는 시스템엔지니어링 방법론에 따라 검증 절차와 검증 아키텍처를 제시하고, 이에 따라 시스템요구사항을 식별하였다. 또한 시스템요구사항을 검증하기 위해 국제 표준규격 등 참조규격을 참 고하여 검증요구사항 및 검증항목과 검증기준을 도출하였으며, 검증절차에 따라 SELRT를 시연하고 결과를 검증요구사항과 비교하였다. 그 결과 시스템요구사항과 검증요구사항의 추적성, 검증요구사항별 검증방법, 전산도구의 시연결과가 상호 연 결되고, 최초요구사항이 SELRT에 명확히 구현되었음을 확인할 수 있어, 제안된 방법이 SELRT 검증에 유효하며, SELRT도 경량전철사업현장에서 활용될 수 있음이 확인되었다.

다국어 초록 (Multilingual Abstract)

The construction of a light rail transit (LRT) system is a large and complex infrastructure project involving hundreds of billions of won in construction costs for a single route, and it is very important to carry out such a project from a life-cycle perspective because of its long-term operation. Systems engineering is a means and methodology to successfully implement customers' needs, and it is useful in large projects such as light rail transit. An application model called Systems Engineering for Light Rail Transit (SELRT) was developed to support systems engineering activities in light rail transit projects. In order to utilize SELRT, it is necessary to ensure that system requirements are met. As such, in this paper, we present a verification procedure and architecture based on a systems engineering-based methodology, thereby identifying the system requirements and deriving the verification requirements to confirm the SELRT model for the proposed method. The results show that the traceability of the system requirements and verification requirements, the verification method for each requirement, and the demonstration results for computerized tools are mutually connected, and that the initial requirements are clearly implemented in the SELRT. The proposed method is valid for verifying the SELRT, which can also be utilized in a LRT project.

참고문헌 (Reference)

1 김철진, "요구사항의 품질 향상을 위한 자동화 검증 기법" 한국산학기술학회 13 (13): 4207-4213, 2012

2 서진원, "온톨로지 기반의 소프트웨어 설계에러검출방법" 한국산학기술학회 10 (10): 2676-2683, 2009

3 박주병, "오픈소스 소프트웨어의 품질 수준 평가 방법" 한국산학기술학회 13 (13): 2353-2359, 2012

4 Martin JS, "Systems Engineering Guidebook: A Process for Developing Systems and Products" Crc press 1996

5 M. G. Park, "Model Checking Tools for Software Safety Verification" 32 (32): 51-58, 2014

6 "KS X ISO/IEC 9126-1 Software engineering - Product quality - Part 1: Quality model"

7 "KS X ISO/IEC 15288, Systems and software engineering-System life cycle process"

8 INCOSE, "INCOSE Systems Engineering Handbook Ver.3.2"

9 Team S. C. P., "CMMI For Development v1.3"

10 손준우, "AUTOSAR와 모델기반 기법을 적용한 차량 임베디드 시스템소프트웨어의 개발 및 검증 기법" 제어·로봇·시스템학회 13 (13): 1179-1185, 2007

11 S. Y. Han, "A Study on the Verification of Systems Engineering Application Model for LRT Project" 113-, 2015

12 Seok-Youn Han, "A Study on the Systems Engineering Process for Effectively Carrying Out LRT Project" The Korean Society of Mechanical Engineers 1 (1): 139-145, 2013

13 S. Y. Han, "A Study on the Development of Systems Engineering Application Model for LRT Based on MBSE" 8 (8): 9-19, 2012