• 한국항공우주학회지
• /
• 제40권6호
• /
• pp.548-554
• /
• 2012

항공기 비행조종컴퓨터 탑재 소프트웨어는 항공기의 손실뿐만 아니라 조종사의 생명에도 직결되는 비행안전 필수 소프트웨어로서 정확성과 무결성을 입증하기 위한 검증 및 확인(Verification & Validation)이 요구된다. 특히 비행안전 필수 소프트웨어는 검증을 위해 통합시험 단계에서 실제 환경과 유사한 운용 환경에 노출하여 소프트웨어 내부 상태를 실시간으로 모니터링하기 위한 환경이 요구된다. 본 논문에서는 표준 디버깅 인터페이스인 NEXUS 5001을 이용한 비행안전 필수 소프트웨어의 검증환경 개발에 대하여 기술하였다.

• 제어로봇시스템학회논문지
• /
• 제12권11호
• /
• pp.1130-1137
• /
• 2006

Relaxed Static Stability(RSS) concept has been applied to improve aerodynamic performance of modern version supersonic jet fighter aircraft. Therefore, the flight control systems are necessary to stabilizes the unstable aircraft and provides adequate handling qualities. The initial production flight control system are verified by flight test and it's always an elements of danger because of flight-critical nature of control law function and design error due to model base design method. These critical issues impact to flight safety, and it could be lead to a loss of aircraft and pilot's life. Therefore, development of an easily modifiable RFCS(Research Flight Control System) capable of reverting to a PFCS(Primary Flight Control System) of reliable control law must be developed to guarantee the flight safety. This paper addresses the concept of SSWM(Software Switching Mechanism) using the fader logic such as TFS(Transient Free Switch) based on T-50 flight control law. The result of the analysis based on non-real time simulation in-house software using SSWM reveals that the flight control system are switching between two computers without any problem.

• 전기전자학회논문지
• /
• 제16권2호
• /
• pp.145-152
• /
• 2012

This paper is the Software Hazard Analysis (SWHA) which will study the managerial process and the technical methode and techniques inherent in the performance of software safety task within the Military Aircraft System Safety program. This SWHA identifies potential hazardous effects on the software intensive systems and provides a comprehensive and qualitative assessment of the software safety. The purpose of this paper is to identify safety critical functions of software in Military A/C. The identified software hazards associated with the design or function will be evaluated for risks and operational constraint to further improve the software design requirement, analysis and testing efforts for safety critical software. This common SWHA, the first time analysis in KOREA, was review all avionics OFP(Operational Flight Program), and focus only on software segments which are safety critical. This paper provides a important understanding between the customer and developer as to how the software safety for the Military A/C will be accomplished. It will also provide the current best solution which may as one consider the necessary step in establishing a credible and cost-effective software safety program.

• 항공우주시스템공학회지
• /
• 제13권1호
• /
• pp.62-68
• /
• 2019

항공기에 탑재되는 소프트웨어는 안전과 직결되기 때문에 안전 비행을 위해서는 감항인증 기준을 따라야만 한다. 항공기 탑재 소프트웨어는 감항인증기준에 명시된 DO-178을 따라 개발되어야 하지만 방사청 무기체계 소프트웨어 개발 및 관리 매뉴얼에 따라 개발되고 있다. 본 논문에서는 소프트웨어 전문가 설문조사를 수행하였고 DO-178을 기반으로 소프트웨어 개발 및 인증 절차를 제안하였다.

• 한국항공우주학회지
• /
• 제50권5호
• /
• pp.349-357
• /
• 2022

무인항공기의 비행조종컴퓨터는 비행 안전에 필수적인 장비로써 개발 단계에서부터 신뢰성과 안전성의 확보가 필수적이며, 고장 발생 시에도 정상적으로 기능을 수행할 수 있는 다중화 기반의 고장관리 설계가 요구된다. 무인기의 경우에는 비용, 무게, 전력소모 등을 감소하기 위하여 비행조종시스템의 이중화 설계를 고려하지만, 고장관리를 위한 고장 검출 및 분리 설계에 많은 제약이 있다. 본 논문에서는 무인기용 이중화 비행조종컴퓨터의 신뢰성을 향상시키기 위한 고장 검출 및 고장 분리를 위한 고장관리 설계 방안을 제안한다. 그리고 고장관리 설계를 적용해 개발한 비행조종컴퓨터는 통합시험환경에서 기능 시험을 수행하고 HILS 환경에서 고장 영향성 확인 시험을 수행한 후 무인기에 탑재하여 비행시험을 통해 그 신뢰성을 검증하였다.

• 항공우주시스템공학회지
• /
• 제7권2호
• /
• pp.29-34
• /
• 2013

Safety requirements for aircraft and system functions include minimum performance constraints for both availability and integrity of the function. These safety requirements should be determined by conducting a safety assessment. The depths and contents of aircraft system safety assessment vary depending on factors such as the complexity of the system, how critical the system is to flight safety, what volume of experience is available on the type of system and the novelty and complexity of the technologies being used. Requirements that are defined to prevent failure conditions or to provide safety related functions should be uniquely identified and traceable through the levels of development. This will ensure visibility of the safety requirements at the software and electronic hardware design level. This paper has prepared to study on promoting the efficiency of establishing hierarchical safety requirements from aircraft level function to item level through system safety processes.

• Journal of Biosystems Engineering
• /
• 제36권6호
• /
• pp.476-483
• /
• 2011

The aerial application using an unmanned helicopter has been already utilized and an attitude controller would be developed to enhance the operational convenience and safety of the operator. For a preliminary study of designing flight controller, a state space model for an RC helicopter would be identified. Frequency sweep flight tests were performed and time history data were acquired in the previous study. In this study, frequency response of the flight test data of a small unmanned helicopter was analyzed by using the CIFER software. The time history flight data consisted of three replications each for collective pitch, aileron, elevator and rudder sweep inputs. A total of 36 frequency responses were obtained for the four control stick inputs and nine outputs including linear velocities and accelerations and angular velocities in 3-axis. The results showed coherence values higher than 0.6 for every primary control inputs and corresponding on-axis outputs for the frequency range from 0.07 to 4 Hz. Also the analysis of conditioned frequency response showed its effectiveness in evaluating cross coupling effects. Based on the results, the dynamic characteristics of the model helicopter can further be analyzed in terms of transfer functions and the undamped natural frequency and damping ratio of each critical mode.

• 한국항행학회논문지
• /
• 제25권4호
• /
• pp.273-279
• /
• 2021

무인항공기에 적용되는 비행제어컴퓨터는 safety-critical 구성품으로, 내결함성을 확보함으로써 운용의 신뢰성을 높이기 위해 다중화 구조로 설계되고 있다. 이러한 다중화 구조가 적용된 비행제어컴퓨터는 각각의 독립적인 연산/제어 장치가 동일한 시점에 동일한 작업을 수행할 수 있도록 설계되어야 하며, 이를 위해 각 연산/제어 장치 간의 작업 동기화를 위한 동기화 알고리즘이 포함되어야 한다. 본 논문에서는 무인기에 적용되는 이중화 비행제어컴퓨터간의 동기화를 위한 소프트웨어 설계 방법을 제안한다. 제안하는 동기화 방법은 고장률 감소를 위해 최소의 하드웨어 리소스만을 사용하여 동기화할 수 있도록 설계하였고, 동기화에 사용되는 하드웨어 타이머의 동작 방식을 고려하여 설계함으로써 타이머 동작에 따른 동기화 오차를 최소화 할 수 있도록 설계하였다.

• 한국항공우주학회지
• /
• 제42권5호
• /
• pp.398-405
• /
• 2014

내장형 소프트웨어 기술이 항공 및 방위산업과 같은 안전-필수 시스템에 적용됨에 따라 보다 높은 소프트웨어의 신뢰성이 요구되고 있다. 그 중에서 소프트웨어의 무결성은 주로 정적 분석 도구를 이용해 검증이 이뤄지고 있으며 최근에 개발된 정적 분석 도구는 수학적인 분석 방법을 통해 코드의 무결성을 평가하고 있다. 본 연구에서는 정형 검증 도구인 Polyspace를 이용해 자동코드의 결함을 검출하고, 코딩규칙의 준수 여부를 검증하였다. 검증된 결과를 바탕으로 결함을 가진 제어법칙 모델을 수정하여 코드 생성 이전의 원천적인 결함을 제거 가능함을 확인하였고 FBW 헬리콥터 제어법칙 자동생성코드의 무결성을 확보 할 수 있었다.

• 항공우주시스템공학회지
• /
• 제16권4호
• /
• pp.95-108
• /
• 2022

군용항공기의 개발시험과 양산 운용에서의 비행안전을 보장하기 위해 감항성 확보는 매우 중요하다. 비행성 분야의 기준은 최신 감항인증기준인 MIL-HDBK-516C의 6장(비행기술)에서 다루고 있으며, 이 기준의 표준은 군용항공기 비행성 개발규격인 MIL-STD-1797B의 특정 장절을 인용하고 있다. 그러나 2006년에 미 국방부에서 발표된 MIL-STD-1797B는 국내에 공개되지 않았기 때문에, 국내에서 개발되는 군용항공기의 비행성 분야는 이전 기준인 MIL-HDBK-516B Expanded의 6장(비행기술)을 적용한다. MIL-HDBK-516B Expanded내 비행성 기준들의 표준은 각종 개발규격서에서 발췌하여 불명확한 부분이 존재하고, 동일한 내용을 여러 기준들에서 입증해야 하는 어려움이 있다. 따라서 본 연구에서는 MIL-HDBK-516B Expanded의 비행성 기준들을 입증 내용에 따라 분류하고 입증 방안을 제시함으로써, 감항인증 확보를 위한 효과적인 입증방법을 제시하였다.