• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.88-90
• /
• 2001

원자력 발전소 내장형 시스템은 안정성과 신뢰성이 절대적으로 요구되는 Safety-critical 시스템이다. 이러한 시스템의 설계는 모호성이 없는 정형명세 언어로 설계함으로 설계자와 구현자 사이의 모호성 없는 의사전달을 달성할 수 있다. 이러한 특히 원자력 발전소 내장형 시스템의 설계에 있어서 설계자는 그가 설계한 설계를 시험(Validation)하고 검증(Verification)하는 기법을 필요로 하게 된다. 특히 시스템이 복잡해질수록 설계도 내의 오류를 발견하지 못할 가능성이 커진다. 본 논문에서는 시스템이 가질 수 있는 모든 상태를 만들어내어 검사하는 형태의 검증 기법인 정형기법을 통하여 Safety-critical 한 내장형 시스템의 설계를 검증함으로 보다 완벽한 시스템을 설계하는 기법을 제안한다.

• Journal of the Institute of Convergence Signal Processing
• /
• v.11 no.2
• /
• pp.177-182
• /
• 2010

The flow of a universal system-level design methodology consists of system specification, system-level hardware/software partitioning, co-design, co-verification using virtual or physical prototype, and system integration. In the developing process of a hardware component in system, the design phase has been regarded as a phase consuming lots of time and cost. However, the verification phase in which functionality of the designed component is verified has recently been considered as a much important phase. In this paper, the implementation of a verification environment which is based on SystemC infrastructure and verifies the functionality of a hardware component is described. The proposed verification system uses SystemC user-defined channel as communication interface between variables of SystemC module and registers of Verilog module. The functional verification of an UART is performed on the proposed verification system. SystemC provides class library for hardware modeling and has an advantage of being able to design a system consisting hardware and software in higher abstraction level than register transfer level. Source codes of SystemC modules are reusable with a minor adaptation on verifying functionality of another hardware component.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.345-348
• /
• 2001

The paper describes the physical design flow & verification of Digital Video Broadcasting(DVB) compliant satellite receiver chip. It includes problems and issues of earth design flow, verification process for physical layout.

• Proceedings of the KAIS Fall Conference
• /
• 2003.06a
• /
• pp.250-252
• /
• 2003

본 논문에서는 콘벌루션 부호를 사용한 대역확산 방식의 디지틀 통신모뎀을 FPGA를 이용하여 설계 및 검증을 하였다. 대역확산 방식에서의 콘벌루tus부호기(K=3, R=1/2), PN code(128chip) generator와 비터비 디코더를 Xilinx사의 FPGA 디자인 툴인 Xilinx Foundations3.1을 사용하여 VHDL simulation과 timing simulation을 수행하였고, FPGA 회로설계 검증 장비인 EDA-Lab 3000 장비를 사용하여 Xilinx사의 SPARTAN2 2S100PQ208칩에 configuration 한 후 Agilent사의 1681A logic analyzer를 사용하여 설계된 회로의 동작을 검증하였다.

• Computational Structural Engineering
• /
• v.34 no.3
• /
• pp.27-36
• /
• 2021

본 기사에서는 낙석방지울타리의 설계 및 해석에 대하여 설명하였다. 국내에는 50kJ급의 표준 낙석방지울타리가 널리 적용되고 있지만 이보다 더 큰 낙석이 빈번하게 발생하고 있으며 상황에 따라서는 50kJ급보다 작은 낙석에너지에 저항할 수 있는 경제적인 낙석방지울타리도 필요하다. 이를 위하여 낙석방지울타리를 사면의 특성에 맞도록 설계를 하여야 하며 성능을 검증하여야 한다. 이 때 실험적 성능검증은 많은 비용과 시간이 필요함으로 해석적 접근방법을 통하여 경제적인 성능검증을 할 수 있다. 이에 낙석방지울타리에 대한 기존 해석적 연구를 소개하였으며 이와 유사한 방법을 통하여 새로운 낙석방지울타리의 설계 혹은 성능보강 시에 활용할 수 있을 것으로 기대된다.

• Proceedings of the KAIS Fall Conference
• /
• 2001.11a
• /
• pp.117-121
• /
• 2001

기계설계에서 설계의 객관적인 계산치의 도출을 통한 설계검증이 중요한 부분이다. 여기서 우리는 기계요소 및 시스템 설계용 CAE소프트웨어를 이용하여 설계 검증을 해봄으로서 보다 객관적이고 명확한 설계 개선 안을 쉽게 도출할 수 있다는 것을 제시하고자 한다. 구체적 사례로 발전소 등의 유량을 조정하는 Hollow let Valve 구동축 부분의 안전계수를 검토하여 설계적 개선안을 도출시키고 설계자가 설계하는 단계에서 미리 문제점을 쉽게 발견하고 개선하는 방법을 연구한 결과를 정리한 내용은 다음과 같다.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.231.2-231.2
• /
• 2012

원격탐사를 위한 지구관측용 전자광학 카메라는 높은 해상도, 넓은 관측 폭 및 높은 선명도를 제공하기 위하여 부피가 크고 무거우며, 큰 전력을 소모하여, 위성본체의 대부분을 차지하도록 개발된다. 그러나, 달 탐사를 위해 달 궤도선이나 달 착륙선에 장착되는 전자광학 카메라는, 고해상도의 고성능을 가지도록 개발되기 보다는, 다기능의 집적도 높은 소형카메라로 개발되는 것이 일반적이다. 이에 따라, 달 탐사용 다기능 전자광학 카메라 개발을 위한 기술검증을 위하여 지상모델이 개발되었다. 본 카메라는 CMOS 센서를 사용하여 컴팩트하게 설계하였고, 스테레오 영상생성을 위해 두 개의 카메라가 동시에 운영되며, 줌 기능을 구현하여 다양한 조건에서도 영상획득이 가능하도록 설계 되었다. 또한 달 궤도선과 착륙선에서 1D 관측 및 2D 관측이 선택적으로 가능하도록 설계되었다. 개발된 지상모델은 실험실에서 수행하는 통상적인 기능 및 성능시험을 수행하였고, 스테레오 영상의 생성기능 등의 검증을 위하여 야외에서 카메라를 정속으로 회전하며 push broom 방식의 1D 촬영모드에 대한 시험을 수행한다. 또한, 항공촬영을 통해 1D 및 2D 촬영을 수행하여, 영상데이터의 처리 및 스테레오 영상데이터 생성 등의 검증 단계를 거친다. 본 논문 발표에서는 다기능의 전자광학 카메라를 지상에서 동작시켜 실제영상을 뽑아내고, 생성된 데이터를 처리하여, 설계된 카메라의 여러 가지 기능들에 대해 검증하는 방법들에 대해 정리 및 발표한다. 즉, 달 궤도에 맞게 설계된 카메라의 노출시간 등을 조절하고, push broom 방식을 모사하기 위하여 카메라를 정속으로 회전시켜 영상을 획득하여 다양한 카메라의 기능을 검증하였다.

• Journal of Advanced Navigation Technology
• /
• v.23 no.5
• /
• pp.361-366
• /
• 2019

In developing the avionics system, a system integration laboratory (SIL) is established to verify the function and interworking of individual components. In case of individual verification of SIL's components and system integration, a SIL model that simulates the function and interworking of each equipment is developed and used. A SIL model shall be pre-verified against all data defined in the interface control document (ICD) before interworking with the actual equipment and reverified even when the ICD changes or functions change. However, if the verification of the SIL model is performed manually, the verification of the individual SIL model takes considerable time. For this reason, selective regression tests are often performed to determine a impact of SIL models on ICD changes and some functional changes. In this paper, we designed SIL model verification automation method to perform regession test by reducing verification time of SIL model and verify the usefulness of verification automation design by developing SIL model verification automation tool.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.196.2-196.2
• /
• 2012

본 논문은 달착륙선의 개념설계를 위하여 고려한 전력시스템의 설계와 달착륙선의 지상시험모델용 추력기 밸브구동 전원장치 개발에 대해 기술하였다. 달착륙선의 임무특성을 고려하여 전력시스템의 구조를 검토하고, 극한의 온도환경에서 달착륙선의 임무수행을 위하여 필요한 전력에너지를 충분히 공급할 수 있도록 태양전지 배열기와 배터리의 용량, 그리고 전장품의 용량을 설계하였다. 특히 경량의 달착륙선 개발을 위하여 고효율의 태양전지를 이용한 태양전지 배열기와 리튬-이온 배터리를 검토하였다. 극한의 우주환경에서 태양전지배열기의 동작특성을 검토하고 생성될 수 있는 최대 전력을 분석하여 최적의 태양전지 배열기의 면적을 분석하고, 장시간의 월식을 고려하여 배터리의 방전특성에 따른 배터리의 전압특성을 검토하였다. 그리고 달착륙선의 전력시스템 개념설계의 타당성 검토를 위하여 유럽에서 개념설계 중인 달착륙선의 전력시스템 사양과 용량에 대해 비교검토를 수행하였다. 현재 개발중인 지상검증모델용 달착륙선의 전력시스템 설계와 추력기 밸브구동 전원장치의 개발에 관해 기술하였다. 지상검증용 전력시스템은 태양전지배열기의 장착 없이 배터리의 전력만을 사용하여 지상검증모델용 달착륙선의 부하에 전력을 공급할 수 있도록 설계되었다. 달착륙선 지상시험모델의 비행시간과 임무에 따른 부하특성을 고려하여 상용 리튬-이온 배터리의 용량을 선정하였으며, 부하의 전력을 고려하여 간단한 보호회로를 설계하였다. 그리고 지상검증용 전원시스템은 추력기의 밸브구동을 위한 추력기 밸브구동 전원장치, DC/DC 컨버터 전원 모듈, 모니터링 모듈, 그리고 위급상황에서 전원을 차단하기 위한 "Emergency STOP" 모듈로 구성되어 있다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.39 no.3
• /
• pp.291-301
• /
• 2015

Product regulations specify requirements or constraints for products that manufacturers must comply with across the entire product lifecycle, from design and manufacture, through operation and maintenance, to recycling and disposal. This paper suggests a system framework and its essential components for the verification of a pressure vessel design using the industrial standards of Korea. The authors also present methods to generate design template data from legacy design systems and to construct a regulation knowledge base. The proposed framework is demonstrated through experiments involving pressure vessel design verification using a prototype system.