• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.2056-2062
• /
• 2009

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 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 the static software testing tool for railway signaling, especially Fagan Inspection supporting tool. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

• 전기학회논문지P
• /
• 제58권2호
• /
• pp.108-115
• /
• 2009

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 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 the static software testing tool for railway signaling, especially Fagan Inspection module and checklists supporting module. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

• 한국통신학회논문지
• /
• 제41권3호
• /
• pp.347-358
• /
• 2016

본 논문은 사용자의 행동을 실시간 인지하여 그 행동과 연동하여 생체 신호를 측정 할 수 있는 착용형 단말 소프트웨어 구조를 제안한다. 착용형 단말은 사용자가 일상생활 동안 항상 착용하고 있기 때문에 이러한 장치를 통하여 생체 신호를 측정하는 것은 사용자 행동과 관련된 건강 정보를 얻을 수 있게 해준다. 이 중 산소포화도와 심박수는 사용자가 운동을 하거나 수면을 취하는 동안 변화를 측정하면 호흡기 상태를 진단하는데 사용할 수 있다. 그러나 이런 생체 신호를 생활 중에 측정하는데 있어서 기존의 방법과 같이 연속적으로 측정하는 것은 움직임으로 인한 신호 왜곡 때문에 정확성을 떨어뜨리게 된다. 또 왜곡을 고치기 위해서 복잡한 알고리즘을 적용하는 것도 착용형 단말의 한정적인 자원을 고려하면 적절하지 않다. 따라서 본 논문에서는 연산이 간단한 필터와 가속도 센서를 이용하여 사용자 행동을 먼저 판단하고 그에 연동하여 정확한 생체신호를 측정할 수 있는 착용형 단말 소프트웨어 구조를 제안한다.

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

• 센서학회지
• /
• 제15권6호
• /
• pp.417-424
• /
• 2006

An ubiquitous healthcare monitoring system for elderly person at home was designed for continuous healthy monitoring of elderly person or patients. Human vital signals, such as ECG and body temperature, were monitored by terminal PC or PDA via ECG and temperature sensor nodes on the patient's body. From the ECG data, the heart rate, tachycardia, bradycardia and arrhythmia were diagnosed on the terminal PC or PDA to assist doctor's or nurse's aid or patient itself to monitor the patient's condition and give medical examination. Artificial judgement support system was designed in server computer and the system support a doctor or nurser for management or treatment of the patient. This system can be applied to vital signal monitoring system for solitude elderly person at self house or home health care service part. And this ubiquitous healthcare system can reduce the medical expenses in coming aging or aged society.

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

A S/W testing for vital railway signaling system have been important because of the increase of software usage for signaling. And also the safety of vital signaling system is required by int'l std. such as IEC 61508. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to assessment software's safety. In this paper, we propose a automation schemen of software testing tool for railway signaling system. From that, we show the functional architecture and internal components of the tool.

• 한국철도학회논문집
• /
• 제11권2호
• /
• pp.139-144
• /
• 2008

최근 임베디드 시스템 기술의 발전에 따라 열차제어시스템의 자동화가 촉진되고 있다. 이를 위한 하드웨어의 안전성 검증을 위한 연구는 활발히 진행되고 있으나, 소프트웨어의 안전성을 검증하기 위한 체계적인 노력은 거의 이루어지지 않고 있다. 이 논문에서는 열차제어 시스템 소프트웨어의 안전성을 자동으로 평가 할 수 있는 소프트웨어 도구를 제안한다. 이를 위하여 관련 국제표준을 분석하였으며, 기존의 사용 소프트웨어 테스팅 도구들을 조사하였다. 이로부터 국제표준에서 요구하는 주요 요건을 테스팅 할 수 있는 도구를 제안하였으며, 이 도구는 소프트웨어 전 개발주기에서 이용이 가능하다. 이 도구는 기존의 테스팅 도구들과는 달리 소프트웨어의 안전성을 검증할 수 있다는 점에서 그 의의가 크다.

• 한국안전학회지
• /
• 제26권4호
• /
• pp.87-95
• /
• 2011

The urgent VAI(Vital Area Identification) method development is required since 'The Act of Physical Protection and Radiological Emergency' that is established in 2003 requires an evaluation of physical threats in nuclear facilities and an establishment of physical protection in Korea. The KAERI(Korea Atomic Energy Research Institute) has developed the VAI methodology and VAI software called as VIPEX(Vital area Identification Package EXpert) for identifying the vital areas. This study is to demonstrate the applicability of KAERI's VAI methodology to a hypothetical facility, and to identify the importance of information of cable and piping runs when identifying the vital areas. It is necessarily needed to consider cable and piping runs to determine the accurate and realistic TEPS(Top Event Prevention Set). If the information of cable and piping runs of a nuclear power plant is not considered when determining the TEPSs, it is absolutely impossible to acquire the complete TEPSs, and the results could be distorted by missing it. The VIPEX and FTREX(Fault Tree Reliability Evaluation eXpert) properly calculate MCSs and TEPSs using the fault tree model, and provide the most cost-effective method to save the VAI and physical protection costs.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2000년도 춘계학술대회 논문집
• /
• pp.269-275
• /
• 2000

The railway signaling system consists of microcomputerized vital devices on board and ground, which are connected to one another by track circuits, and interlocking equipment for route control. Therefore it is important to validate the required functions of developed system and interface between developed signaling systems. To verify the conditions and functions of signaling logic, the laboratory prototype test bench, which consists of personal computers with software module and Ethernet LAN, will be developed. In this paper general design of signaling system test bench for high-speed rail is described and developed software module is presented.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 1999년도 춘계학술대회 논문집
• /
• pp.315-321
• /
• 1999

The railway signaling system consists of microcomputerized vital devices on board and ground, which are connected to one another by track circuits, and interlocking equipment for route control, The software plays a major role in these microcomputer-based vital systems. Therefore it is important to design the software and validate the required levels of safety and reliability To verify the conditions and functions of signaling logic, the laboratory prototype test bench, which consists of personal computers, VME system and Ethernet LAN, will be developed. In this paper general design of signaling system test bench for high-speed rail is described and some developed subprogram is presented.