비행 제어 데이터 시험을 위한 디버거용 C 코드 생성기의 설계 및 구현
A Design and Implementation of C Code Generator for a Debugger to Testing Aviation Control Law Data
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
현재 사회는 급속한 기술의 발전으로 인간의 삶의 질을 향상시켰으며, 그에 따른 복잡하고 정교한 시스템이 첨단산업의 운용에 폭넓게 이용되고 있다. 시스템 및 소프트웨어가 복잡해짐에 따라 테스팅의 중요성이 증가하고 있으며, 특히 안전 소프트웨어 개발과정에서 시스템 및 소프트웨어 테스트는 인명피해와 대형 사고를 미연에 방지하고 시스템의 문제를 최소화시키기 위해 반드시 수행되어야 한다. 항공분야에서는 항공 소프트웨어 인증을 위한 여러 가지 지침을 제정하였다. 일반적으로 DO-178C, DO-330에 기반한 제어와 관련된 요구사항을 시험하기 위해서는 HILS (Hardware In the Loop Simulation) 환경에서 수행하는 것이 바람직하다. 그러나 HILS 시험 환경구성에는 많은 시간과 비용이 발생한다. 본 연구에서는 시험환경 구축 시간과 비용을 줄이기 위해 MATLAB의 Simulink를 통해 생성되는 비행 제어 시험 데이터(.csv) 파일을 사용하여, c 형식의 구조체와 코드를 생성할 수 있는 CLT Generator를 설계하고 구현하였다. 생성된 c 형식의 구조체와 코드는 High-level 시험을 위한 Target 장비에 맞춤형 비행제어 테스트 데이터를 적재시킬 수 있다. Target용 시험환경의 필요사항에 맞게 iSYSTEM Debugger와 같은 다양한 Target시험용 장비에 직접 코드 수정할 필요 없어 시험의 편리성이 향상되었다. 본 CLT Generator는 c 형식의 시험 구동환경에서 다양한 장비 시험에 사용될 수 있다.
Abstract
Currently, society has improved the quality of human life due to rapid technological development and widely uses complex and sophisticated systems to operate high-tech industries. Testing is increasingly crucial as software becomes more critical, especially in developing safety software. It must perform system and software testing to prevent casualties and significant accidents and minimize system problems. Various guidelines for aviation software certification have been established in aviation. In general, it is desirable to perform in a hardware-in-the-loop-simulation (HILS) environment to test the requirements related to control based on DO-178C and DO-330. However, configuring the HILS test environment takes time and money. In this study, Control Law Test data(CLT) Generator was designed and implemented to generate c-formatted structures and codes using flight control test data (.csv) files generated by MATLAB's Simulink to reduce the time and cost of building a test environment. The generated c-type structures and codes may load customized flight control test data on target equipment for high-level testing. It is not necessary to directly modify the code to various target test equipment such as iSYSTEM Debugger to meet the requirements of the test environment for the target, thereby improving the convenience of the test. It can also use the generator for various equipment tests in a test drive environment of type c.
참고문헌 (18)
- L. E. G. Martins, "Requirements engineering for safety-critical systems: An interview study with industry practitioners", IEEE Transactions on Software Engineering, V, 46(4), pp.346~361 (2020)
- J. Sundell, "Safety-critical software - quantification of test results", 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp.303~310 (2020)
- S. Masuda, "Software test architecture definition by analogy with software architecture", 2022IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.244~247 (2022)
- 권병국, "제트 전투기의 항공전자 시스템 아키텍처에 관한 연구", 항공우주시스템공학회지, 16(1), pp.86~96 (2022), 항공우주시스템공학회[DOI]
- 배기형, "감항인증 시스템 안전 절차에 관한 연구", 한국지식정보기술학회 논문지, 16(6), pp.1127~1140 (2021), 한국지식정보기술학회[DOI]
- 임산하, "항공기 시스템의 치명적인 공통 요인을 식별하기 위한 고장-안전 요구분석 절차 제안", 한국항공우주학회지, 50(4), pp.259~267 (2022), 한국항공우주학회[DOI]
- 서준호, "항공전자장비 신뢰성, 안전성 분석 및 관련 성능 개선 방안 연구", 한국정보통신학회논문지, 22(9), pp.1220~1227 (2018), 한국정보통신학회[DOI]
- 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)
- oftware considerations in airborne systems and equipment certification, "RTCA", ~, pp.RTCA DO-178C (2011)
- L. Rierson, "Developing safety-critical software: A practical guide for aviation software and DO-178C compliance" (2013), CRC Press
- Model-based development and verification supplement to DO-178C and DO-278A, "RTCA", ~, pp.RTCA DO-331 (2011)
- K. Dmitrievet, "A lean and highly-automated model-based software development process based on DO-178C", DO-331, IEEE 39th Digital Avionics Systems Conference (DASC), pp.2020 (2020)[DOI]
- M. Hochstrasser, "Application of a process-oriented build tool for flight controller development along a DO-178C", DO-331 process, 2019, pp.991, 380~405
- M. Hochstrasser, "Aspects of a consistent modeling environment for DO-331 design model development of flight control algorithms", Springer, Cham, Advances in Aerospace Guidance, Navigation and Control, pp.69~86 (2018)
- A. Paz, "On the exploration of model-based support for DO-178C-compliant avionics software development and certification", 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp.229~236 (2016)
- 이순영, "PDIF 변환기의 설계 및 구현", 한국지식정보기술학회 논문지, 15(5), pp.711~720 (2020), 한국지식정보기술학회[DOI]
- 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)