• 한국항행학회논문지
• /
• 제23권5호
• /
• pp.361-366
• /
• 2019

항공전자시스템을 개발하는 과정에서 개별 구성품의 기능 및 연동 검증을 위한 통합시험환경(SIL; system integration laboratory)을 구성한다. 이러한 SIL의 구성품 개별 검증 및 시스템 통합 시 각 탑재장비의 기능 및 연동을 모의하는 SIL 모델을 개발하여 이용한다. SIL 모델은 실 장비와 연동되기 전 연동통제문서(ICD; interface control document)에 정의된 모든 데이터에 대해 선 검증되어야하며 ICD 변경 혹은 기능 변경 발생 시에도 재 검증되어야한다. 하지만 SIL모델의 검증의 수동 수행 시 개별 SIL모델의 검증에도 상당한 시간이 소요된다. 이러한 시간상의 문제로 ICD 변경이나 일부 기능 변경 시에는 SIL 모델의 영향성을 판단하여 선택적 회귀시험이 이루어지곤 한다. 본 논문에서는 이러한 SIL 모델의 검증에 소요되는 시간을 최소화하여 회귀시험 수행 시 모든 시험항목의 검증이 가능하도록 SIL 모델 검증 자동화 방안을 설계하고 설계에 따른 SIL 모델 검증 자동화도구를 개발하여 SIL 모델 검증자동화 설계의 유용성을 검증하였다.

• 한국의학물리학회:학술대회논문집
• /
• 한국의학물리학회 2003년도 제27회 추계학술대회
• /
• pp.64-64
• /
• 2003

Objectives: Patient dose verification is clinically the most important parts in the treatment delivery of radiation therapy. The three dimensional(3D) reconstruction of dose distribution delivered to target volume helps to verify patient dose and determine the physical characteristics of beams used in intensity modulated radiation therapy(IMRT). We present Beam Intensity Scanner(BInS) system for the pre treatment dosimetric verification of two dimensional photon intensity. The BInS is a radiation detector with a custom made software for relative dose conversion of fluorescence signals from scintillator. Methods: This scintillator is fabricated by phosphor Gadolinium Oxysulphide and is used to produce fluorescence from the irradiation of 6MV photons on a Varian Clinac 21EX. The digitized fluoroscopic signals obtained by digital video camera will be processed by our custom made software to reproduce 3D relative dose distribution. For the intensity modulated beam(IMB), the BInS calculates absorbed dose in absolute beam fluence, which are used for the patient dose distribution. Results: Using BInS, we performed various measurements related to IMRT and found the followings: (1) The 3D dose profiles of the IMBs measured by the BInS demonstrate good agreement with radiographic film, pin type ionization chamber and Monte Carlo simulation. (2) The delivered beam intensity is altered by the mechanical and dosimetric properties of the collimating of dynamic and/or static MLC system. This is mostly due to leaf transmission, leaf penumbra, scattered photons from the round edges of leaves, and geometry of leaf. (3) The delivered dose depends on the operational detail of how to make multileaf opening. Conclusions: These phenomena result in a fluence distribution that can be substantially different from the initial and calculative intensity modulation and therefore, should be taken into account by the treatment planing for accurate dose calculations delivered to the target volume in IMRT.

• 한국산업융합학회 논문집
• /
• 제22권6호
• /
• pp.785-795
• /
• 2019

This paper is a study on the modeling of the quantity estimation model for offshore plant Material handling equipment in FEED(Front End Engineering Design) verification stage using system engineering approach which is an engineering design methods. The relevant engineering execution procedure is not systemized although the operation method and Material handling equipment selection with weight and space constraints is a key part of the FEED. Using the system engineering process, the stakeholder requirements analysis process, the system requirements analysis, and the final system architecture design were sequentially performed, and the process developed through the functional development diagram and Requirement traceability matrix (RTM) was verified. In addition, based on the established process, we propose a Material handling quantity estimation model and Quantity calculation verification Table that can be applied at the FEED verification stage and we verify the applicability through case studies.

• 전자공학회논문지CI
• /
• 제43권4호
• /
• pp.39-49
• /
• 2006

본 논문에서는 차세대 입출력 인터페이스인, PCI 익스프레스 컨트롤러의 기능 검증을 위해 효율적인 검증 환경을 제안하였다. 검증 환경은 벡터 생성 부분, 테스트 벤치, 그리고 두개의 메모리로 구성된다. 이러한 효율적인 검증 환경을 제대로 동작시키기 위한 명령어 세트를 정의하였다. 이 명령어는 어셈블리 구조를 가지며, PCI 익스프레스의 모든 프로토콜을 지원하며, 설계된 PCI 익스프레스 컨트롤러를 검증하기 위한 모든 시나리오를 제공하도록 정의되었다. 또한 본 논문에서는 랜덤 벡터 생성 부분, 시뮬레이션 부분, 그리고 비교 엔진으로 구성된 랜덤 검증 환경을 제안하였다. 본 랜덤 테스트 검증 환경에서 수행된 결과는 일반적인 기본 동작 검증과 설계 기반 검증에서 찾지 못한 특수 경우의 에러도 발견 할 수 있다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(2)
• /
• pp.325-328
• /
• 2002

In this paper, we present a SystemC model of a 32-Bit RISC core wi)ich is based on the ARMTTDMI architecture. The RISC core model was first modeled in C for architecture verification and then refined down to a level that allows concurrent behavior lot hardware timing using the SystcmC class library. It was driven in timed functional level that uses handshake protocol. It was compiled using standard C++ compiler. The functional simulation result was verified by comparing the contents of memory, the result of execution with the result from the ARMulator of ADS(Arm Developer Suite).

• 전기전자학회논문지
• /
• 제18권4호
• /
• pp.566-571
• /
• 2014

A safety class field programmable gate array based system in nuclear power plant has been developed to improve the diversity. Testbench is necessary to satisfy the technical reference, IEC-62566, for verification and validation of register transfer level code. We use the open verification methodology(OVM) developed by standard body. We show that our testbench can use random input for test. And also we show that reusability of block level testbench for the integration level testbench, which is very efficient for large scale system like nuclear reactor protection system.

• International Journal of Computer Science & Network Security
• /
• 제24권4호
• /
• pp.192-196
• /
• 2024

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocessors setup. Memory is considered coherent if a read operation provides same data written in the last write operation. The problem is addressed in the literature using different algorithms. The big question is on the correctness of such a distributed algorithm. Formal verification is the principal term for a group of techniques that routinely use an analysis that is established on mathematical transformations to conclude the rightness of hardware or software behavior in divergence to dynamic verification techniques. This paper uses UPPAAL model checker to model the dynamic distributed algorithm for shared virtual memory given by K.Li and P.Hudak. We analyse the mechanism to keep the coherence of memory in every read and write operation by using a dynamic distributed algorithm. Our results show that the dynamic distributed algorithm for shared virtual memory partially fulfils its functional requirements.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.56-58
• /
• 2011

원자력 발전소의 오작동이나 사고는 인명이나 재산상의 큰 피해를 초래하므로 엄격한 안전 기준을 적용하고 있다. 따라서 원자력 발전소의 안전성과 관련된 원전용 제어기는 높은 수준의 신뢰도와 안전도가 요구된다. 이를 위해 디지털 방식의 제어기에 PLC 방식의 제어기와 PLD 방식의 제어기를 사용하여 다양성을 얻고 있다. 본 논문에서는 PLD 방식의 원전용 트립제어기의 Functional Verification을 위하여 RTL 수준의 설계에 대한 Functional Coverage 분석을 사용하였다. 테스트벤치는 System Verilog에서 제공되는 클래스에 기반한 구조적 테스트벤치를 작성하여 사용하였다.

• 한국콘텐츠학회논문지
• /
• 제10권6호
• /
• pp.197-204
• /
• 2010

본 논문은 기능성 소재 게임 제작을 통해서 기능성 게임 기획 접근에 대한 프로세스 사례를 연구한 기획 교육실습에 관한 내용이다. 주요 연구 내용은 순기능 소재의 게임 제작을 통해서 게임 직무의 중요한 부분 중에 하나인 기획에 대한 교육실습 과정을 '기능성 게임기획 프레임워크'로 구성하였으며 실제 기능성 게임 제작을 통해서 제안된 프레임워크의 내용을 검증해 보았다. 본 논문의 목적은 순기능이란 목적을 지닌 기능성 게임기획에 대한 접근 과정은 일반적인 접근 프로세스와 달리 단계별 정량적인 접근 기준이 필요하다는 전제 하에 기획 접근 프로세스를 단계별로 제시하는 것이다. 이는 향후, 기능성 게임 교육의 참고 자료로서 활용될 수 있다.

• 한국의류학회지
• /
• 제45권2호
• /
• pp.305-316
• /
• 2021

In this study, the effect of wearing functional compression pants is verified using a lower-limb wearable robot through a bio-signal analysis and subjective fit evaluation. First, the compression area to be applied to the functional compression pants is derived using the quad method for nine men in their 20s. Subsequently, functional compression pants are prepared, and changes in Electroencephalogram (EEG) and Electrocardiogram (ECG) signals when wearing the functional compression and normal regular pants inside a wearable robot are measured. The EEG and ECG signals are measured with eyes closed and open. Results indicate that the Relative alpha (RA) and Relative gamma wave (RG) of the EEG signal differ significantly, resulting in increased stability and reduced anxiety and stress when wearing the functional compression pants. Furthermore, the ECG analysis results indicate statistically significant differences in the Low frequency (LF)/High frequency (HF) index, which reflect the overall balance of the autonomic nervous system and can be interpreted as feeling comfortable and balanced when wearing the functional compression pants. Moreover, subjective sense is discovered to be effective in assessing wear fit, ease of movement, skin friction, and wear comfort when wearing the functional compression pants.