• 한국철도학회논문집
• /
• 제13권4호
• /
• pp.412-418
• /
• 2010

본 논문에서는 최근 들어 철도신호시스템분야에서 중요한 이슈로 부각되고 있는 소프트웨어 측면에서의 신뢰성과 안전성 수준을 국제규격(IEC 62279)에 부합할 수 있도록 하기 위한 접근방법을 모색하며, 실제 적용사례(국토해양부 및 한국건설교통기술평가원이 주관하는 국가 대형연구개발 실용화 사업인 "도시형 자기부상열차 실용화사업 시범노선 건설 열차제어시스템 구매/설치")를 통하여 현실적이고 접근가능한 구체적인 활동 사항들을 프로젝트 수행과 연관하여 기술한다. 또한 열차제어시스템의 안전성 인증 획득을 위한 소프트웨어를 포함한 시스템 보증활동 및 시스템 보증을 위한 조직체계를 확립하고, 요구사항 관리 및 프로젝트 공정에 따른 절차적 시스템 보증 활동과 안전성평가 활동과의 연관관계, 시스템 전반에 걸친 RAMS 및 소프트웨어 품질보증 활동과 안전성 평가를 통한 인증활동에 대한 부분을 상세 제시하고자 한다. 본 활동을 통하여 지금까지 국제규격에 따른 활동기준에 대해서 모호하거나, 명확하게 정의되지 않은 사항들이 체계적으로 정리될 수 있을 것으로 사료되며, 타 사업 및 국내 철도신호시스템 적용을 위한 소프트웨어 품질 및 안전 무결성 수준 확보에 따른 안전성 확보방안의 구체적인 케이스 모델이 될 것으로 기대된다.

• 한국전자통신학회논문지
• /
• 제10권4호
• /
• pp.513-519
• /
• 2015

정적분석방식은 소프트웨어 코드분석방식중의 하나이다. 국제철도신호시스템 소프트웨어 관련규격 IEC 62279에서는 소프트웨어 안전성 레벨에 따라 총 9가지 분석방법을 조합하여 사용할 것을 권고하고 있다. 본 논문에서는 도시철도 차 지상간 열차운행 정보 통신장치 연구개발에서 소프트웨어 품질을 향상하기 위하여 세 가지 정적분석방식에 대하여 연구하고, LDRA 툴을 이용하여 사례 연구를 진행하였다. 따라서 철도신호시스템 소프트웨어개발주기에 필요한 시간을 단축하여 안전성 관련 소프트웨어의 효율적인 개발에 도움을 주고자 한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2010년도 춘계학술대회 논문집
• /
• pp.1118-1125
• /
• 2010

This paper presents the methods to acquire the Safety Certificate from Independent Safety Assessment based on the IEC standard62279 which is commonly applied to railway system for Automatic Train Control(ATC) system in accordance with Urban Maglev project. This also shows approach methods and relative activities for project life-cycle to accomplish and ensure the system requirements of ATC system, RAMS and S/W quality activities. Furthermore, the key tasks conducted with ISA are noted in detail. These kind of activities for software quality of ATC system to obtain Safety Certificate could be a CASE model to improve the quality of domestic railway system and products, and also contribute to the growth of railway business and toward the achievement of overseas' railway signaling markets.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.968-973
• /
• 2007

The systems such as the railway control system, satellite control system and nuclear power plant control system are the safety critical systems because the failure of them could lead to risk significant events. These softwares of digital systems must follow the life cycle process from the beginning of software development to guarantee their safety and reliability. The NRC(Nuclear Regulatory Commission) Reg Guide of nuclear fields, the RTCA/DO-178B standard which is used to acquire the certification for software in industrial aero field in European Union and United State, the DEF STAN 00-55 standard for the safety of electronic weapon in England, the IEC 601-1-4 for medical equipment and the IEC 62279 for railway system recommended the development life cycle. This paper introduces the development process and compares each other. Also it indicates applicable development criteria for the software of systems related to railway fields and describes the detailed procedure of development criteria. We describe the procedure to make the software development criteria in nuclear filed. For the software development related to railways, the process from plan phase to maintenance phase must be satisfied. The safety and reliability is guaranteed through these standards.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.193-195
• /
• 2008

Safety is important factor in railway system. Now most of the electric and electronic system which is applied in railway system is the embedded system which software is used. The constitution rate of software which is involved in railway system is gradually increasing. Most of the software which is used in railway system is implemented by the software developer. Thus the implemented code has different features according to the developer and this may cause the bad effect on the software's maintenance. International standard IEC 62279 requires an adoption the coding standard to developing the railway software. And it is plan to recommend complying with the coding standard in safety criteria for railway software which is noticed as the regulation of the Korean railway safety law. In this paper, we review the requirement of coding standards which is present in the software criteria for railway software and international standard. Also it investigates the coding standard which is in other safety related industry and presents the effective way to apply the software coding standard to domestic railway industry.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.731-740
• /
• 2008

철도 제어 시스템은 대표적인 안전철수 시스템이다. 국제 규격의 컴퓨터 기반의 철도 제어 시스템을 개발하기 위해서 정형 기법을 이용한 요구사항 명세와 검증이 요구된다. 본 논문에서는 정형 기법을 사용하여 요구사항 명세를 작성하는 지침서(guideline)을 개발하고, 컴퓨터 기반의 열차 제어 장치 시스템에 대한 실제 적용 사례를 제시한다. 정형 명세를 위해 상태차트(statechart)와 Z를 사용하고, 정형 명세의 일치성(consistency)과 완전성(completeness)을 검증한다.

• 한국철도학회논문집
• /
• 제12권4호
• /
• pp.450-456
• /
• 2009

최근의 컴퓨터 기술의 발달에 따라 열차제어시스템들이 컴퓨터 소프드웨어에 의존성이 더옥 증가되고 있으며, 이에 따라 이러한 열차제어시스템 소프트웨어의 안전성과 선뢰성에 대한 테스팅이 더욱 증요하게 되었다. 본 논문에서는 이러한 열차제어시스템 소프트웨어를 위한 Metrics 분석 자동화 도구를 제안하였으며, 또한 구현결과를 제시하였다. S/W Metrics는 철도시스템 소프트웨어관련 국제표준에서 언급되고 있는 Metrics를 대상으로 하였으며, 철도 소프트웨어 소스코드의 Metrics를 자동으로 분석하여 그 결과를 사용자에게 다양한 형태로 제시할 수 있도록 구현하였다. 자동화 도구는 열차제어시스템 소프트웨어 평가단계에서도 활용될 수 있고 또한 소프트웨어 개발단계에서도 유용하게 활용될 수 있을 것으로 예상된다.