• 정보과학회 논문지
• /
• 제42권7호
• /
• pp.860-867
• /
• 2015

국방 분야에서 무기체계가 첨단화 되면서 무기체계 내장형 소프트웨어의 중요성이 증대되고 있으며, 현대의 전장상황이 네트워크 중심전(NCW)으로 전개됨에 따라 무기체계 내장형 소프트웨어의 신뢰성 및 품질 확보가 중요시 되고 있다. 또한 내장형 소프트웨어의 문제점이 개발단계에서 양산단계로 이관되어 막대한 손실이 발생되고 있으며, 개발업체에서는 소프트웨어 신뢰성 시험에 대한 체계적인 활동이 이루어지지 않고 있다. 본 연구에서는 다양한 소스코드 신뢰성 검증사례 분석을 바탕으로 소프트웨어 소스코드 품질검증체계 확립에 대한 접근방안을 제시한다. 방위사업청의 "무기체계 소프트웨어 개발 및 관리 매뉴얼"의 동적분석 평가항목 및 코드실행률 목표값 기준을 제시하고, 개발업체의 소프트웨어 개발능력 향상을 유도하기 위한 방안을 제안한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• International Journal of Aeronautical and Space Sciences
• /
• 제10권2호
• /
• pp.117-124
• /
• 2009

In the environment where various and complicated threat signals exist, RWR (Radar Warning Receiver), which can warn pilot of the existence of threats, has long been a necessary electronic warfare (EW) system to improve survivability of aircraft. The angle of arrival (AOA) information, the most reliable sorting parameter in the RWR, is measured by means of four-quadrant amplitude comparison direction finding (DF) technique. Each of four antennas (usually spiral antenna) of DF unit covers one of four quadrant zones, with 90 degrees apart with nearby antenna. According to the location of antenna installed in helicopter, RWR is subject to signal loss and interference by helicopter body and structures including tail bumper, rotor blade, and so on, causing a difficulty of detecting hostile emitters. In this paper, the performance degradation caused by signal interference by tail rotor blades has been estimated by measuring amplitude video signals into which RWR converts RF signals in case a part of antenna is screened by real tail rotor blade in anechoic chamber. The results show that corruption of pulse amplitude (PA) is main cause of DF error. We have proposed two algorithms for resolving the interference by tail rotor blades as below: First, expand the AOA group range for pulse grouping at the first signal analysis phase. Second, merge each of pulse trains with the other, that signal parameter except PRI and AOA is similar, after the first signal analysis phase. The presented method makes it possible to use RWR by reducing interference caused by blade screening in case antenna is screened by tail rotor blades.

• 융합보안논문지
• /
• 제20권1호
• /
• pp.15-24
• /
• 2020

사이버터러나 사이버전(cyber warfare)은 더 이상 가상적 상황이 아닌 현실적이며, 실체적인 안보상황으로 상대국의 군사지휘체계는 물론 통신, 에너지, 금융, 수송체계 등 국가 주요기능 무력화의 전쟁 개념의 확대로 재인식과 국가적 차원에서의 사이버보안 미래전략 수립이 필요하다. 각 국의 사이버전(戰) 동향 분석 및 국내 사이버전(戰) 현황 분석을 통해 사이버보안 기술개발과 산업육성, 그리고 인력양성 전략 마련과 기존의 정보보호 정책과 법·제도을 바탕으로 신규 정책수요에 대한 체계적 발굴과 이를 통해 지속적 발생 가능한 국가적 위기를 효율적으로 관리하고, 효과적이며 능동적으로 사이버전(戰)에 대응할 수 있는 중·장기적 사이버보안 미래전략 수립에 대하여 제안한다.

• 정보화연구
• /
• 제10권4호
• /
• pp.517-536
• /
• 2013

전쟁 패러다임이 플랫폼 중심 전에서 네트워크 중심 전으로 변화함에 따라 네트워크 중심 전을 보다 효과적으로 수행하기 위한 소요제기 방식 또한 기존 플랫폼, 무기체계 중심의 상향식 방식에서 능력 개념을 적용한 하향식 방식으로 변화하고 있다. 하향식 소요제기 방식은 능력기반기획 및 능력기반평가 등을 통해 수행되는 개념이다. 그러나 이러한 개념을 방법론에 적절하게 적용하는 것은 도전이다. 따라서 기 개발된 방법론의 시사점으로부터 능력기반평가를 기반으로 능력기반기획 시 적의 능력을 기준으로 아군이 확보해야 할 적절한 능력을 도출할 수 있는 새로운 방법론을 제안한다. 본 논문에서 제안하는 방법론은 군사작전 분야 뿐 아니라 치안확보, 자연재해 분야의 능력기반평가기반 능력기반기획 시 적용 할 수 있다.

• 인터넷정보학회논문지
• /
• 제23권1호
• /
• pp.87-93
• /
• 2022

군(軍) PC의 99%는 윈도우 운영체제를 사용하고 있어 안전한 국방사이버공간을 유지하기 위해서는 윈도우 기반 악성코드의 탐지 및 대응이 상당히 중요하다. 본 연구에서는 윈도우 PE(Portable Executable) 포맷의 악성코드를 탐지할 수 있는 모델을 제안한다. 탐지모델을 구축함에 있어서는 탐지의 정확도보다는 급증하는 악성코드에 효율적으로 대처하기 위한 탐지모델의 신속한 업데이트에 중점을 두었다. 이에 학습 속도를 향상시키기 위해 복잡한 전처리 과정 없이 최소한의 시퀀스 데이터만으로도 악성코드 탐지가 가능한 Bidirectional LSTM(Long Short Term Memory) 네트워크를 기반으로 탐지모델을 설계하였다. 실험은 EMBER2018 데이터셋을 활용하여 진행하였으며, 3가지의 시퀀스 데이터(Byte-Entropy Histogram, Byte Histogram, String Distribution)로 구성된 특성 집합을 모델에 학습시킨 결과 90.79%의 Accuracy를 달성하였다. 한편, 학습 소요시간은 기존 탐지모델 대비 1/4로 단축되어 급증하는 신종 악성코드에 대응하기 위한 탐지모델의 신속한 업데이트가 가능함을 확인하였다.

• 한국음향학회지
• /
• 제41권2호
• /
• pp.192-198
• /
• 2022

DIrectional Frequency Analysis and Recording(DIFAR) 소노부이는 대잠전에 효과적인 무기체계로 하나의 무지향성 센서와 두 개의 지향성 센서로 구성된 3채널 빔형성을 통해 표적의 방향을 탐지한다. 하지만, 주변 소음의 영향으로 DIFAR소노부이의 특정방위(0°, 90°, 180°, 270°) 표적 탐지 성능이 저하되는 단점이 있다. 따라서, 본 논문에서는 주변 소음을 추정하고 제거를 통해 DIFAR 소노부이의 표적 탐지 성능을 향상시키는 방법을 제안하였다. 주변 소음 추정을 위해 소나신호처리에서 널리 쓰이는 Order Truncate Average(OTA)기법을, 추정된 소음을 제거하기 위해 음성신호처리에서 널리 쓰이는 위너필터링 기법을 사용하였다. 제안한 방법을 평가하기 위해 표적 방위추정 결과의 평균 제곱 오차를 비교한 결과 신호대잡음비 0 dB이하에서 제안한 방법이 효과적임을 확인할 수 있었다.

• 한국시뮬레이션학회논문지
• /
• 제19권1호
• /
• pp.63-71
• /
• 2010

현대전에서는 정보전을 기반으로 미사일, 유도무기 등의 사정거리와 정밀도가 향상됨에 따라 지대공미사일(SAM : Surface to Air Missile)의 요격성능의 중요성이 부각되고 있다. 위협적인 공중 공격을 예측 하고 방어하기 위해 최선의 방법으로 지대공 레이더와 유도미사일을 이용한 공중방어시스템 구축이 필요하다. 지대공미사일 개발 과정에서 Modeling and Simulation (M&S)을 이용하는 것은 시간적, 공간적 제한을 극복할 수 있고 시행착오를 줄임으로 비용을 절감할 수 있는 이점이 있다. M&S는 최신 무기체계 설계 및 교육/훈련 분야에 많이 적용되고 있다. 본 연구는 지대공미사일의 요격 성능 평가를 위한 시뮬레이터를 개발하는 것에 목적이 있다. 본 연구에서는 다양한 사양의 지대공미사일 요격 성능을 고려할 수 있는 지대공미사일 요격 성능 분석 시뮬레이터의 아키텍처를 제시하고 개발하였다. 개발된 지대공미사일 요격 성능 분석 시뮬레이터는 C++와 Direct3D를 기반으로 개발되었으며, Direct3D를 이용한 3D 가시화를 통해 사용자에게 애니메이션 창에 시각적으로 시뮬레이션의 진행 경과를 보여줄 수 있도록 개발되었다. 사용자의 교전모델 설계 운영 정보는 입력창을 통해 입력되며, 이 정보는 객체 관리자, 운영 관리자, 통합 관리자로 구성된 시뮬레이션 엔진에서 자동으로 지대공미사일을 모델링 및 시뮬레이션 하여 빠른 시간 안에 시뮬레이터 사용자에게 피드백을 제공한다.

• 한국통신학회논문지
• /
• 제36권4B호
• /
• pp.332-345
• /
• 2011

무기체계가 첨단 복합화 형태로 진화하면서 물리적 구현에서 소프트웨어가 차지하는 비중과 중요성은 급격히 증대되고 있다. 특히 네트워크 중심전(NCW)으로 대변되는 현대의 전장 상황에서 신뢰성 있게 운용되는 무기체계를 개발하기 위해서는 신뢰성 있는 소프트웨어의 개발이 필수 불가결한 요소이다. 국내 무기체계의 연구개발 과정에서 하드웨어 구성품과는 다르게 소프트웨어 요소에 대한 신뢰성 관련 기술 활동은 일부 구현된 소프트웨어에 대해 신뢰도 평가를 수행하는 수준이다. 그러나 연구개발 기간에 소프트웨어의 목표 신뢰도를 확보하기 위해서는 무기체계 개발 초기 단계부터 체계적인 신뢰성 공학 활동이 요구된다. 본 연구에서는 범위가 제약되어 있던 그 동안의 소프트웨어 신뢰성 관련 연구 활동을 무기체계 연구개발 수명주기 동안 목표 신뢰도를 만족하는 소프트웨어를 개발할 수 있도록 시스템 공학 관점에서 접근법을 제시하였다. 그 결과 무기체계의 연구개발 수명주기 동안 적용할 수 있는 프로세스를 도출하였는데 이를 무기체계의 소프트웨어 신뢰성 공학 프로세스 (Software Reliability Engineering Process for Weapon Systems: SREP-WS)로 명명하였다. 각종 첨단무기체계 개발에 도출된 SREP-WS를 적용함으로써 소프트웨어 신뢰도를 정량적 관리할 수 있고, 또한 목표 신뢰도를 개발기간 중에 확보할 수 있게 된다.

• 한국통신학회논문지
• /
• 제39C권1호
• /
• pp.17-27
• /
• 2014

협동교전능력과 네트워크 중심의 교전에 대한 관심과 더불어 분산형 추적 시스템에 대한 연구는 중요하다. 이러한 분산형 추적 시스템 연구에 있어서 네트워크의 거대화에 의해 비선형 시스템에서의 추적 필터와 자료융합기술 개발이 불가피하다. 따라서 본 논문에서는 협동교전능력 응용을 위해 측지좌표계 기반의 분산형 추적 시스템에 적합한 트랙 융합구조에서 비선형 시스템 환경 하에 운용할 수 있는 비선형 자료융합 기법의 문제를 정립하고 그에 적용 가능한 기법들을 소개하고 성능을 비교 분석한다. 비선형 시스템에서는 최적의 트랙 융합 기법을 구현하는데 있어서 상호 공분산을 구할 수 없다는 것이 가장 큰 문제점이다. 이와 같은 문제점을 해결하기 위해서 크게 간소화 기법과 근사화 기법의 두 가지 접근법이 있다. 간소화 기법에서는 sample mean과 Millman formula의 두 가지 추정치 융합 기법을 유도할 수 있고, 근사화 기법에서는 해석적 선형화 기법과 통계적 선형화 기법의 두 가지 추정치 융합 기법을 유도할 수 있다. 소개된 네 가지 융합 기법을 모의 실험한 결과 각 플랫폼의 추정치 공분산 정보만을 이용하여 필터의 매 단계에서 최적의 플랫폼을 선택할 수 있는 Millman formula 추정치 융합 기법과 적은 복잡도로 보다 정확히 플랫폼들의 상관 공분산을 근사화 할 수 있는 BCS 융합기법이 효율적임을 확인할 수 있다.