• Journal of Platform Technology
• /
• 제10권4호
• /
• pp.11-24
• /
• 2022

항공기 소프트웨어를 개발하는 도구는 도구에서 생성된 결과물에 오류가 있으면 항공기 소프트웨어에 에러를 유입할 수 있기 때문에 항공기 소프트웨어와 동일한 수준의 안전성이 요구된다. 본 논문은 한화시스템의 A661UAGEN 도구를 통해 ARINC 661 표준 UA 정의 파일과 CDS 설정 파일을 생성 시에 도구의 입력과 출력 파일에 대한 유효성 확인을 통해 항공기 소프트웨어의 일부가 되는 도구 산출물의 신뢰성을 확보하는 방법에 대해 기술한다. A661UAGEN 도구의 입력인 XML 파일에 대한 스키마 정의를 통해서 XML 데이터의 구조와 내용이 유효한지를 확인하는 방법을 제시하였다. 그리고 출력인 바이너리 데이터는 자료 구조의 유효 값에 대한 마스크 데이터를 생성하여 유효성을 확인하는 방법을 제시하였다. 이와 같이 A661UAGEN 도구의 입력과 출력에 대한 유효성 확인을 통해 항공기 소프트웨어에 통합되는 바이너리 DF와 CF의 신뢰성을 향상시켜 항공기 소프트웨어 개발자가 도구를 활용하여 OFP를 개발 시에 안전성을 보장할 수 있도록 하였다.