임무 S/W 시험을 위한 피드백 데이터의 기댓값 검증 자동화 도구 개발 (Development of Feedback Data Automated Verification Program for Mission S/W)

서지정보

· 발행기관 : 한국항공우주학회
· 수록지 정보 : 한국항공우주학회지 / 49권 / 10호 / 871 ~ 877페이지
· 저자명 : 권기봉, 이하연, 하석운

초록

항공기 결함은 항공기 운영 및 조종사의 생명과 직결된 중요한 사항으로 항공기 조종 중 발생하는 임무 소프트웨어의 결함은 조종사 임무수행 및 안전에 심각한 영향을 미친다. 항공기 개발을 주관하는 단체나 소프트웨어 결함을 개발 초기에 식별하고 제거하기 위해 프로세스를 강화하고 많은 공수와 시간을 할애하고 있지만 임무 소프트웨어의 특성상 타 항전 장비와 강한 기능적 결합도(Coupling) 및 높은 복잡도(Complexity)를 가지고 있어 기존 시험 방법을 통한 소프트웨어 결함 식별 및 제거에 제약이 따른다. 본 연구는 임무 컴퓨터 연동 장비의 통신 데이터 중 피드백 데이터의 기댓값 검증을 자동화하는 도구를 개발하여 데이터 무결성 검증을 통한 임무 소프트웨어 건전성 확보 및 시험 비용 감소 효과를 분석한다.

영어초록

Aircraft defects are important matters directly related to the operation of the aircraft and the life of the pilot. The defects in the mission software that occur during aircraft control seriously affect the pilot's mission performance and safety. Therefore, the organization in charge of aircraft development or software defects are reinforced in the process to identify and eliminate defects in the early stages of development, and a lot of labor and time are spent, but due to the nature of the mission software, strong functional coupling with other avionics and high complexity, so there are restrictions on the identification and removal of software defects through the existing test method. This study analyzes the effect of securing mission software integrity and reducing test cost through data integrity verification by developing a tool that automates the verification of expected value of feedback data among communication data of mission computer interlocking equipment.

참고자료

· 없음