• 한국항행학회논문지
• /
• 제27권4호
• /
• pp.429-435
• /
• 2023

항공전자 시스템의 복잡성이 높아짐에 따라 소프트웨어 컴포넌트의 이식성 및 재사용성이 강조되었다. 본 논문에서는 ARINC 653 요구사항을 만족하는 VxWorks 653 운용 환경에서 FACE(The Future Airborne Capability Environment)표준에 적합한 IOSS(Input Output Service Segment) 및 TSS(Transport Service Segment)에 대한 구조 설계 방안을 설명한다. IOSS 및 TSS는 각각 다른 파티션에서 독립적으로 동작하게 하여 시/공간 분리 및 다른 소프트웨어의 영향성을 최소화 하였고, 이식성 및 재사용성을 높이기 위해 디자인 패턴 중 전략 패턴을 적용하였다. 또한, IOSS는 Distributed IO Service 구조를 적용하여 외부 인터페이스 서비스를 제공하고, 외부 인터페이스 중 FACE를 적용한 장비의 ARINC 664 P7 인터페이스는 TSS에 배치하여 데이터 이동 경로를 최적화 하였다.

• 한국컴퓨터정보학회논문지
• /
• 제24권2호
• /
• pp.111-118
• /
• 2019

Recent trends in modern warfare are increasing in importance for air warfare, information warfare, and warfare. The technology of the weapon system software is rapidly developing, and the silent information war to hack it is still going on. Currently, the FA-50 aircraft has a function that can be initialized by a simple switch operation to protect the main military information in the event of an emergency. However, there are limitations in the existing Zeroize function, and this study was carried out to supplement this. First, we compare and analyze the memory structure of aircraft operating in our military, and examined the currently implemented Zeroize function. Second, we reviewed various methods to overcome the limitation of existing Zeroize function. Third, we implement the existing Zeroize function without additional manipulation. In this paper, we propose that the implementation of this feature will enable us to protect our military data more securely and suggest that we should continue to look for ways to enhance security for our technology in the future.

• Journal of Information Processing Systems
• /
• 제15권6호
• /
• pp.1462-1471
• /
• 2019

Real-time embedded systems have become pervasive in general industry. They also began to be applied in such domains as avionics, automotive, aerospace, healthcare, and industrial Internet. However, the system failure of such domains could result in catastrophic consequences. Runtime software testing is required in such domains that demands very high accuracy. Traditional runtime software testing based on handwork is very inefficient and time consuming. Hence, test automation methodologies in runtime is demanding. In this paper, we introduce a software testing system that translates a real-time software into a monitorable real-time software. The monitorable real-time software means the software provides the monitoring information in runtime. The monitoring target are time constraints of the input real-time software. We anticipate that our system lessens the burden of runtime software testing.

• 한국항행학회논문지
• /
• 제24권4호
• /
• pp.314-321
• /
• 2020

LASAR (logic automated stimulus and response) 소프트웨어는 디지털 전자 회로 카드에 대한 로직 기능시험 및 고장검출을 위한 자동점검프로그램 개발도구이다. LASAR 소프트웨어는 소자의 논리회로 기능 및 입·출력 정의된 정보가 필요하다. 소자 정보가 없으면 정상적인 부품 모델링이 불가능하다. 따라서 본 논문에서는 소자 정보가 없는 PLD (programmable logic device) 소자를 역설계 방법을 통하여 부품 모델링을 수행한다. 개발된 LASAR 프로그램은 고장 시뮬레이션 결과와 단일 고착 고장삽입 방법을 통해 고장 검출율을 확인하였다. 고장 검출율은 기존의 제한적인 모델링은 91%, 역설계를 통한 모델링은 94%로 3% 상승하였다. 또한, EP 310 PLD 소자에 대한 입·출력핀에 대한 22가지 고착결함의 경우 100% 검출하여 양호한 성능을 확인하였다.

• 시스템엔지니어링학술지
• /
• 제2권1호
• /
• pp.18-23
• /
• 2006

The purpose of this study and report is to provide, to the MND, an independent cost analysis of modernizing software of F-16 fighter fleets to support the use of several weapon system options, including JDAM, AIM-9X and HARM Targeting System etc. The study analyzed each options with software sizing, software cost, enabling hardware cost, flight test cost, system engineering cost, and 3 strategies. And the study proposed and analyzed some alternative strategies: strategy1 is to modernize software only within existing electronic processing capability; strategy2 is a full upgrade of weapons avionics with plug compatible electronics; strategy3 is an approach defined to mirror the USAF Common Configuration Implementation Approach (CCIP). The recommended alternative is strategy2.

• Journal of Communications and Networks
• /
• 제17권3호
• /
• pp.286-295
• /
• 2015

Avionic databuses fulfill a critical function in the connection and communication of aircraft components and functions such as flight-control, navigation, and monitoring. Ethernet-based avionic databuses have become the mainstream for large aircraft owning to their advantages of full-duplex communication with high bandwidth, low latency, low packet-loss, and low cost. As a new generation aviation network communication standard, avionics full-duplex switched ethernet (AFDX) adopted concepts from the telecom standard, asynchronous transfer mode (ATM). In this technology, the switches are the key devices influencing the overall performance. This paper reviews the avionic databus with emphasis on the switch architecture classifications. Based on a comparison, analysis, and discussion of the different switch architectures, we propose a new avionic switch design based on a time-division switch fabric for high flexibility and scalability. This also merges the design concept of space-partition switch fabric to achieve reliability and predictability. The new switch architecture, called space partitioned shared memory switch (SPSMS), isolates the memory space for each output port. This can reduce the competition for resources and avoid conflicts, decrease the packet forwarding latency through the switch, and reduce the packet loss rate. A simulation of the architecture with optimized network engineering tools (OPNET) confirms the efficiency and significant performance improvement over a classic shared memory switch, in terms of overall packet latency, queuing delay, and queue size.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2023년도 제67차 동계학술대회논문집 31권1호
• /
• pp.485-486
• /
• 2023

4차 산업혁명 이전에도 많은 물류 자동화가 이루어지고 있었다. 그러나 4차 산업혁명이 도래하면서 자동화되는 범위가 더욱 넓어지며 인력이 쓰이는 곳에 로봇이 대거 등장하게 되었다. 그러나 환경이 열악한 중소기업이나 경제성 측면에서의 도입이 어려운 분야에서는 자동 물류 시스템의 적용이 어려운 것이 현실이다. 본 논문에서는 이러한 문제를 해결하기 위해 물건을 옮기는 일에 있어서는 라인트레이서를 이용하여 물품의 수송을 도와주고, 적외선 센서 및 바코드 리더기를 이용하여 물품 개수의 현황 계산을 담당하여 정확한 계산을 도출하여 자동으로 원격 데이터베이스에 저장하여 관리할 수 있는 물류관리 지원 시스템을 제안한다.

• 한국군사과학기술학회지
• /
• 제23권4호
• /
• pp.389-398
• /
• 2020

Test cases in the existing weapon system software were created manually by the tester analyzing the test items defined in the software integration test procedure. However, existing test case generation method has two limitations. First, the quality of test cases can vary depending on the tester's ability to analyze the test items. Second, excessive time and cost may be incurred in writing test cases. This paper proposes a method to automatically generate test cases based on the requirements model and specifications to overcome the limitations of the existing weapon system software test case generation. Generate test sequences and test data based on the use case event model, a model representing the requirements of the weapon system software, and the use case specification specifying the requirements. The proposed method was applied to 8 target models constituting the avionics control system, producing 30 test sequences and 8 test data.

• 한국항행학회논문지
• /
• 제19권2호
• /
• pp.91-97
• /
• 2015

이 논문은 항공 분야에서의 안전필수 소프트웨어를 평가하기 위한 고려사항을 기술한다. 항공 분야에서의 안전필수 소프트웨어의 평가를 수행하기 위해서는 해당 소프트웨어의 평가 수준에 대한 정보가 필요하다. 그 수준은 표준에 명시되어 있으나 소프트웨어 자체적으로 결정되는 요소가 아니며 시스템 안전 평가 결과 및 시스템 설계 결과에 의존적이다. 그러므로 소프트웨어 평가수준을 결정하기 위해 시스템 개발 및 시스템 안전 평가 표준에서 필요로 하는 정보에 대해 설명한다. 그리고 소프트웨어를 평가하기 위한 기존의 방법론들을 조사하고 항공기 지상 유도 및 통제 시스템 소프트웨어의 평가에 적용할 방법을 제시한다.

• 한국항행학회논문지
• /
• 제27권5호
• /
• pp.635-642
• /
• 2023

드론은 인공지능 기술의 발달로 단순한 원격 조종 도구를 넘어서 자율적으로 임무를 수행하는 지능형 드론으로 진화하고 있다. 해외 군사 분쟁에서의 드론 활용 사례와, 국내에서 전망한 미래 작전환경 분석에 따라 드론의 중요성이 점차 주목받고 있다. AMAD는 지능형 드론의 신속한 개발을 위해 제안되었다. AMAD를 기반으로 지능형 소프트웨어를 개발하기 위해서는 디버깅, 성능 평가, 모니터링 등의 기능을 사용자에게 지원하는 통합개발환경(IDE)이 필수적이다. 본 논문에서는 지능형 소프트웨어 개발에 필요한 개발환경의 개념들을 정립하여, 이를 IDE 및 IDE와 연동하는 AMAD의 에이전트인 SVI, MPD의 설계에 반영한 결과를 설명한다.