• 항공우주시스템공학회지
• /
• 제16권2호
• /
• pp.13-24
• /
• 2022

항공용 소프트웨어의 규모가 커짐에 따라 기능적 확장, 효율적인 개발 및 코드의 재사용을 위하여 객체지향 기술의 사용이 증가하고 있으나, 그 검증방안은 기존의 절차지향 프로그램 관점으로 수행되고 있다. 본 논문에서는 객체지향 기술의 특징과 객체지향 언어의 기능적 특징에서 파생되는 취약점들을 분석하고 객체지향기술이 적용된 항공용 소프트웨어의 기능 안전 무결성을 보장하기 위한 소프트웨어 개발단계(Design, Coding, Test)별 적용 가능한 검증 방안을 제시한다. 또한, 비행제어 소프트웨어 구현에 사용되는 오픈소스인 PX4에 정적분석 자동화 도구인 LDRA를 적용하여 제시한 단계별 검증 방안 중 정적분석 결과의 의미를 분석하였다.

• 전기전자학회논문지
• /
• 제24권2호
• /
• pp.385-391
• /
• 2020

배전계통에서의 과전류 및 이상 전압 현상은 전력설비에 부담을 줄 뿐만 아니라 수용가에 치명적인 피해를 입힐 수 있다. 그로 인해 실시간 배전계통 시뮬레이터를 활용하여 신속한 고장처리와 정전구간 축소 및 고장복구를 통한 전력공급의 신뢰도를 높이는 배전자동화 관련 연구가 활발히 진행되고 있다. 기존의 디지털 시뮬레이터를 이용한 배전계통 모의시스템은 고가의 설비로 시스템 구축에 제약이 있고 실 배전계통을 통한 검증 또한 불가능하다. 본 논문에서는 배전계통 디지털 시뮬레이터의 계통해석결과를 기반으로 배전자동화용 단말장치와의 연동을 통해 실시간 시뮬레이션 및 기능검증이 가능한 시스템을 개발하였다. 제안한 시스템의 효용성은 실험을 통해 검증하였다.

• 한국산학기술학회논문지
• /
• 제16권12호
• /
• pp.8753-8759
• /
• 2015

터빈 발전 사이클에서의 안정적인 발전 출력 유지관리를 위해서는 검증된 성능 측정 데이터 그룹과 이를 바탕으로 한 발전 출력 성능 계산 절차의 수립이 필요하다. ASME PTC(Performance Test Code)의 성능 계산 절차를 기반으로 본 연구에서는 터빈 출력에 의한 발전기 출력 성능 산정을 위해서 터빈 팽창선 모델과 발전기 출력 측정 데이터의 입력 검증 모델을 구성하였다. 또한 불확실한 측정 데이터에 대한 검증 모델도 구성하였다. 지난 연구에서는 신경회로망과 커널 회귀의 학습 방법을 사용하였으나 본 연구에서는 미측정 데이터에 대한 보완을 하기 위하여 서포트 벡터 머신 모델을 사용하여 발전기 출력 계산 데이터의 학습 모델을 구성하였으며, 학습 모델 구성을 위해서 관련 변수의 선정을 위한 절차와 학습 데이터 구간을 설정하는 알고리듬을 개발하였다. 학습의 결과 오차는 약 1% 범위 안에 있게 되어 추정 및 학습 모델로서 유용함을 입증하였다. 이 학습 모델을 사용하여 측정 데이터 중 상실된 부분에 대한 추정 모델을 구성함으로써, 터빈 사이클 보정 성능 계산의 신뢰성을 향상시킬 수 있음을 검증하였다.

• 한국항공우주학회지
• /
• 제40권5호
• /
• pp.446-453
• /
• 2012

무인기 개발 시 항공전자시스템의 요구도 검증을 위해 통합시험능력을 제공하는 통합시험환경(SIL)을 개발하였다. 개발된 SIL은 유인항공기 SIL이 보유하고 있는 기능들을 기본적으로 제공하며, 각 구성품인 지상제어 모의, 비행체 모의, 비행환경 모의가 폐루프(Closed-Loop)로 연동되는 구조 하에서 시험 데이터의 가시화 및 시험자동화에 중점을 두고 설계되었다. 이로써 무인기의 복잡하고 수많은 요구도가 개발된 SIL을 통해 간편하고 정확하게 검증될 수 있었다. 개발된 SIL은 4단계의 검증과정을 통해 기능 및 성능의 정확성과 신뢰성이 검증되었으며, 무인기 지상체 및 비행체 통합을 위한 체계 SIL에서도 정상 동작함을 확인하였다.

• 스마트미디어저널
• /
• 제7권1호
• /
• pp.37-44
• /
• 2018

임베디드 기기는 시퀀스 제어 기능과 수치연산 기능을 활용하여 제어 프로그램에 따라 산업현장의 기기 등 다양한 자동화 시스템에 활용된다. 현재 임베디드 기기는 기업의 산업현장, 원전, 대중교통 같은 국가기반시설에서 제어 시스템으로 활용되고 있다. 따라서 임베디드 기기를 대상으로 하는 공격은 큰 경제적 손실과 사회적 손실을 야기할 수 있다. 임베디드 기기를 대상으로 하는 공격은 대부분 데이터, 코드 변조로서 제어 프로그램을 대상으로 이루어진다. 산업 자동화 임베디드 기기의 제어 프로그램은 일반적인 프로그래밍 언어와 달리 회로 구조를 표현하기 위하여 설계되었고, 대부분의 산업 자동화 제어 프로그램은 그래픽 기반 언어인 LAD로 설계되어있어 정적분석이 용이하지 않다. 이러한 특징으로 인하여 산업 자동화 제어 프로그램에 대한 취약점 분석 및 보안 관련 연구는 정형 검증, 실시간 모니터링 수준에 그친다. 또한 사전에 취약점을 탐지하고 공격에 대한 대비가 가능한 산업 자동화 제어 프로그램 정적분석 연구는 매우 저조한 실정이다. 따라서 본 연구에서는 산업 자동화 임베디드 프로그램에 대한 정적분석 효율성 증대를 위하여 회로 구조를 표현하기 위해 설계된 산업 자동화 제어 프로그램을 논리식으로 표현하기 위한 방법을 제시한다. 또한 다양한 제조사의 산업 자동화 제어 프로그램을 통합적으로 분석하기 위하여 LLVM IR을 활용한 중간어 변환 기술을 제안한다. LLVM IR을 활용함으로서 동적 분석에 대한 통합분석이 가능하다. 본 연구에서는 해당 방법에 대한 검증을 위하여 S 사(社)의 제어 프로그램을 대상으로 하여 논리식 형태의 중간어로 변환하는 프로그램의 시제품을 개발하였다.

• 품질경영학회지
• /
• 제48권3호
• /
• pp.381-393
• /
• 2020

Purpose: The purpose of this study was to find useful solutions by analyzing causes and results about defects on mechanical drawing notes and provide an automated tool with solutions to mechanical engineers. Methods: The collected data for defects on mechanical drawing notes were from ongoing development and mass production projects. Various measurement methods were used based on the Lean 6 Sigma analysis such as Process analysis, C&E diagram and some statistical analysis. Results: The results of this study are as follows; The results of the Lean 6 Sigma analysis, the validity of the selected indicators for improving drawing notes quality was verified through the verification of cause variables. The strategy established to improve the mechanical drawing notes was reflected as an automated program, and the defects were within a manageable range and achieved target Sigma level. Conclusion: Through the application of the "Mechanical drawing notes automation tool", it is expected to resolve the "Voice of Customer, VOC" and "Voice of Business, VOB".

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 1996년도 춘계학술대회 논문집
• /
• pp.183-187
• /
• 1996

On the machine measuring system composed of touch trigger probes, a DNC module, a CMM module, an analysis module and a man-machine interface unit was developed. Measuring accuracy is affected by working accuracy of the on the machine measuring system. The working accuracy of the system is due to geometric errors of th machine tool, servo errors of feed drives and positioning errors of probes. In order to compensate for the measuring errors due to the working accuracy, a calibration module was developed. The measuring automation system was realized with the on the machine measuring system and an IBM-PC on the machine center through a RS-232C. It turns the machining machine (CMM). The system is used for dimensional checking of machined components. initial job setup, part identification, identification of machining errors due to deflection and wear of tools. cutter run out, and calibration of machine tools. A horizontal machining center equipped with FANUC OMC wre used for verification of the system. The validity and reliability of the system. The validity and reliability of the system were confirmed through a series of experiments with gage blocks, ring gages, comparison measurement with a commercial CMM, and so on.

• 한국항공운항학회지
• /
• 제14권3호
• /
• pp.7-15
• /
• 2006

Aerodynamic analysis of an airfoil in the transonic region was automated in order to enable parametric study by using the journal file of the commercial analysis code FLUENT, pre/post process Gambit and computational mathematics code MATLAB. The automated capability was illustrated via NACA 0012 and RAE 2822 airfoils. This analysis was carried out at Mach numbers ranged from 0.70 to 0.80, angles of attack; 1$^{\circ}$, 2$^{\circ}$ and 4$^{\circ}$, Reynolds numbers; 4.0${\times}$106, 6.5${\times}$106. The analysis results of a pressure coefficient were verified by comparing with the experimental data which were measured in terms of chord length because the pressure coefficient of an airfoil surface is a good estimator of flow characteristics. The results of two airfoils show that this analysis code is useful enough to be used in the design optimization of airfoil.

• 디지털융복합연구
• /
• 제13권6호
• /
• pp.91-103
• /
• 2015

국내 제조업체들은 자사제품의 경쟁력을 높이기 위한 일환으로, 개발공정 CAE 시뮬레이션 시스템 도입과 개발정보의 신속한 전달 및 검색시스템 구현이 절실히 필요한 상황이다. 따라서 본 연구는 기업경영에서 중요한 부문을 차지하고 있는 연구개발 분야를 중심으로 설계자동화, 설계모듈화, 설계표준화, 품질검증 자동화 및 설계 지식정보를 제공하는 통합설계 시뮬레이션 시스템을 구축하여 신제품의 설계완성도 향상을 통한 제조 경쟁력 실현과 고객으로부터 제품의 만족도를 높였다. 또한 본 연구의 결과로 완성된 개발 시뮬레이션 시스템은 초보단계임을 감안하여 신제품을 대상으로 시범 운영을 추진하고 있으며 시범 운영기간 동안 시스템의 보완점을 찾아 개선을 실시하고 시뮬레이션의 유효성을 높이기 위해 각종 실험데이터를 축적하면서 활용도를 높이고 있다. 따라서 본 연구는 세계초일류기업으로 성장하는데 학술적 실무적인 가치가 크다 하겠다.

• 한국항공우주학회지
• /
• 제44권4호
• /
• pp.298-307
• /
• 2016

인공위성의 자세추정은 결정론적 방법과 재귀적인 방법으로 나눌 수 있는데, 이 중 재귀적인 방법으로는 칼만 필터를 사용하여 자세를 추정하는 알고리즘이 널리 사용되고 있다. 초소형 큐브 위성의 경우 많은 탑재체를 실을 수 없기에 최소한의 자세 센서만을 이용해야 하는 제한점이 있다. 미션에 따라 식 기간 및 태양 센서의 데이터 이용이 불가능할 때에도 인공위성의 자세추정은 계속 되어야 인공위성은 임무를 성공적으로 완수할 수 있게 된다. 본 연구에서는 일반적인 인공위성의 자세추정 기법을 기반으로 큐브위성의 동역학과 토크외란을 고려하여 알고리즘을 발전시켜 식 기간에서도 더욱 정확한 자세 추정이 가능하도록 하였다. 제안된 알고리즘은 시뮬레이션을 통해 기존의 자세추정 방법과 비교하여 그 성능을 검증하였다. 또한 위성체가 우주 환경에서 운용되면서 받을 수 있는 다양한 크기의 토크외란에 따른 자세추정 오차를 분석하였다.