• Proceedings of the KIEE Conference
• /
• 1997.07c
• /
• pp.948-950
• /
• 1997

This paper presents a basic interposing logic program to control nuclear power plant. In this paper we select a target control loop among the whole interposing modules, develop logic algorithm and functional software to compose target control loop. After that we carry out V&V(Verification and Validation) into the developed logic program to improve quality and reliability.

• 한국항공운항학회:학술대회논문집
• /
• 2015.11a
• /
• pp.179-182
• /
• 2015

DO-278A는 소프트웨어 인증 절차를 제공할 목적으로 만들어진 것은 아니지만, 소프트웨어 개발 절차를 설명하는 것으로 지상용 항공장비의 소프트웨어를 만드는데 적절한 역할을 수행할 수 있다. 대체적으로, 수명주기증거품(life cycle evidence)을 통해 프로세스가 정확하고 적합하게 이행되었다는 것을 증명할 수 있다면 소프트웨어는 적합성을 확인을 받을 수 있다. 본 논문에서는 국토부 R&D로 개발되고 있는 항공기 지상이동유도 및 통제시스템(Advanced-Surface Movement Guidance & Control System, A-SMGCS)의 소프트웨어 개발 및 검증에 DO-278A 절차를 적용한 방안을 제시하고자 한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.05a
• /
• pp.602-607
• /
• 1995

This article presents safety review experience of microprocessor-based Interposing Logic System(ILS) of Engineering Safety Feature Actuation System(ESFAS). The ILS is the first application of computerized logic design to safety system in Korean nuclear power plants without verification of the system reliability by proven technology concept. As a result of evaluation for the ILS, Korea Institute of Nuclear Safety(KINS) concluded that the microprocessor-based ILS is not acceptable in some features detailed enough to defend against software common mode failures(CMF). Therefore, we required licensee to install hardwired interlock signal configuration and a Hardwired Backup Panel to control safety-related equipment. We believe that the microprocessor-based ILS with the hardwired backup panel and inter-connection of interlock signal by hardwired configuration will improve the plant safety.

• Journal of Power System Engineering
• /
• v.14 no.5
• /
• pp.24-29
• /
• 2010

TFT-LCD module with thin, small and layered structure makes its shock analysis very difficult and complicated. As TFT-LCD becomes more thinner, it is more difficult to assure its required shock resistance. Recently, the drop/impact simulation using the commercial explicit dynamic analysis software such as LS-DYNA3D is actively applied to assess the shock characteristics of TFT-LCD. In this study, the effects of analysis parameters and design modifications in the drop/impact simulation are carefully studied. the reliability of the present analysis results can be assured through the experimental verification.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.9 no.1
• /
• pp.111-118
• /
• 2013

This paper presents implementation of Air protocol analyzer and physical layer design algorithm. The analyzer is a measurement system providing real-time analysis of wireless signals between User Equipment (UE) and Node-B. The implemented system proposed in this paper consists of Digital Signal Processors (DSPs) and Field Programmable Gate Arrays (FPGAs). The waveform of Wideband Code Division Multiple Access (WCDMA) has been selected for verification of the proposed system. We designed the analyzer using equalizer algorithm and rake-receiver algorithm. Among various algorithms of designing the equalizer, we have chosen Linear Minimum Mean Square Error (LMMSE) equalizer that uses the inverse of channel matrix. Since the LMMSE equalizer uses the inverse channel matrix, it suffers from a large amount of computational load, while it outperforms most conventional equalizers. In this paper, we introduce an efficient procedure of reducing the computational load required by LMMSE equalizer-based receiver.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.76-78
• /
• 2000

전력 시스템 가운데 과전류 차단 시스템은 전력 시스템의 보호를 위해 중요한 내장형 시스템이다. 이러한 시스템은 꼭 필요한 작동을 해야 하는 mission-critical 시스템이라 볼 수 있다. 이러한 mission-critical 시스템에 내장되는 소프트웨어의 개발은 요구사항 분석 및 설계, 개발 단계에서 시스템의 신뢰도를 높이는 것이 매우 중요하다. 본 논문에서 이러한 시스템의 소프트웨어의 설계가 요구사항과 일치하는지를 확인하고 요구된 성질을 만족하는 지를 검증하기 위해 회로 설계를 적합한 언어인 ESTEREL과 모델 체킹 도구를 이용하고 설계 및 검증 기법을 구현함으로 설계의 안정성과 정확성 및 설계에 대한 더 정확한 이해와 분석을 가능케 하는 설계 방법을 구현하는데 목적을 두고 있다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2003.06a
• /
• pp.3-8
• /
• 2003

A Simulation S/W is developed to evaluate performances of MLS (Microwave Landing System) and IBLS(Integrated Beacon Landing System) in precision auto-landing. For this study classical PID and optimal LQG controllers are developed as well as mathematical models of MLS and IBLS. Ship-landing condition is also considered by assuming sinusoidal movement of the ship in the pitch direction. The simulated aircraft is F-16 in the study of precision auto-landing. For the integrated simulation environment GUI windows are designed for input of parameter values necessary for simulation, such as vehicle performance and environmental data. For validation and verification of models various comparison graphs of simulation outputs are comprised in the GUI design as well as 3D visual simulation of vehicle dynamics.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.1
• /
• pp.50-59
• /
• 2009

There are two main problems in the current PLC ladder programming practices: First, currently there are no widely adopted systematic design methods to deal with PLC based control systems in the shop floor. So, the control logic design phase is usually omitted in current PLC programming development life cycle. Second, PLC ladder logic provides only microscopic view of system processes. As a result, it is difficult for FA engineers to have overall perspectives about the interaction of system components intuitively during the verification step of logic errors. To solve these problems, this paper proposed object-oriented design and automatic generation method of PLC ladder logic. Based on the proposed method, the computer software to assist the automatic ladder logic generation is also developed.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.13 no.6
• /
• pp.1080-1090
• /
• 2010

A study for improvement of credibility on test & evaluation result of interoperability in battle management information system which focused in C4I systems is very essential in rapid change of battle field environment. Realization of effective operation process with integration of developed IT also core factor for reducing of operational response time such as information gathering from sensor to shooter, time for commander's decision making. Therefore, by required to meet of high technical T&E, meet of complex software's user requirement, long-term system development period, system integration ability's request by various linkage of systems, it is high a M&S dependency to optimal performance, interpoerability's guarantee. Especially credibility on test & evaluation using M&S is very important. This paper will propse a VV&A applied methods using other VV&A case to improve credibility of M&S on test & evaluation.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.64 no.4
• /
• pp.523-528
• /
• 2015

A new algorithm for a coordinative control method is proposed with respect to voltage control and system stabilization of local substations. This is accomplished using control cooperation between a static synchronous compensator (STATCOM) and the existing voltage compensation equipment in the steady state and emergency state of a power system. A real-time system analysis was developed by combining a system analysis program with InTouch, which has primarily been used in factory automation for verification. PSS/E was used for the load flow calculation software, Python for language, Intouch as an HMI program, and MS SQL for the database. To test this system, the system in the vicinity of the Migeum and the Migeum substations was modeled and simulated.