• 한국항공우주학회지
• /
• 제40권6호
• /
• pp.548-554
• /
• 2012

항공기 비행조종컴퓨터 탑재 소프트웨어는 항공기의 손실뿐만 아니라 조종사의 생명에도 직결되는 비행안전 필수 소프트웨어로서 정확성과 무결성을 입증하기 위한 검증 및 확인(Verification & Validation)이 요구된다. 특히 비행안전 필수 소프트웨어는 검증을 위해 통합시험 단계에서 실제 환경과 유사한 운용 환경에 노출하여 소프트웨어 내부 상태를 실시간으로 모니터링하기 위한 환경이 요구된다. 본 논문에서는 표준 디버깅 인터페이스인 NEXUS 5001을 이용한 비행안전 필수 소프트웨어의 검증환경 개발에 대하여 기술하였다.

• 한국항공우주학회지
• /
• 제38권8호
• /
• pp.813-822
• /
• 2010

안전성 요구수준이 서로 다른 비행필수 데이터(Flight Critical Data)와 임무필수 데이터(Mission Critical Data)의 시현을 처리하기 위해 별도의 독립된 계기를 사용하지 않고 Glass Cockpit 설계를 적용하여 데이터를 통합처리하였다. 본 논문에서는 독립적으로 설계 진행되어온 비행조종계통과 임무탑재시스템의 통합설계를 위해 설계변경을 최소화하면서 비행조종계통에서 요구되는 비행필수 데이터처리의 안전성 요구수준을 만족시키는 최적화 설계를 제안하였다. 비행필수 데이터의 시현을 처리하기 위해 KUH 임무탑재시스템의 핵심구성품인 임무컴퓨터(Mission Computer)의 하드웨어 및 소프트웨어 설계변경을 최소화하였다. 임무탑재시스템의 안전성 요구도(Safety Requirement)를 검증하기 위한 시험절차를 개발하여 임무탑재시스템 통합시험장비(SIL)를 이용한 시험 수행 결과 안전성 요구도가 만족됨을 확인하였다.

• 한국항공우주학회지
• /
• 제50권5호
• /
• pp.349-357
• /
• 2022

무인항공기의 비행조종컴퓨터는 비행 안전에 필수적인 장비로써 개발 단계에서부터 신뢰성과 안전성의 확보가 필수적이며, 고장 발생 시에도 정상적으로 기능을 수행할 수 있는 다중화 기반의 고장관리 설계가 요구된다. 무인기의 경우에는 비용, 무게, 전력소모 등을 감소하기 위하여 비행조종시스템의 이중화 설계를 고려하지만, 고장관리를 위한 고장 검출 및 분리 설계에 많은 제약이 있다. 본 논문에서는 무인기용 이중화 비행조종컴퓨터의 신뢰성을 향상시키기 위한 고장 검출 및 고장 분리를 위한 고장관리 설계 방안을 제안한다. 그리고 고장관리 설계를 적용해 개발한 비행조종컴퓨터는 통합시험환경에서 기능 시험을 수행하고 HILS 환경에서 고장 영향성 확인 시험을 수행한 후 무인기에 탑재하여 비행시험을 통해 그 신뢰성을 검증하였다.

• 항공우주시스템공학회지
• /
• 제13권1호
• /
• pp.62-68
• /
• 2019

항공기에 탑재되는 소프트웨어는 안전과 직결되기 때문에 안전 비행을 위해서는 감항인증 기준을 따라야만 한다. 항공기 탑재 소프트웨어는 감항인증기준에 명시된 DO-178을 따라 개발되어야 하지만 방사청 무기체계 소프트웨어 개발 및 관리 매뉴얼에 따라 개발되고 있다. 본 논문에서는 소프트웨어 전문가 설문조사를 수행하였고 DO-178을 기반으로 소프트웨어 개발 및 인증 절차를 제안하였다.

• 한국항공우주학회지
• /
• 제42권5호
• /
• pp.398-405
• /
• 2014

내장형 소프트웨어 기술이 항공 및 방위산업과 같은 안전-필수 시스템에 적용됨에 따라 보다 높은 소프트웨어의 신뢰성이 요구되고 있다. 그 중에서 소프트웨어의 무결성은 주로 정적 분석 도구를 이용해 검증이 이뤄지고 있으며 최근에 개발된 정적 분석 도구는 수학적인 분석 방법을 통해 코드의 무결성을 평가하고 있다. 본 연구에서는 정형 검증 도구인 Polyspace를 이용해 자동코드의 결함을 검출하고, 코딩규칙의 준수 여부를 검증하였다. 검증된 결과를 바탕으로 결함을 가진 제어법칙 모델을 수정하여 코드 생성 이전의 원천적인 결함을 제거 가능함을 확인하였고 FBW 헬리콥터 제어법칙 자동생성코드의 무결성을 확보 할 수 있었다.