• International Journal of Aeronautical and Space Sciences
• /
• 제18권3호
• /
• pp.574-578
• /
• 2017

In order to achieve iterative design in early R&D period, a Distributed and Real-time Integrated Simulation System for avionics based on a Model-Based Systems Engineering (MBSE) method is proposed. The proposed simulation system includes driver, simulation model, monitor, flight visual model and aircraft external model.The effect of this simulation system in iterative design and system verification is testified by several use cases. The result shows that the simulation system, which can play an important role in iterative design and system verification, can reduce project costs and shorten the entire R&D period.

• 시스템엔지니어링학술지
• /
• 제4권1호
• /
• pp.45-51
• /
• 2008

This paper presents template for Critical Design Review(CDR) in case of Urban MAGLEV Program. CDR was executed to confirm for design result based on requirements at last design stage. The integrated template for effective CDR includes requirements, specification and verification items. CDR needs to confirm satisfaction of requirements for design result and define verification method for technical validity. This template will help a consistent and integrated design review. And it is specially useful in huge and complex project.

• Nuclear Engineering and Technology
• /
• 제48권2호
• /
• pp.470-481
• /
• 2016

Field-programmable gate arrays (FPGAs) have received much attention from the nuclear industry as an alternative platform to programmable logic controllers for digital instrumentation and control. The software aspect of FPGA development consists of several steps of synthesis and refinement, and also requires verification activities, such as simulations that are performed individually at each step. This study proposed an integrated software-testing framework for simulating all artifacts of the FPGA software development simultaneously and evaluating whether all artifacts work correctly using common oracle programs. This method also generates a massive number of meaningful simulation scenarios that reflect reactor shutdown logics. The experiment, which was performed on two FPGA software implementations, showed that it can dramatically save both time and costs.

• 한국IT서비스학회지
• /
• 제10권3호
• /
• pp.189-201
• /
• 2011

Feature models are widely used to model commonalities and variabilities among products during software product line development. Feature configurations are generated by selecting the features to be included in individual products. Automated tools to identify errors or inconsistencies in the feature models and configurations are essential to successful software product line engineering. This paper proposes a verification technique and tool based on semantic web technologies such as OWL, SWRL and Protege API. This approach checks the feature model and configuration based on predefined rules and provides information on existence of errors as well as the kinds of those errors. This approach is extensible due to ease of rule modification and may be easily applied to other environments because semantic web technologies can be easily integrated with other programming environments. This paper demonstrates how various semantic web-related technologies can support automatic verification of one kind of software development artifact, the feature model.

• 시스템엔지니어링워크숍
• /
• 통권1호
• /
• pp.9-14
• /
• 2003

The paper aims at presenting a systematic approach process and a method of requirement validation and system verification. Validation is applied during concept development to ensure conceptual validity, requirements validity, and design validity. Verification work is applied subsequent to the design work on test articles and early production items to produce evidence that the design solutions do, in fact, satisfy th requirements. In this paper, we present a requirements validation model and a system verification model. This models are applied to the development of TTX(Tilting Train Express)system with systems engineering tool, CORE.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 추계학술발표회요약집
• /
• pp.80-80
• /
• 1998

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2019년도 춘계학술대회
• /
• pp.464-466
• /
• 2019

원자력 발전소에 사용되는 제어기는 높은 신뢰도를 요구한다. 한국형 디지털 원자력 발전소인 APR1400 (Advanced Power Reactor 1400)을 비롯하여, 과거 많은 원자력 발전소에 FPGA (Field Programmable Gate Array)와 CPLD (Complex Programmable Logic Device, 이하 FPGA로 통칭)가 포함된 제어기가 적용되고 있다. 적용 초기에는 FPGA를 일반적인 IC (Integrated Circuit)처럼 기기검증 및 성능시험으로만 검증을 하였다. 이후 90년대에 들어 FPGA검증에 대한 연구가 시작되면서, FPGA가 칩이 되기 전까지를 소프트웨어로 간주하여 IEEE 1012-2004를 적용하여 소프트웨어 확인 및 검증을 하였다. 현재에는 유럽표준인 IEC 62566을 적용하여 많은 검증을 하고 있다. 이 방법은 현재까지 가장 현명한 방법으로 평가 받고 있다. 이유는 기존의 검증 방법에서 문제가 되었던 SoC (System on Chip)의 특징을 검증하는 방법을 충분히 적용하였기 때문이다. 하지만, IEC 62566은 유럽 표준으로 아직 미국에서는 채택을 하지 않고 있으며, FPGA에 대해서는 IEEE 1012를 적용하는 것을 유지하고 있다. IEEE 1012-2004나 IEC 62566은 기술 표준으로 실무에서는 다양한 방법을 적용하여 기술 표준을 충족시켜서 적용하고 있다. 이 논문에서는 SoC의 검증 방법이 적용된 원자력 안전등급 FPGA에 대한 검증 방법의 절차 및 중요사항에 대해 설명하고자 한다.

• 대한전자공학회논문지SP
• /
• 제41권3호
• /
• pp.93-100
• /
• 2004

본 논문은 등록 지문의 정보를 융합하여 보다 많은 정보를 이용함으로써 지문 검증의 성능을 향상시키는 방법을 제안한다. 크기가 작은 센서는 많은 응용 분야에 적용시킬 수 있는 장점을 가지지만, 실제 지문을 입력 받는 센서 입력창의 물리적인 크기가 작기 때문에 지문 정보를 충분히 입력받지 못할 뿐만 아니라 등록된 지문 영상과 검증을 위해 입력된 지문 영상 사이의 공통영역이 축소되어 전체적인 시스템의 성능을 저하시키는 문제점이 있다. 이러한 문제점은 등록 영상을 여러 장 받아 그 정보를 융합하여 보다 큰 지문 영역을 표현하도록 함으로써 해결할 수 있다. 이를 위해서는 등록 영상간의 좌표계를 정밀하게 일치시키는 과정이 무엇보다 중요하다. 본 논문에서는 먼저 등록영상 사이의 대응 특징점 쌍을 이용하여 거칠게 일치시킨 다음, 융선의 정보를 포함하는 Distance Map을 이용하여 정밀하게 일치시키는 방법을 사용하였다. 정밀하게 일치된 좌표계를 통해 각각의 등록 지문들의 특징 정보는 하나의 큰 등록 정보로 형성된다. 제안된 방법을 통해 형성된 특징 융합 정보는 보다 넓은 면적의 지문을 표현할 수 있기 때문에 센서 입력창이 작아서 생기는 문제를 극복함으로써 지문 인식기의 성능을 향상시킨다. 본 논문의 실험 견과는 제안한 융합 특징 정보를 이용하는 방법이 그렇지 않은 방법보다 지문 인식기의 성능을 월등하게 향상시킴을 보여준다.

• 한국생산제조학회지
• /
• 제22권4호
• /
• pp.730-734
• /
• 2013

The dynamic simulation of machine tools and motion control systems has been widely used for optimization, design verification, control design, etc. There are three main streams in dynamic simulation: structural dynamic analysis based onthe finite element method, dynamic motion analysis based on equations of motion, and control system analysis based on transfer functions. Generally, one of these dynamic simulation methods is chosen and employed for specific purposes. In this study, an integrated dynamic simulation is introduced, in which the structure, motion, and control dynamics are combined together. Commercially well-known software is used in the integrated dynamic simulation: ANSYS, ADAMS, and Matlab/Simulink. Using the integrated dynamic simulation, the dynamics of a magnetic bearing stage is analyzed and the causes of oscillation and noise are identified. A controller design for suppressing a flexible dynamic mode is carried out and verified through the integrated dynamic simulation.

• 한국물환경학회지
• /
• 제28권6호
• /
• pp.866-881
• /
• 2012

Han River is a complex water system consisting of many lakes. The water quality of Lake Paldang is significantly affected by incoming flows, which are the South and North branches of the Han River, and the Kyungan Stream. In order to manage the water quality of the Lake Paldang, we should consider the entire water body where the incoming flows are included. The objectives of this study are to develop an integrated river and lake modeling system for Han River system using a multidimensional dynamic model and evaluate the model's performance against field measurement data. The integrated model was calibrated and verified using field measurement data obtained in 2007 and 2008. The model showed satisfactory performance in predicting temporal variations of water level, flow rate and temperature. The Root Mean Square Error (RMSE) for water temperature simulation were $0.88{\sim}2.13^{\circ}C$ (calibration period) and $1.05{\sim}2.00^{\circ}C$ (verification period) respectively. And Nash-Sutcliffe Efficiency (NSE) for water temperature simulation were 1089~0.98 (calibration period) and 0.90~0.98 (verification period). Utilizing the validated model, we analyzed the spatial and temporal distributions of temperature within Han River system. The variations of temperature along the river reaches and vertical thermal profiles for each lakes were effectively simulated with developed model. The suggested modeling system can be effectively used for integrated water quality management of water system consisting of many rivers and lakes.