• 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.

• 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.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.20 no.3
• /
• pp.37-44
• /
• 2012

In this paper, the application of robust fuel gauge algorithm in the external environment to general fuel gauge system is proposed. The proposed fuel gauge system is composed of two modules which are Moving Average Filter (MAF) and Inclination Filter (IF). They are used to show correctly the amount of fuel in the external environment which are curve road, slope or acceleration/deceleration driving. In parallel, verification and validation processes using Software In the Loop Simulation (SILS) in personal computer and Hardware In the Loop Simulation (HILS) similar to actual vehicle environments are established. Through this research, it turned out to be possible to operation of gauge become correct of external environment.

• Proceedings of the KIEE Conference
• /
• 2007.04a
• /
• pp.143-145
• /
• 2007

The development of excitation control system (ECS) for emergency diesel generator in nuclear power plant is the replacement project of existing control system to resolve the maintenance problems caused by aging and obsolescence, The excitation control system is classified as a safety-related system. To guarantee the performance of developing excitation control system is equal to or higher than that of other systems, establishing the quality assurance scheme, doing software verification and validation activities, and planning equipment qualification. In this paper, we'd like to introduce the equipment qualification of excitation control system.

• 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.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.11a
• /
• pp.191-196
• /
• 1996

The potential value of the Application Specific Integrated Circuits(ASIC's) in safety systems of Nuclear Power Plants(NPP's) is being increasingly recognized because they are essentially hardwired circuitry on a chip, the reliability of the system can be proved more easily than that of software based systems which is difficult in point of software V&V(Verification and Validation). There are two types of ASIC, one is a full customized type, the other is a half customized type. PLD(Programmable Logic Device) used in this paper is a half customized ASIC which is a device consisting of blocks of logic connected with programmable interconnections that are customized in the package by end users. This paper describes the RPS(Reactor Protection System) composed of ASICs which provides emergency shutdown of the reactor to protect the core and the pressure boundary of RCS(Reactor Coolant System) in NPP's. The RPS is largely composed of five logic blocks, each of them was implemented in one PLD, as the followings. A). Bistable Logic B). Matrix Logic C).Initiation Logic D). MMI(Man Machine Interface) Logic E). Test Logic.

• Journal of the Korea Convergence Society
• /
• v.6 no.4
• /
• pp.121-126
• /
• 2015

Korea Youth Panel (2008) has 2 panels of the 5th year of Knowledge data to perform statistical analysis and regression analysis, the risk factors in the risk conditions of the family of functional deficits, protective factors, the relationship between the mediating effect of psychological adaptation and protective factors verification mechanisms and the psychological adaptation level it is an objective to analyze the protective factors that protect the high youth. To investigate the differences by frequency analysis and personal characteristics of the analyte's was performed t test using PASW (Predictive Analytics Software) 18.0. And to verify the effect of the parameters is performed rank regression analysis for verification of the effects of protection factors for adaptation. Rather than focusing on youth risk factors in social welfare practice field, focusing on processes and protective factors to reduce the risk factors, it is possible to convert the viewpoint overlooking the youth exposed to risk factors. Also, for young people experiencing difficulties that features loss of the family, it is determined that the prepared foundation which can be provided in the direction of social welfare practical intervention.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.8
• /
• pp.596-600
• /
• 2009

To support an efficient management of software verification and validation activities, many defect prediction models have been proposed based on object oriented metrics. They usually adopt logistic regression analysis, And, they state that the correctness of prediction is about 60${\sim}$70%, We performed a similar experiment with Eclipse 3.3 to check their prediction effectiveness, However, the result shows that correctness is about 40% which is much lower than the original results. We also found that univariate logistic regression analysis produces better results than multivariate logistic regression analysis.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.289-292
• /
• 2004

원자력발전소 MMIS(Man-Machine Interface System)는 발전소 공정과 관련 장비들을 감시 및 제어하고, 필요시에 보호기능을 수행함으로써 발전소를 안전하고 신뢰성 있게 운전할 수 있도록 지원하고 있다. 그러한 MMIS의 설계에 소프트웨어기반의 컴퓨터 기술이 사용된 경우, 그 설계를 구현하기 위해 사용된 소프트웨어가 설계 및 프로그래밍 오류에 취약하여, 공통유형의 소프트웨어 오류로 인해 하드웨어로써 구축된 다중성 설계를 파기시킬 수 있기 때문에 원자력 발전소의 안전 및 안정 운전과 직결되게 된다. 또한 소프트웨어는 설계공정 결함이 일반적으로 최종 결과물에서 확인될 수 있다는 점 때문에 확인 및 검증기술을 정립하고 체계적인 적용이 필수적이다. 이에 따라 본 논문에서는 현재 설계를 진행중인 SMART(System-integrated Modular Advanced ReacTor) MMIS 소프트웨어를 개발하기 위해 적용되는 확인 및 검증 규제요건을 분석하고, 소프트웨어 개발생명주기에 따른 확인 및 검증을 체계적으로 수행하기 위한 프레임웍을 제시한다.

• Journal of Korea Multimedia Society
• /
• v.13 no.7
• /
• pp.1076-1087
• /
• 2010

Together with a new advent of embedded processor developed to support specific application area and it evolution, a new research of software development to support the embedded processor and its commercial challenge has been revitalized. Retargetability is typically achieved by providing target machine information, ADL, as input. The ADLs are used to specify processor and memory architectures and generate software toolkit including compiler, simulator, assembler, profiler, and debugger. The EXPRESSION ADL follows a mixed level approach-it can capture both the structure and behavior supporting a natural specification of the programmable architectures consisting of processor cores, coprocessors, and memories. And it was originally designed to capture processor/memory architectures and generate software toolkit to enable compiler-in-the-loop exploration of SoC architecture. In this paper, we designed the class-based ADL based on the EXPRESSION ADL to promote the write-ability, extensibility and verified the validation of grammar. For this works, we defined 6 core classes and generated the EXPRESSION's compiler and simulator through the MIPS R4000 description.