• 한국컴퓨터정보학회논문지
• /
• 제12권6호
• /
• pp.123-130
• /
• 2007

본 논문은 객체모델에서 표현되는 객체와 관련성을 형식명세의 상태와 오퍼레이션 도메인으로의 변환 규칙을 제시하였다. 즉 정보모델의 요소인 객체와 관련성을 형식명세 표현에서 상태영역으로 변환하였다. 동적모델의 상태, 이벤트, 행위를 오퍼레이션 영역으로 변환하였다. 비형식적인 객체모델을 형식 명세 언어로 변환하므로써 객체모델을 정형화된 방법으로 검증할 수 있다. 검증과정을 통해 소프트웨어 개말 초기단계에서 모델링 과정의 편리함과 신뢰성을 제공할 수 있다 또한 검증된 모델과 사용자 요구사항 사이의 일관성을 위해 시뮬레이션 도구를 구현하였다. 시뮬레이션 도구는 적합한 모델의 선택과 검증이 가능하도록 하므로 소프트웨어 개발비용과 노력, 개발 시간을 최소화할 수 있다.

• 항공우주시스템공학회지
• /
• 제13권3호
• /
• pp.40-47
• /
• 2019

본 논문은 무인항공기 체계(UAS; unmanned aerial system)의 비행체 탑재장비 및 지상에서 운용하는 장비의 연동 검증을 위한 체계통합실험실(SIL; system integration laboratory) 및 체계통합시험(SIT; system integration test)의 환경 구축 및 이를 통한 검증방법에 대하여 다룬다. SIL 내 구축된 지상통제체계, 데이터링크체계, 비행체 탑재장비, 임무장비(EO/IR, SAR) 등과 같은 부체계간의 인터페이스 환경 및 모의 비행을 통한 체계 운용로직의 검증방법과 실험실 레벨에서의 검증이 완료된 각 부체계를 실제 시험 환경에서 검증하는 방법에 대해 기술한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.185-187
• /
• 2005

The reactor protection system is the most important function for the safe operation of nuclear powerplants (NPPs) in that such system protects a nuclear reactor tore whose damage can cause an enormous disaster to the nuclear facility and the public. A digital reactor protection system (DRPS) is being developed in KAERI for use in the newly-constructed NPPs and also for replacing the existing analog-type reactor Protection systems. In this paper, an software verification and validation (V&V) activities for DRPS, which are independent of the DRPS development processes, are described according to the software development life cycle. The main activities of DRPS V&V processes are the software planning documentations, the verification of software requirements specification (SRS) and software design specification (SDS), the verification of codes, the tests of the integrated software and system. Moreover, the software safety analysis and the software configuration management are involved in the DRPS V&V processes. All of the V&V activities are described, in detail, in this paper.

• 디지털콘텐츠학회 논문지
• /
• 제7권3호
• /
• pp.193-197
• /
• 2006

본 논문에서는 무선 통신망과 향후 발전 가능성이 예상되는 가상현실 기술을 이용하여 특수환경에 적용되는 관제분야에서 사고상황 검증 및 사후 교육용도로 적용이 가능한 가상현실 시뮬레이션 기법을 이용한 관제상황 검증 시스템을 제안하였다. 또한, 제안 시스템의 정의와 동작원리를 살펴보고 제안 시스템에서 요구되는 기술사항에 관하여 분석하였다. 본 논문에서 제안한 무선 통신망을 활용한 관제상황 검증 시스템은 이동 전동차량의 기관실 모니터링 뿐만 아니라 의료분야 혹은 특수 위험물 처리를 수행하는 관제실에서도 그 적용이 가능하리라 예상된다.

• Journal of Astronomy and Space Sciences
• /
• 제31권1호
• /
• pp.67-72
• /
• 2014

The next generation small satellite-1 (NEXTSat-1) program has been kicked off in 2012, and it will be launched in 2016 for the science missions and the verification of space core technologies. The payloads for these science missions are the Instrument for the Study of Space Storms (ISSS) and NIR Imaging Spectrometer for Star formation history (NISS). The ISSS and the NISS have been developed by Korea Advanced Institute of Science and Technology (KAIST) and Korea Astronomy and Space science Institute (KASI) respectively. The ISSS detects plasma densities and particle fluxes of 10 MeV energy range near the Earth and the NISS uses spectrometer. In order to verify the spacecraft core technologies in the space, the total of 7 space core technologies (SCT) will be applied to the NEXTSat-1 for space verification and those are under development. Thus, the operation modes for the ISSS and the NISS for space science missions and 7 SCTs for technology missions are analyzed for the required operation time during the NEXTSat-1's mission life time of 2 years. In this paper, the operational concept of the NEXTSat-1's science missions as well as the verification of space core technologies are presented considering constraints of volume, mass, and power after launch.

• 시스템엔지니어링학술지
• /
• 제16권2호
• /
• pp.1-15
• /
• 2020

Nuclear power plants in South Korea are operated to cover the baseload demand. Hence they are operated at 100% rated power and do not deploy power tracking control except for startup, shutdown, or during transients. However, as the contribution of renewable energy in the energy mix increases, load follow operation may be needed to cover the imbalance between consumption and production due to the intermittent nature of electricity produced from the conversion of wind or solar energy. Load follow operation may be quite challenging since the operators need to control the axial power distribution and core reactivity while simultaneously conducting the power maneuvering. In this paper, a systems engineering approach for multi-physics load follow simulation of APR1400 is performed. RELAP5/SCDAPSIM/MOD3.4/3DKIN multi-physics package is selected to simulate the Korean Advanced Power Reactor, APR1400, under load follow operation to reflect the impact of feedback signals on the system safety parameters. Furthermore, the systems engineering approach is adopted to identify the requirements, functions, and physical architecture to provide a set of verification and validation activities that guide this project development by linking each requirement to a validation or verification test with predefined success criteria.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2006년도 춘계학술대회 논문집
• /
• pp.453-454
• /
• 2006

This paper describes a processing verification technique for developing about end-milling cutters. Developed software is processing verification module for manufacturing. By using cutting simulation method, we can obtain center points of finding wheel via Boolean operation between a grinding wheel and a cylindrical workpiece. The obtained CL data can be used for calculating NC data. After then, we can simulate by using designed grinding machine and NC data. This research has been implemented on a commercial CAD system by using the API function programming. The operator can evaluate the cutting simulation process and reduce the time of design and manufacturing.

• 한국정밀공학회지
• /
• 제18권2호
• /
• pp.79-83
• /
• 2001

A verification of multi-spindles drilling NC data is presented. The drilling of multi-spindles can offer productivity over three times as fast as that of single spindle. The most important things in machining tube sheet are precision of hole position and machining time. The drilling of multi-spindles has difficulties in controlling many motors to drive spindles and assign a correspondent number to each spindles. Multi-spindles drilling has different codes from CNC milling ; many subroutines, assignment of spindle, and so on. The conventional method, which inspects the NC code of the drilling, is to drill holes on a thin plate or tube sheet previously. The method results in low productivity because it consumed long machining time and welding for correction. This paper describes details of multi-spindles NC code and operation of multi-spindles drilling machine. A verification software of the multi-spindles drilling NC code is developed on the details.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 하계학술대회 논문집 B
• /
• pp.842-844
• /
• 2004

The Back Up Breaker and Making Switch are very important equipments for the short circuit test facility, and contacts are the most important parts of the above switches. There are very many kind of contacts according to switches characteristic and should be done the verification test before use, especially development contacts. This study describes the class of switches, arc chute, material of whole contacts and essential test for verification. The essential test for verification are dielectric test, mechanical operation test, short-time withstand current test, load current breaking test, and short-circuit making current test etc.

• 대한전자공학회논문지SD
• /
• 제43권2호
• /
• pp.96-104
• /
• 2006

본 논문에서는 VLSI구현을 위한 CAN 프로토콜 컨트롤러의 최적화된 구조를 제안하였으며, 제안된 구조를 이용하여 VLSI로 구현하였다. 또한 많은 시간이 소요되는 검증의 문제점을 보완하기 위하여 3단계 검증기법을 제안하였으며 이를 통하여 빠른 속도의 검증이 가능하게 되었다. 제안된 구조는 기존의 CAN 프로토콜 컨트롤러보다 적은 사이즈의 게이트 수를 갖고 있을 뿐만 아니라 호스트 프로세서와의 연결이 용이하게 구성되어 있기 때문에 비용 및 효율성에서 장점을 갖고 있고, 제안된 3단계 검증기법은 반복되는 검증의 수를 줄임으로써 최적화된 검증을 수행하도록 구성되어 있기 때문에 빠른 속도의 검증이 가능하다. 설계된 CAN 프로토콜 컨트롤러는 0.35마이크론 CMOS공정을 이용하여 제작되었다.