• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.384-389
• /
• 2008

In this paper, we propose a UML modeling of ATO on-board software. An automatic train operation (ATO) system is a real-time control system, which operates a train without a manual operation by a driver. For the safe and comfortable service, real-time embedded software for ATO on-board equipment should have both of high performance and reliability. UML-based object-oriented modeling technique is introduced and used widely to design software that satisfies this requirement. We used Rhapsody, which is a modeling tool for real-time embedded software, to model the construction and the behavior of ATO on-board equipment. As a result, ATO on-board software which performs the profile calculation and the real-time speed control is designed and implemented. The brief modeling result including behavioral characteristics and the simulation results are presented.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.205-210
• /
• 2004

The PRT(Personal Rapid Transit) system has been being researched and examined to efficiently provide high quality services to passengers against the traffic congestion of the capital region. With concept that PRT differentiated from GRT(Group Rapid Transit), PRT generally is a tracked vehicle system operating with unmanned. The embedded software of PRT Automated Control system generally is comprised of the central software, stations software and vehicle software. The controllers of these software interface to each other using its RF communication antennas. In this paper, each embedded software of the PRT system should be applied to an incremental and systematic test approach technique in the design and implementation phase, because the reliability and safety of the PRT system should be assured

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2019년도 춘계학술발표대회
• /
• pp.664-665
• /
• 2019

본 연구는 Eye Tracking을 사용하여 시선에 따라 마우스 커서를 이동시키는 연구이다. 이를 바탕으로 마우스를 사용하기 어려움이 있는 사용자에게도 마우스를 조작할 수 있도록 도움을 줄 목적으로 연구되었다. 본 논문에서 세 가지 기술을 사용한다. Viola-jones algorithm을 사용해 얼굴과 눈을 찾는다. 이후 찾은 부분에서 CDF Method로 동공을 인식해 해당 좌표 값을 윈도우 마우스 드라이버에게 전달한다. 전달한 값을 통해 마우스 커서를 눈의 움직임에 따라 이동시킨다. 추가적으로 마우스와 같은 역할을 할 수 있도록 눈의 깜빡임을 활용하여 클릭 기능도 추가할 것이다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 추계학술대회 논문집
• /
• pp.1237-1242
• /
• 2008

Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway system is very critical task and yet, not many works have been done. While much efforts have been reported to improve the safety of electronic hardware, not so much systematic approaches to evaluate the safety of software, especially for the vital software running on board train controllers. In this paper, we propose the guide line of actually applicable software safety assessment in train control systems. And we demonstrate the results of developing a new tool based on web system version for software assessment management.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 추계학술대회 논문집
• /
• pp.1257-1263
• /
• 2008

Recent advances in embedded system technology have brought more dependence on automating train control. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we have developed a software testing tool to evaluate train control system software safety, expecially "Metric Analysis" module. We have reviewed requirements in the international standards and surveyed available tools in the market. From this, we identified the S/W metric analysis module is required for software evaluation. So we have developed S/W metric analysis module for railway signaling systems.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 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.

• 한국항행학회논문지
• /
• 제19권2호
• /
• pp.91-97
• /
• 2015

이 논문은 항공 분야에서의 안전필수 소프트웨어를 평가하기 위한 고려사항을 기술한다. 항공 분야에서의 안전필수 소프트웨어의 평가를 수행하기 위해서는 해당 소프트웨어의 평가 수준에 대한 정보가 필요하다. 그 수준은 표준에 명시되어 있으나 소프트웨어 자체적으로 결정되는 요소가 아니며 시스템 안전 평가 결과 및 시스템 설계 결과에 의존적이다. 그러므로 소프트웨어 평가수준을 결정하기 위해 시스템 개발 및 시스템 안전 평가 표준에서 필요로 하는 정보에 대해 설명한다. 그리고 소프트웨어를 평가하기 위한 기존의 방법론들을 조사하고 항공기 지상 유도 및 통제 시스템 소프트웨어의 평가에 적용할 방법을 제시한다.

• International Journal of Quality Innovation
• /
• 제1권1호
• /
• pp.97-105
• /
• 2000

In this paper, a two-section method for measuring is introduced and the variation sources of measurement process are analysed. Measuring is a special process in general process. Various variation source must be firstly decomposed so that the statistical distribution law of measuring process can be established, and then implement monitoring control of the measuring process. A special method to obtain the measuring variation is discussed, and a monitoring control technique for measuring process is studied based statistical distribution. Towards the end, we briefly introduce software design for the analysis and control of a measurement process.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1992년도 춘계학술대회 논문집
• /
• pp.301-305
• /
• 1992

A mold plant is characterized by complex processes, frequent schedule changes, and lots of troubles. In order to control the production in mold plant efficiently, huge amount of informations are to be managed in the appropriate way. In this paper, a modular software system for production control is described, which is located between a higher level production planning system and a process control system. It contains the functions such as order processing, operations scheduling and control, tool managemant, NC program managememt including DNC functions, production data acquisition and progress control and statistics.

• 한국통신학회논문지
• /
• 제27권10C호
• /
• pp.887-901
• /
• 2002

소프트웨어 관리 모델은 크게 소프트웨어 프로젝트 견적 모델과 소프트웨어 설계평가 모델, 소프트웨어 복잡성 모델, 소프트웨어 신뢰도 성장 모델, 소프트웨어 프로세스 개선 모델 등으로 나누어진다. 그 중에서도 개발된 소프트웨어를 정량적으로 분석하여 평가하는 모델이 소프트웨어 복잡도 모델이다. 즉, 소프트웨어를 객관적으로 관리하는데 있어서 정량적인 판단 기준이 필요하다. 그렇기 때문에 소프트웨어 복잡성 모델(software complexity model)은 소프트웨어의 복잡성에 대한 정량적인 평가에 응용할 목적으로 도입되었으며, 소프트웨어 복잡성 측정시 이 결과를 소프트웨어 관리(software management)의 기준에 이용하는데 있어서 품질이나 생산성에 대한 영향을 제공할 때 정량적이고 명확히 할 필요가 있기 때문이다. 다시 말해서 복잡한 프로그램에는 에러가 많이 포함될 가능성이 높고 또 개발비용(source cost)도 높다는 것을 경험적으로 알 수 있다. 이러한 관계가 성립되지 않는 경우에는 소프트웨어의 효과적인 관리가 곤란하다. 본 논문은 이런 관점에서 대표적인 소프트웨어 복잡성 모델에 대한 적용법에 대해 기술하고 개발중인 교환시스템의 소프트웨어에 대해 volume metrics와 process complexity metrics 방법, 제어구조 및 인터페이스 구조 방법에 대한 분석 결과와 시스템 개발을 수행하는 과정에서 발생되고 있는 문제점들에 대해 다각도로 분석을 하여 이를 유사한 시스템 연구개발 및 프로젝트 관리에 활용하고자 한다.