무인비행체 (UAV: Unmanned Aerial Vehicle) 는 최근 다양한 분야에서의 활용이 기대되는 실시간 임베디드 시스템입니다 . 이미 군사적 목적으로는 다양한 UAV 가 실전배치 되어 있으며 , 방송 중계 및 실시간 방재 용으로도 다양하게 개발되고 있습니다 . 정보통신부 ITRC (IT Research Center) 인 UAV & SW Fusion Research Center ( 과제책임자 : 건국대 김두현 교수 ) 는 “ 무인헬기를 이용한 IT 기반 실시간 방재 및 IT 서비스 실현 “ 을 목표로 2012.02 성공적으로 종료되었습니다 . 본 투고에서는 무인헬기의 제어 SW (OFP: Operational Flight Program) 의 품질을 향상 및 보장하기 위하여 적용한 다양한 SW 공학 및 V&V (Verification & Validation) 기법들을 소개합니다 .
Ⅰ . 무인비행체 OFP 개요
OFP 는 무인비행체의 실시간 임베디드 제어 소프트웨어로서 무인비행체에 내장된 하드웨어 / 센서 및 지상 제어기와의 통신을 제어하는 중요한 소프트웨어입니다 . 다음의 <그림 1> 은 OFP 의 구성 및 주된 데이터 흐름을 보여줍니다 .
 |
| <그림 1> |
Ⅱ . OFP V&V 계획
- 정형 모델링 및 검증
- 역공학
- SW 테스팅
Ⅲ . OFP V&V 수행 결과
- 정형 모델링 및 검증
- 역공학
- SW 테스팅
댓글 없음 :
댓글 쓰기