PDIF 변환기의 설계 및 구현
A Design and Implementation of PDIF Converter
0
조회
0
다운로드
1
인용
0
참고문헌
키워드
초록
항공용 소프트웨어는 목적코드 부분과 매개변수 부분을 파일로 분리하여 개발된다. 이러한 이유는 최적화된 비행제어를 위해 다양한 매개변수의 보정이 필요함에 따라, 목적코드의 형상변경 없이 매개변수 파일의 수정만으로 보정이 가능하기 때문이다. 이 결과 변경된 매개변수가 코드에 대한 시험으로 입증된 유효범위 내에 있다면 코드 입증을 위한 시험이 필요 없어 시험 비용을 줄일 수 있다. 이러한 매개변수를 항공용 소프트웨어 적합성 입증 표준인 DO-178C에서는 매개변수 데이터 아이템(PDI)라고 한다. 이 PDI를 이진파일로 변환한 것을 PDIF라고 한다. 본 논문에서는 비행제어법칙 데이터에 대한 다양한 비행 시나리오를 가지는 엑셀시트의 Gain Set를 생성하고 PDIF Set으로 변환하는 PDIF 변환기를 설계 및 구현한다. 구현한 PDIF 변환기는 비행안전성을 위한 HILS(Hardware In the Loop Simulation)의 동역학 환경이 적용된 시험을 할 때, 형상변경 없이 비행시험을 수행할 수 있다. 본 연구에서 개발한 변환기의 이용은 기존 단일 비행시나리오별 순차시험에 비해 PDIF Set을 통한 다양한 비행 시나리오 시험을 중단 없이 연속적으로 수행할 수 있어 시험의 편리성이 향상되었고 시험 시간을 절약할 수 있다. 또한 (.dat) 파일을 통해 다른 형식의 OFP에 적용 및 OFP 수정에 대한 영향성을 줄일 수 있다.
Abstract
The aviation software is developed by dividing the object code part and the parameter part into files. This is because various parameters need to be corrected for optimized flight control, so it is possible to correct only by modifying the parameter file without changing the configuration of the object code. As a result, if the changed parameter is within the valid range proved by the test for the code, the test cost can be reduced because the test for the code verification is unnecessary. These parameters are referred to as Parameter Data Items(PDI) in DO-178C, the standard for aviation software conformance. The conversion of this PDI into a binary file is called PDIF. In this paper, We design and implement a PDIF converter that generates an Excel sheet gain set with various flight scenarios for flight control law data and converts it into a PDIF set. The implemented PDIF converter can perform flight test without changing its configuration when a test is applied to the dynamic environment of Hardware In the Loop Simulation(HILS) for flight safety. The use of the Converter improves test convenience and saves test time as it enables continuous testing of various flight scenarios through PDIF set without interruption compared to the conventional sequential test for each single flight scenario. In addition, the (.dat) file can apply to other types of OFP and reduce the impact of OFP modification.
참고문헌 (15)
- A. Paz, "A requirements modelling language to facilitate avionics software verification and certification", 2019IEEE, 2019, 1~8
- T. Saraç, "Certification aspects of model based development for airborne software", 2019 IEEE 2nd International Conference on Information and Computer Technologies (ICICT), pp.285~291 (2019)
- N. Park, "A development of OFP auto code generating tool for air vehicle built-In test", Proceeding of the 2018 KSAS Fall Conference, pp.609~613 (2018)
- S. Ahn, "Secure methodology of the autocode integrity for the helicopter fly-by-wire control law using formal verification tool", Proceeding of the 2014 KSAS Fall Conference, pp.398~405 (2014)
- S. K. Paek, "Embedded software design using parameter data item", Proceeding of the 2016KSAS Fall Conference, pp.553~554 (2016)
- S. Y. LEE, "Proposed PDIF generation program for flight testing in various scenarios", Proceeding of the 2019 KSAS Fall Conference, pp.1403~1404 (2019)
- W. K. Youn, "Software certification of safety-critical avionic systems: DO-178C and its impacts", IEEE Aerospace and Electronic Systems Magazine, 30(4), pp.4~13 (2015)
- M. Hochstrasser, "Cham, Advances in Aerospace Guidance, Navigation and Control", pp.69~86 (2017), Springer
- M. Hochstrasser, "Cham, Model-Driven Engineering and Software Development", Springer, Cham, Model-Driven Engineering and Software Development, 991, pp.380~405 (2019)
- A. Paz, "On the exploration of model-bsed support for DO-178C-compliant avionics software development and certification", 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp.229~236 (2016)
- H. M. Joe, "A study on means of compliance of airborne software per DO-178C", KCA, 64, pp.61~79 (2016)
- "WIKI" (2020)[URL]
- N. E. Rodnishchev, "To estimation of control law parameters for the lateral motion of aircraft taking into account wind disturbances", Russian Aeronaut, 58, pp.407~412 (2015)
- J. Holsten, "Flight control law design criteria for the transition phase for a tiltwing aircraft using multi-objective parameter synthesis", CEAS Aeronaut J, 6, pp.17~30 (2015)
- H. J. Choi, "Design of an integrated flight control model for light civil helicopter and configuration of the simulation environment with the dynamics model", Proceeding of the 2019 KSAS Fall Conference, pp.1040~1041 (2019)