• Proceedings of the KIEE Conference
• /
• 2001.04a
• /
• pp.369-371
• /
• 2001

본 논문에서는 경량전철시스템 기술개발사업에서 개발하고자하는 차량시스템, 신호제어시스템, 전력공급시스템 및 선로구축불의 목표신뢰도를 정의하였다. 이 목표신뢰도의 배분은 국내지하철의 고장유형 및 철도분야에 축적되어있는 고장율을 바탕으로 작성되었다. 특히, 차량시스템분야는 보다 자세히 목표신뢰도를 배분하였다. 이러한 목표신뢰도 배분을 통하여 경량전철 시스템의 각 개발단계마다 이루어지는 개발활동(설계, 제작 및 구매)의 검증을 수행하여야 신뢰성을 확보한 경량전철시스템개발이라는 궁극적인 목적을 달성할 수 있다. 목표신뢰도 배분에 맞추어 경량전철시스템개발동안 제동장치, 추진장치, 출입문장치, 제어장치 등 고장시 열차의 운행을 정지시킬 수 있는 구성품에 대한 신뢰도를 모델링하여 신뢰도 예측 및 분석하고 이에 맞추어 설계검증 및 보안을 한다. 또한 경량전철시스템의 시험선로에서의 주행시험을 통하여 국내 경량전철시스템에 적합한 신뢰도 기준을 마련하고자 한다.

• TTA Journal
• /
• s.51
• /
• pp.94-96
• /
• 1997

일본의 주요 연구소들은 디지털 지상방송 시스템의 개발을 위하여 변조방식을 중점으로 기본적인 현장시험을 공동으로 시작할 예정이다. 이 현장시험은 디지털 지상 TV방송의 조기도입을 촉진하도록 1998년까지 잠정적인 방송시스템의 설정을 목표로 진행되고 있다.

• Proceedings of the KIEE Conference
• /
• 2008.04c
• /
• pp.184-186
• /
• 2008

경부고속철도의 개통과 함께 서울-부산 간 운행시간이 새마을호 기준 4시간 30분에서 2시간으로 단축되는 등 획기적인 시간 절감을 이루었으나 이는 고속철도가 운행되는 지역에 국한된 것이다. 이에 고속철도 비 수혜지역의 운행시간 단축을 위해 기존선 속도향상이 요구되며, 이러한 목적으로 한국철도기술연구원에서는 틸팅열차를 개발하여 시운전 10만Km를 목표로 시험운행중이다. 또한 한국철도공사에서는 이와 유사한 목적으로 기존선 신호시스템인 ATS 시스템을 차상신호시스템(ATP)으로 개량하는 사업이 추진되고 있다. 현재 틸팅열차에는 기존의 ATS(자동열차정지장치) 차상장치만을 장착하여 차량의 성능 확인을 위한 시험 및 시운전을 우선적으로 추진하고 있는 상태이며 이러한 ATS 차상장치는 160km/h 이하의 속도에서만 본연의 기능이 유지되고, 그 이상의 속도에서는 현실적으로 사용이 어렵기 때문에 틸팅열차의 목표속도인 200km/h에서 적합하게 시험하기 위해서는 적합하지 않다. 따라서 한국철도공사에서 추진하고 있는 ATP 구축사업의 지상설비와 연계될 수 있는 ATP 차상장치를 설치하여 시험을 하여야 한다. 본 논문에서는 이를 위한 틸팅열차와 ATP 차상장치와의 인터페이스에 대해 연구하였다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.10 no.6
• /
• pp.548-556
• /
• 2000

멀티에이전트 시스템(MAS: Multi-Agent System)에서 에이전트는 각자의 목표 달성을 위해 주위 에이전트들과의 상호작용을 통해 목표의 충돌이 없는 일치 상황에 도달하도록 설계되어야 한다. 멀티에이전트 시스템에서 에이전트들 사이의 목표 충돌은 일반적으로 발생 가능한 상황이고, 어떤 에이전트가 다른 에이전트에 관한 모든 지식을 가진다는 것은 불가능하기 때문에 상대방에 관한 부분적인 지식만을 가진 상황에서 목표 충돌을 해결할 수 있는 협상은 중요하다. 본 논문은 멀티에이전트 시스템에서 믿음(Belief), 소망(Desire); 그리고 의도(Intention)을 에이전트 구조의 핵심 요소로 가정하고 이러한 구조를 가지는 BDI 에이전트를 논리 프로그래밍의 입장에서 표현한다. 또한 서로 다른 목표를 가진 BDI 에이전트들이 서로 협상하여 문제를 해결하는 과정에서 발생하는 에이전트들 상호간의 목표 충돌을 해결하는 방법을 제시하며, 이 방법의 효과성을 검증하기 위하여 JAVA와 PROLOG를 결합시킨 InterPROLOG 프로그래밍 언어로 구현하여 시험한다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.13 no.2
• /
• pp.18-27
• /
• 2008

In recent years, the functions added ta an embedded system have grown various and complex in most parts of the applications. Embedded software comes to include more functions and is getting bigger. Therefore it is getting difficult for software developers to keep the development time to market on time. This leads to a need for adequate design and test technique for embedded software. In this paper, we propose a software architecture style for embedded software. It facilitates the composition of reusable functions and helps developers reduce development time. We also propose a test method and tools for embedded software running on target systems.

• Review of KIISC
• /
• v.24 no.2
• /
• pp.50-55
• /
• 2014

자동차 전장제품 활용의 급속한 증가에 대응하기 위하여 자동차 분야에서는 ISO 26262 안전설계절차를 도입하여 차량용 임베디드 시스템의 안전성을 확보하려고 노력하고 있다. ISO 26262는 자동차에서 발생 가능한 비정상상태(abnormal state)를 식별하고 그의 영향을 분석하며 전체 시스템의 안전을 검증하는 것을 목표로 하고 있다. 다양한 종류의 부품이 연동되는 복잡한 시스템의 안전 검증은 결함수목법과 고장모드영향분석법을 활용하는 위험분석법이 보편적으로 사용된다. 결함주입시험은 이러한 위험분석의 기반도구로서 안전성을 향상시키기 위하여 사용된 고장감내 기능의 동작여부 및 그에 따른 시스템의 안전성을 검증하는 목적으로 사용된다. 본 논문에서는 차량용 고신뢰성 임베디드 시스템에서 사용되는 고장감내 메카니즘들의 기능과 안전을 검증하는 방법과 사례를 소개한다. 최근의 복잡한 차량용 임베디드 시스템의 개발은 상위수준의 모델을 개발하여 지정된 위험 및 고장을 초래하는 결함을 시스템에 주입하고 그의 결과를 분석하여 안전을 검증하는 것이 일반적인 방법이다. 개발 목표 차량의 임베디드 시스템 모델을 개발하고, 식별된 결함의 결함모델을 준비한 뒤, 시스템 모델 기반 결함주입 도구를 이용하여 결함주입을 수행하는 시험방법과 그 결과에 대하여 논의한다. 하드웨어는 SystemC 하드웨어 설계언어를 이용하여 개발하고, 소프트웨어를 컴파일하여 실행화일을 확보하여 시험대상인 결함모델을 개발하고 이를 대상으로 결함주입시험에 대해 설명한다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1012-1013
• /
• 2008

경부고속철도의 개통과 함께 서울-부산 간 운행시간이 새마을호 기준 4시간 30분에서 2시간으로 단축되는 등 획기적인 시간 절감을 이루었으나 이는 고속철도가 운행되는 지역에 국한된 것이다. 이에 고속철도 비 수혜지역의 운행시간 단축을 위해 기존선 속도향상이 요구되며, 이러한 목적으로 한국철도기술연구원에서는 틸팅열차를 개발하여 시운전 10만Km를 목표로 시험운행중이다. 또한 한국철도공사에서는 이와 유사한 목적으로 기존선 신호시스템인 ATS 시스템을 차상신호시스템(ATP)으로 개량하는 사업이 추진되고 있다. 현재 틸팅열차에는 기존의 ATS(자동열차정지장치) 차상장치만을 장착하여 차량의 성능 확인을 위한 시험 및 시운전을 우선적으로 추진하고 있는 상태이며 이러한 ATS 차상장치는 160km/h 이하의 속도에서만 본연의 기능이 유지되고, 그 이상의 속도에서는 현실적으로 사용이 어렵기 때문에 틸팅열차의 목표속도인 200km/h에서 적합하게 시험하기 위해서는 적합하지 않다. 따라서 한국철도공사에서 추진하고 있는 ATP 구축사업의 지상설비와 연계될 수 있는 ATP 차상장치를 설치하여 시험을 하여야 한다. 본 논문에서는 이를 위하여 ATP 차상장치의 틸팅열차 적용에 대한 연구를 추진한 결과를 발표하고자 한다.

• Journal of Platform Technology
• /
• v.8 no.4
• /
• pp.47-58
• /
• 2020

DO-330 Software Tool Qualification Considerations is a guideline for development of tools used to develop/verify software and hardware installed on aircraft. And among several processes, the verification process is very crucial as it occupies a large proportion for DO-330. Especially, in order to qualify tool with high safety level, test objectives must be performed with independence, accordingly, more time, cost, and manpower are required than other objectives. In addition, even if the test cases or test procedures are well defined, the higher the complexity of the test the higher probability of human error occurs. In this paper, we propose Script-based Test Automation Agent software structure for efficient DO-330 verification process of A661UAGEN tool developed by Hanwha Systems. Compared to the test performed manually by the test engineer, testing time of the Script-based Test Automation Agent is reduced by 87.5% and testing productivity is increased by 43.75%.

• Journal of Aerospace System Engineering
• /
• v.16 no.6
• /
• pp.90-98
• /
• 2022

The output of an infrared (IR) sensor mounted on an EO/IR payload is known to change during a mission period in an orbital environment. As it is required to calibrate the output of the IR sensor periodically to obtain high-quality images, an on-board black body system is mounted on the payload. All systems operating in the space environment require performance tests on ground to verify the target performance in the orbital environment. Therefore, it is also required to test the black body system to verify the performance of the surface temperature uniformity and the estimated representative temperature error within the target temperature range in the operating environment. In this study, calibration of the estimated representative temperature error and verification of the thermal performance of the black body system were conducted by performed a performance test in the thermal vacuum chamber applying deep space radiation cooling effect of an orbital environment.

• Aerospace Engineering and Technology
• /
• v.6 no.2
• /
• pp.45-51
• /
• 2007

The various levels of test are performed to verify the correctness, completeness, and quality of the developed flight software. The three main test levels are unit test, integration test and verification test. The flight software unit test is performed on the individual PC environment using target simulator. And integration and verification test is mainly performed on STB(S/W Test Bed) which provides test and debugging environments for flight software on the target board This document is to present the test environment for the next generation low earth orbit satellite flight software development.