• 대한전자공학회논문지SD
• /
• 제43권7호
• /
• pp.38-49
• /
• 2006

본 논문에서는 SoC를 검증 및 테스트하기 위한 새로운 개념의 칩을 제안하고 이를 SwToC(System with Test on a Chip)라 명명한다. SwToC는 SoC의 임베디드 프로세서에 재구성 가능한 로직을 추가하여 칩의 물리적인 결함을 테스트할 수 있을 뿐만 아니라 기존의 기법으로는 수행이 어려웠던 테스트 단계에서의 디자인 검증이 가능하도록 한 칩을 말한다. 제안한 개념의 칩은 고속 검증이 가능하며 테스트를 위해 많은 비용이 소모되는 ATE 가 불필요한 장점을 갖고 있다. 제안한 칩의 디자인 검증 및 테스트 기능을 평가하기 위하여 임베디드 프로세서가 내장된 상용 FPGA를 이용하여 SwToC를 구현하였으며, 구현 결과 제안한 칩의 실현 가능성을 확인하였고 적은 비용의 단말기를 통한 테스트가 가능함은 물론 기존의 검증기법에 비해 고속 검증이 가능함을 확인하였다.

• 융합신호처리학회논문지
• /
• 제12권4호
• /
• pp.309-314
• /
• 2011

시스템의 복잡도가 증가함에 따라 상위수준 추상화에 기반한 시스템수준 설계 및 하드웨어의 기능적 검증을 위한 방법론의 중요성이 부각되고 있으며, Verilog HDL(Hardware Description Language)에 하드웨어 검증기능이 추가된 SystemVerilog를 이용하는 시스템수준의 기능적 검증방법이 각광받고 있다. SystemVerilog는 Verilog HDL의 확장된 형태로 하드웨어 설계언어와 검증언어의 특징을 모두 포함하나, 다중상속을 허용하지 않는다. 본 논문에서는 SystemVerilog 기반의 검증환경과 다중상속을 허용하는 SystemC 의 구성요소를 SystemVerilog DPI(Direct Programming Interface) 및 ModelSim macro를 이용해 결합한 다중상속이 가능한 검증환경을 구성한다. 다중상속이 허용된 검증환경 시스템은 특정부분을 수정 후 재실행으로 DUT(Design Under Test)의 기능 검증을 쉽게 수행할 수 있으며, OOP(Object Oriented programming) 기법을 이용한 코드의 재사용성이 높아 또 다른 DUT의 동작 검증에 재사용할 수 있다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.1465-1469
• /
• 2003

In general satellite verification process, the AOCS (Attitude & Orbit Control Subsystem) should be verified through several kinds of verification test which can be divided into two major category like FBT (Fixed Bed Test) and polarity test. And each test performed in different levels such as ETB (Electrical Test Bed) and satellite level. The test method of FBT is to simulate satellite dynamics with sensors and actuators supported by necessary environmental models in ETB level. The VDS (Vehicle Dynamic Simulator) try to make the real situation as possible as the on-board processor will undergo after launch. The purpose of FBT test is to verify that attitude control logic function and hardware interface is designed as expected with closed loop simulation. The VDS is one of major equipments for performing FBT and consists of software and hardware parts. The VDS operates in VME environments with target board, several commercial boards and custom boards based on the VxWorks real time operating system. In order to make time synchronization between VDS and satellite on-board processor, high reliable semaphore was implemented to make synchronization with the interrupt signal from on-board processor. In this paper, the real-time operating environment used on VDS equipment is introduced, and the hardware and software configurations of VDS summarized in the systematic point of view. Also, we try to figure out the operational concept of VDS and AOCS verification test method with close-loop simulation.

• 대한조선학회논문집
• /
• 제46권1호
• /
• pp.57-68
• /
• 2009

In automotive industries, reusability of product information is increasing through database construction of previous product data. The product data is stored by data quality management in product information systems. For naval ships, have the functional similarity by the ships of the same classification and class, that are built by series. Information of hull structures as well as embarked equipments are similar. So it would be effective to use database systems that are considered product information quality of previous ships in design and production processes. In this paper we discuss product information quality in database construction of naval ship product models. For this, we propose a basic concept and reference model for data quality verification. Based on this concept, A verification guideline is defined and it is applied for the case study of the digital naval ship which was built to the naval ship product model.

• 한국정보통신학회논문지
• /
• 제12권5호
• /
• pp.828-836
• /
• 2008

본 논문에서는 다양한 상호작용을 지원하는 SMIL 2.0 멀티미디어 문서를 확장된 시간 구간 모델에 기반하여 문서의 시간 관계를 검증하는 방법을 제안한다. SMIL 2.0 문서는 기존 SMIL 문서 보다 비동기적인 시간관계의 기술방법을 추가되어 객체간 다양한 상호작용 관계를 제공하지만, 이러한 상호작용 관계에 의한 시간 관계에서 모순이 발생할 가능성이 높다. 그러므로 제안한 검증 방법은 SMIL 2.0 문서를 기존 시간 구간 모델을 확장하여 상호작용 관계를 함수적 관계로 표현하고 객체간 상호작용 관계와 시간 구간을 이용하여 SMIL 문서를 검증한다. 제안한 검증 방법의 적용 예로는 다자간 상호작용 콘텐츠, 온라인 교육 등이다.

• 국제초고층학회논문집
• /
• 제12권3호
• /
• pp.251-262
• /
• 2023

In response to China's "Regulations on the Management of Earthquake Resistance of Building Constructions" on the provision of eight types of important buildings to maintain functional after fortified earthquakes occur, "Guidelines for Seismic Design of post-quake functional buildings (Draft for Review)" distinguishes Class I and Class II buildings, and gives the performance objectives and seismic verification requirements for design earthquakes and severe earthquakes respectively. In this paper, a hospital and a school building are selected as examples to design according to the requirements of fortification of Intensity 8 and 7 respectively. Two design strategies, the seismic isolation scheme and energy dissipation scheme, are considered which are evaluated through elastic-plastic dynamic time-history analysis to meet the requirement of post-quake functional buildings. The results show that the seismic isolation design can meet the requirements in the above cases, and the energy dissipation scheme is difficult to meet the requirements of the "Guidelines" on floor acceleration in some cases, for which the scheme shall be made valid through the seismic resilience assessment. The research in this paper can provide a reference for designers to choose schemes for post-quake functional buildings.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권4호
• /
• pp.167-176
• /
• 2017

자동차 산업이 급격히 발달하면서 각종 인명손실을 예방하기 위한 정책 및 안전장치가 늘어나고 있다. 트렌드의 일환으로 2011년에 차량의 전기전자시스템의 기능안전성을 확보하기 위한 ISO26262 $1^{st}$ edition이 릴리즈 되었으며, 2016년 하반기에 $2^{nd}$ edition이 릴리즈 될 예정이다. ISO 26262에서는 안전 요구사항에 대해 Walk through, 인스펙션, 준정형 검증, 정형 검증을 통해 전기전자시스템 요구사항에 대한 검증을 요구하고 있다. 본 논문에서는 ASIL (Automotive Safety Integrity Level) D등급의 전자식 주차 브레이크 양산 프로젝트의 전기전자시스템 요구사항 검증에 모델검증을 적용함으로써 전기전자시스템 요구사항 검증 시 모델검증의 효율성을 기술한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권1호
• /
• pp.46-61
• /
• 2002

소프트웨어의 개발 단계 중 품질을 결정하는 주요 단계는 요구 명세 단계로 알려져 있다. 따라서, 소프트웨어 개발 업체는 소프트웨어 요구명세서의 분석을 가장 중요한 단계 중 하나로 취급하고 있고, 특히 안전성이 중요한 시스템의 경우에는 시스템을 운영하기 위하여 국내와 국제적인 규제 기관에서는 요구 명세의 분석을 통한 안전성의 입증을 요구한다. 소프트웨어의 요구 명세 분석을 위한 방법 중 인스펙션과 정형 검증이 가장 효과적인 방법으로 알려져 있다. 본 논문에서는 SCR-style의 요구 명세를 정리 증명기인 PVS를 이용하여 정형 검증을 수행하는 방법을 제안하였다. 그리고, 논문에서 제안된 방법으로 실제 월성 원자력 발전소의 정지 시스템의 검증을 수행하였다. 이 시스템은 인스펙션으로 검증된 적은 있으나 정형 검증 방법으로는 증명된 적이 없고, 국내에서 실제 운영되는 산업계시스템에 정형 검증 방법이 적용된 사례는 매우 드물기 때문에 차후 정형 검증 방법을 적용하기 위한 평가로서도 이와 같은 실험적인 적용이 매우 중요하다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2008년도 정기 학술대회
• /
• pp.33-38
• /
• 2008

For the propagation of elastic waves in unbounded domains, absorbing boundary conditions at the fictitious numerical boundaries have been proposed. Paraxial boundary conditions(PBCs) which are kinds of absorbing boundary conditions based on paraxial approximations of the scalar and elastic wave equations not only lead to well-posed problem but also are stable and computationally inexpensive. But the complex mathematical forms of PBCs with partial derivatives complicate the application of those to finite element analysis. In this paper a penalty functional is newly proposed for applying PBCs into finite element analysis and the existence and uniqueness of the extremum of the proposed functional is demonstrated. The numerical verification of the efficiency is carried out through comparing PBCs with a viscous boundary condition.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2004년도 한국우주과학회보 제13권2호
• /
• pp.308-311
• /
• 2004

This paper describes design, implementation and functional test of on-board flight analog video system. Video system is the part of the telemetry system as a means of providing flight vehicle's image data. Adopting analog video transmission technique, we could design and test the system in a short time and implement the prototype model with simpler circuits. As results of the functional test, we have made the verification and validation of two cameras' switching in time, and frequency modulation and demodulation of NTSC color signals successfully.