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

Recently, the ${\mu}$-processor based-controlled systems instead of conventional relays circuitry are widely used to industrial applications, and also those technology is available to railway signalings which are safety-critical systems. However, the safety and reliability of software for those systems are harder to demonstrate than in traditional relays circuitry because the faults or errors can not be analyzed and predicted to those systems. So, the safety problems are crucial more and more in ${\mu}$-processor based-controlled system. In this paper, the Grafcet language, the graphical and mathematical form, is used to obtain the high-level safety and reliability of software control logic. The general description for Grafcet notation are provided. And some partial of interlocking logic are formally modeled and simulated by Grafcet language and graphical windows.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.40-43
• /
• 1996

An off-line programming, OLP, system is widely used in automation fines. To help an on-line robot system to carry out desirable tasks planned by the off-line simulation, an approach to the real-time communication is presented. The OLP system developed consists of a software, a host computer(PC), a SCARA robot body, four servo drivers, and four independent joint controllers. This study focuses on the software where real-time communication is included. The software, can be used in teaching, trajectory planning, real-time running, and performance evaluation. The evaluation of different control algorithms is one of the merits of the software. The software can give servo commands for task running. A comparison of generated and corresponding actual trajectories provides the evaluation of task performance. The safety, of the OLP system is ensured by alarming malfuntions of the system. The OLP system developed can reduce the teaching time and increase the user's convenience.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권1호
• /
• pp.46-61
• /
• 2002

소프트웨어의 개발 단계 중 품질을 결정하는 주요 단계는 요구 명세 단계로 알려져 있다. 따라서, 소프트웨어 개발 업체는 소프트웨어 요구명세서의 분석을 가장 중요한 단계 중 하나로 취급하고 있고, 특히 안전성이 중요한 시스템의 경우에는 시스템을 운영하기 위하여 국내와 국제적인 규제 기관에서는 요구 명세의 분석을 통한 안전성의 입증을 요구한다. 소프트웨어의 요구 명세 분석을 위한 방법 중 인스펙션과 정형 검증이 가장 효과적인 방법으로 알려져 있다. 본 논문에서는 SCR-style의 요구 명세를 정리 증명기인 PVS를 이용하여 정형 검증을 수행하는 방법을 제안하였다. 그리고, 논문에서 제안된 방법으로 실제 월성 원자력 발전소의 정지 시스템의 검증을 수행하였다. 이 시스템은 인스펙션으로 검증된 적은 있으나 정형 검증 방법으로는 증명된 적이 없고, 국내에서 실제 운영되는 산업계시스템에 정형 검증 방법이 적용된 사례는 매우 드물기 때문에 차후 정형 검증 방법을 적용하기 위한 평가로서도 이와 같은 실험적인 적용이 매우 중요하다.

• 한국철도학회논문집
• /
• 제1권1호
• /
• pp.10-19
• /
• 1998

Described in this paper is the software to design of a railway interlocking table, which describes the functional specifications of an interlocking device. Interlocking tables has been designed mainly based on personal expertise among signal engineers. However, this expertise needs to be analyzed with technical uniformity and integrated in an organized system. The proposed software is amount to the signal engineer's expertise, yet a generalization of interlocking reasoning. The algorithm is based on the train route setting principle, and is applicable in solving practical problems by computers. The software was evaluated through man-made and machine-made interlocking tables are compared. The evaluation results proves the software to be effective for computer control of the signaling system as interlocking system with a much improved safety.

• 대한안전경영과학회지
• /
• 제6권3호
• /
• pp.211-235
• /
• 2004

Component based design is perceived as a key technology for developing advanced real-time systems in a both cost- and time effective manner. Already today, component based design is seen to increase software productivity, by reducing the amount of effort needed to update and maintain systems, by packaging solutions for re-use, and easing distribution. Nowdays, a thousand and one companies in If(Information Technology) industry such as Sl(System Integration) and software development companies, regardless of scale of their projects, has spent their time and endeavor on developing reusable business logic. The component software is the outcome of software developers effort on overcoming this problem; the component software is the way propositioned for quick and easy implementation of software. In addition, there has been lots of investment on researching and developing the software development methodology and leading If companies has released new standard technologies to help with component development. For instance, COM(Component Object Model) and DCOM(Distribute COM) technology of Microsoft and EJB(Enterprise Java Beans) technology of Sun Microsystems has turned up. Component-Based Development (CBD) has not redeemed its promises of reuse and flexibility. Reuse is inhibited due to problems such as component retrieval, architectural mismatch, and application specificness. Component-based systems are flexible in the sense that components can be replaced and fine-tuned, but only under the assumption that the software architecture remains stable during the system's lifetime. In this paper, It suggest that systems composed of components should be generated from functional and nonfunctional requirements rather than being composed out of existing or newly developed components. about implements and accomplishes the modeling for the Product Control component development by applying CCD(Contract-Collaboration Diagram), one of component development methodology, to MRP(Material Requirement Planning) System

• 대한기계학회논문집B
• /
• 제37권12호
• /
• pp.1175-1183
• /
• 2013

전산유체역학 소프트웨어의 일부 개발자 및 사용자는 최신 전산유체역학 소프트웨어가 최소한 단상 원자로 안전문제는 타당하게 해석할 수 있을 것으로 생각하지만 계산 결과에는 여전히 제한성 및 불확실도가 존재한다. 현재 한국원자력안전기술원에서는 규제관점에서 원자로 안전문제에 대한 상용 전산유체역학 소프트웨어의 성능평가를 수행하고 있다. 본 연구에서는 축소 APR+ 원자로 내부유동 해석시다공성 모델을 적용한 상용 전산유체역학 소프트웨어의 예측 성능을 평가하기 위해 ANSYS CFX R.14 및 FLUENT R.14 에 탑재된 수치모델을 이용하여 계산을 수행하였다. 결론적으로 전산유체역학 소프트웨어에 따라 축소 APR+ 원자로 내부유동 분포는 국부적으로 차이가 발생하였다. 비록 제한된 수의 측정치로 인해 상용 전산유체역학 소프트웨어간 예측성능을 평가하기에는 다소 한계가 있으나 CFX R.14 가 FLUENT R.14 에 비해 상대적으로 타당한 예측결과를 제시하였다. 한편 적용된 차분법의 차이로 인해 동일한 격자에 대해 FLUENT R.14 가 CFX R.14 에 비해 상대적으로 많은 계산 메모리를 필요로 하였다. 따라서 대용량 병렬 계산시 가용한 계산 자원에 적합한 전산유체역학 소프트웨어가 선정되어야 한다.

• 한국컴퓨터정보학회논문지
• /
• 제22권8호
• /
• pp.33-39
• /
• 2017

In this paper, we propose a method which implements warning to drivers through real-time analysis of risky and unexpected driver and vehicle behavior using only a smartphone without using data from digital tachograph and vehicle internal sensors. We performed the evaluation of our system that demonstrates the effectiveness and usefulness of our method for risky and unexpected driver and vehicle behavior using three information such as vehicle speed, azimuth and GPS data which are acquired from a smartphone sensors. We confirmed the results and developed the smartphone application for validate and conducted simulation using actual driving data. This novel functionality of the smartphone application enhances drivers' situational awareness, increasing safety and effectiveness of driving.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.1252-1253
• /
• 2011

The railway signaling system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway signaling system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for train control system was started to become influential as the important issue. In this paper, we presented boundary value analysis tool for railway signaling system software, and presented its result of implementation.

• Nuclear Engineering and Technology
• /
• 제28권6호
• /
• pp.594-601
• /
• 1996

To assure quality of safety critical software, software should be developed in accordance with software development procedures and rigorous software verification and validation should be performed. Software verification is the formal act of reviewing, testing or checking, and documenting whether software components comply with the specified requirements for a particular stage of the development phase [1]. New software verification methodology was developed and was applied to the Shutdown System No. 1 and 2(SDS1,2) for Wolsong 2, 3 and 4 nuclear power plants by Korea Atomic Energy Research Institute(KAERI) and Atomic Energy of Canada Limited(AECL) in order to satisfy new regulation requirements of Atomic Energy Control Board(AECB). Software verification methodology applied to SDS1 for Wolsong 2, 3 and 4 project will be described in this paper. Some errors were found by this methodology during the software development for SDS1 and were corrected by software designer. Output from Wolsong 2, 3 and 4 project have demonstrated that the use of this methodology results in a high quality, cost-effective product.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권2호
• /
• pp.120-133
• /
• 2000

산업현장에서 복합 실시간 계통(HRTS: Hybrid Real-Time Systems) 개발을 위한 정형기법 사용의 주된 장벽은 인지적 어려움이며 이는 또 다른 위험을 초래할 수 있다. 이러한 문제를 극복하기 위해 HRTS 요구분석과 안전성 분석 시 사용자의 인지적 부담을 줄여줄 수 있는 정성적 요구분석 체계를 제안한다. 이 체계는 요구사항 명세를 위한 정성적 정형기법(QFM: Qualitative Formal Method)과 인과정보에 의한 요구사항 안전성 분석기법(CRSA: Causal Requirements Safety Analysis)으로 구성되어 있다. QFM에서는 인공지능 분야에서 연구된 정성추론 이론을 정형명세에 도입하여 요구사항 설계자와 분석자의 인지적 부담을 줄일 수 있도록 하였다. CRSA는 QFM에서 도출한 HRTS 동작의 인과 정보에 따라 체계적으로 위험 원인을 추적할 수 있도록 하여, 기존 결함 트리 분석(FTA: Fault Tree Analysis) 기법의 단점인 분석자의 주관에 의존하는 문제를 해결한다. 월성 원자력 발전소 자동정지계통(Shutdown System 2) 소프트웨어 요구사항 명세와 안전성 분석에 QFM과 CRSA를 적용하여 그 실효성을 입증하고자 하였다.