• Journal of Platform Technology
• /
• 제10권4호
• /
• pp.62-69
• /
• 2022

드론과 무인항공기에 탑재되는 비행제어시스템은 설계단계에서부터 철저한 검증이 필수적이며, 이러한 검증은 비행제어 통합시험환경을 통해 이루어진다. 일반적으로 비행제어컴퓨터의 내부 상태를 실시간으로 모니터링하기 위해서는 별도의 디버거를 이용한다. 실시간 메모리 참조 및 Trace가 가능한 Emulator는 비교적 고가이고, JTAG Emulator은 실시간 동작이 불가능 하거나 현재의 고속 프로세서의 처리속도를 따라잡을 수 없는 한계가 있다. 본 논문에서는 NUTTX 기반 드론 비행조종컴퓨터 프로세서의 내부 모니터링 소프트웨어를 개발한 결과를 기술하였으며, 기능시험을 통해 그 기능이 정상적으로 동작되는 것을 확인할 수 있었다. 본 연구 결과는 상용 Debugger와 비교하여 제공되는 기능은 제한적이지만, 예산이 제한적인 상황에서 본 시스템을 활용하여 비행제어시스템 검증에 충분히 사용할 수 있을 것으로 판단된다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권8호
• /
• pp.2366-2380
• /
• 2024

In this study, a high-speed template matching system is proposed for wafer-vision alignment. The proposed system is designed to rapidly locate markers in semiconductor equipment used for wafer-vision alignment. We optimized and implemented a template-matching algorithm for the high-speed processing of high-resolution wafer images. Owing to the simplicity of wafer markers, we removed unnecessary components in the algorithm and designed the system using a field-programmable gate array (FPGA) to implement high-speed processing. The hardware blocks were designed using the Xilinx ZCU104 board, and the pyramid and matching blocks were designed using programmable logic for accelerated operations. To validate the proposed system, we established a verification environment using stage equipment commonly used in industrial settings and reference-software-based validation frameworks. The output results from the FPGA were transmitted to the wafer-alignment controller for system verification. The proposed system reduced the data-processing time by approximately 30% and achieved a level of accuracy in detecting wafer markers that was comparable to that achieved by reference software, with minimal deviation. This system can be used to increase precision and productivity during semiconductor manufacturing processes.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권7호
• /
• pp.265-274
• /
• 2019

무기체계 소프트웨어 개발 시 수행하는 신뢰성 시험은 크게 정적 검증과 동적 검증으로 구분된다. 정적 검증에서는 소프트웨어 코드를 수행시키지 않고 코딩 규칙 점검, 취약점 점검, 소스 코드 메트릭 점검을 수행하고, 동적 검증에서는 요구 사항을 기반으로 실제 소프트웨어를 실행시켜 기능을 검증하고 코드 실행률을 측정한다. 이러한 정적/동적 검증의 목적은 소프트웨어에 존재하는 결함을 발견하기 위한 것이다. 그러나 현재의 무기체계 소프트웨어 신뢰성 시험만으로는 여전히 탐지할 수 없는 결함들이 존재한다. 본 논문에서는 소프트웨어에서 발생할 수 있는 결함에 대해 무기체계 신뢰성 시험의 정적 검증과 동적 검증으로 탐지를 할 수 있는지를 사례실험을 통하여 분석 한다. 그 결과로 현재의 정적 검증과 동적 코드 커버리지 측정에서 더 나아가 무기체계 신뢰성 시험, 특히 동적 시험의 개선방안으로 연결하고자 한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제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등급의 전자식 주차 브레이크 양산 프로젝트의 전기전자시스템 요구사항 검증에 모델검증을 적용함으로써 전기전자시스템 요구사항 검증 시 모델검증의 효율성을 기술한다.

• 한국정보통신학회논문지
• /
• 제25권2호
• /
• pp.259-266
• /
• 2021

USB 버스는 편리하게 사용할 수 있고 빠르게 데이터를 전송하는 장점이 있어서, FPGA 개발보드와 PC 사이의 표준적인 인터페이스이다. 본 논문에서는 Cypress FX3 USB 3 브릿지 칩에 대한 slave FIFO 인터페이스를 사용하여 FPGA 검증 시스템을 구현하였다. slave FIFO 인터페이스 모듈은 FIFO 구조의 호스트 인터페이스 모듈과 마스터 버스 제어기와 명령 해독기로 구성되며, FX3 브릿지 칩에 대한 스트리밍 데이터 통신과 사용자 설계 회로에 대한 메모리 맵 형태의 입출력 인터페이스를 지원한다. 설계 검증 시스템에는 Cypress FX3 칩과 Xilinx Artix FPGA (XC7A35T-1C5G3241) 칩으로 구성된 ZestSC3 보드가 사용되었다. C++ DLL 라이브러리와 비주얼 C# 언어를 사용하여 개발한 GUI 소프트웨어를 사용하여, 사용자 설계 회로에 대한 FPGA 검증 시스템이 다양한 클록 주파수 환경에서 올바로 동작함을 확인하였다. 설계한 FPGA 검증 시스템의 slave FIFO 인터페이스 회로는 모듈화 구조를 갖고 있어서 메모리맵 인터페이스를 갖는 다른 사용자 설계 회로에도 응용이 가능하다.

• 컴퓨터교육학회논문지
• /
• 제7권6호
• /
• pp.129-139
• /
• 2004

C4I 시스템과 같이 신뢰성이 강조되는 시스템의 개발에 있어 정형기법의 도입은 개발 과정에서 나타나는 결과물에 대한 검증을 가능케 함으로서 올바른 시스템을 개발하고 있다는 확신을 개발자와 의뢰자 모두에게 기공해준다. 본 논문은 엄밀한 검증이 필요한 컴포넌트를 설계할 때 사용될 수 있는 컴포넌트의 정형명세 기법과 이에 기반한 테스트 방법을 논한다. 특히 상태기반의 기능명세에 대해 미약선조건을 이용하여 분해하는 방법과 이 과정을 통해 생성된 하위명세에 대한 블랙박스 테스트케이스를 생성시키는 방법을 제시한다.

• 항공우주기술
• /
• 제2권2호
• /
• pp.96-104
• /
• 2003

정지궤도 인공위성의 추진시스템은 위성발사에서부터 모든 임무궤도의 자세제어와 마지막 임무단계인 폐기궤도 기동을 위한 다양한 속도증분을 제공한다. 이러한 추진시스템은 위성제작사에 따라 매우 다양하게 구성되고 있으며 버스체마다 사용되는 추력기 또한 매우 다양하다. 따라서 각 정지궤도위성 제작사에서는 각각의 추진시스템에 맞는 모든 궤도 관련 임무를 계획하고 검증하는 임무해석소프트웨어를 개발하고 있다. 이러한 범용화된 임무해석소프트웨어를 개발하기 위하여 다양한 추력기 데이터를 검토하였고 이를 토대로 일반화된 추력기 모델링식을 구축하였다.

• 대한임베디드공학회논문지
• /
• 제2권4호
• /
• pp.260-273
• /
• 2007

The wireless sensor network (WSN) nodes are required to operate for several months with the limited system resource such as memory and power. The hardware platform of WSN has 128Kbyte program memory and 8Kbytes data memory. Also, WSN node is required to operate for several months with the two AA size batteries. The MAC, Network protocol, and small application must be operated in this WSN platform. We look around the problem of memory and power for WSN requirements. Then, we propose a new computing model of system software for WSN node. It is the Atomic Object Model (AOM) with Dual Priority Scheduling. For the verification of model, we design and implement IEEE 802.15.4 MAC protocol with the proposed model.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.19-21
• /
• 2002

Writing requirements in formal notation for a safety-critical system can improve software quality and reduce the errors that may arise later on in the software development life cycle. In this paper, we propose a formal specification approach used to describe the nuclear control system. The approach is based on the existing AECL approach that was the only formal specification technique applied to nuclear control systems in the past. Although the approach is AECL-based, the complex descriptions of certain requirements have been reduced by using different specification techniques. We discuss the differences and how the proposed approach provides not only specification but also verification environment.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2017년도 제56차 하계학술대회논문집 25권2호
• /
• pp.135-136
• /
• 2017

When driving at night time environment, the whole body of transports does not visible to us. Due to lack of light conditions, there are only two options, which is clearly visible their taillights and break lights. To improve the recognition correctness of vehicle detection, we present an approach to vehicle detection and tracking using finding contour of the object on binary image at night time. Bilateral filtering is used to make more clearly on threshold part. To remove unexpected small noises used morphological opening. In verification stage, paired tail lights are tracked during their existence in the ROI. The accuracy of the test results for vehicle detection is about 93%.