• 한국항행학회논문지
• /
• 제22권4호
• /
• pp.264-270
• /
• 2018

최근에 미국 또는 유럽 등에서 개발되거나 해당 국가의 영공에 취항하기 위한 민간 항공기에는 RTCA (radio technical commission for aeronautics)에서 발표하고 미연방항공국 (Federal Aviation Administration)에서 인정한 DO-178에 따른 탑재 소프트웨어 신뢰성 검증이 요구된다. 이는 각 분야에서 소프트웨어에 대한 의존이 날로 심화되는 가운데 사고 발생시 경제적, 사회적으로 치명적인 영향이 발생하는 민간 항공 분야에서 먼저 소프트웨어 신뢰도 향상을 위한 노력이 진행되었기 때문이다. 이 논문에서는 소프트웨어 신뢰도 향상을 위해 DO-178에서 요구하고 있는 요구사항 기반의 신뢰성 검증을 위해 선결되어야 할 요건들을 파악하고, 현재 방위사업청의 무기체계 획득 절차에 기반 하여 각 획득 단계에 맞는 점검 요소들을 분석하여 제시하였다. 또한 해외에서 축적된 정보를 바탕으로 식별된 주요 점검요소를 국내 항공기 개발 사업에 적용하고 적용결과를 분석하였다. 본 연구 결과 현재의 무기체계 획득 절차에 개발 단계별 소프트웨어 점검 요소를 추가하고 객관적 점검 기준을 제시하는 것으로 DO-178에 따른 요구사항 기반 소프트웨어 신뢰성 점검에 대한 개발관리가 가능한 것으로 확인되었다.

• 항공우주시스템공학회지
• /
• 제15권3호
• /
• pp.71-78
• /
• 2021

현대 항공기에서 대부분의 기능은 소프트웨어에 의해 통제되고 있으므로 소프트웨어 오류는 항공기 안전과 직결된다. MIL-HDBK-516C 15장은 군용항공기 탑재 소프트웨어의 안전한 개발과 검증을 위해서 적용되는 기준이다. 미 공군은 이 기준이 반복적인 미충족을 경험함에 따라 기준 충족을 위한 지침으로 감항성 회람(AC-17-01)을 발간하였다. 본 논문에서는 MIL-HDBK-516C 15장, AC-17-01, 그리고 미 연방 항공청에서 적용하고 있는 SW 인증 지침(DO-178C)을 비교 분석하였다. 먼저 AC-17-01 단계와 각 단계에서 명시된 MIL-HDBK-516C 15장 기준 그리고 MIL-HDBK-516C 기준에서 DO-178C를 명시한 기준간 정합 비율 식을 정의하였다. 그리고 비율 분석을 통하여 AC-17-01과 DO-178C를 달성하는 경우 MIL-HDBK-516C 충족 가능한 기준을 도출하였다. 분석결과를 바탕으로 항공 소프트웨어 개발 프로세스를 수립하고 MIL-HDBK-516C 15장 적용 사례를 제시하였다.

• 한국융합학회논문지
• /
• 제12권11호
• /
• pp.285-289
• /
• 2021

본 논문에서는 항공소프트웨어 인증 규정 발전 동향을 파악하고, 증강현실 및 가상현실 소프트웨어의 항공정비 산업 적용을 위해 항공에 최적화된 인증 규정을 소개한다. 이 규정은 항공정비 산업에 적용된 증강현실 및 가상현실 소프트웨어에 엄격한 인증 규정을 적용함으로써 항공정비 산업에 적용된 증강현실 및 가상현실 소프트웨어의 안정성과 신뢰성을 제공할 것으로 기대된다. 기존에 사용되는 DO-178B, DO-178C가 규정하기 힘든 문제들을 고려한 인증 규정을 제시하고자 한다.

• 한국항행학회논문지
• /
• 제24권1호
• /
• pp.28-36
• /
• 2020

KASS(Korea Augmentation Satellite System)는 국토교통부에서 2014년부터 개발 중인 한국형 위성항법보강시스템이다. KASS는 항공기 안전에 영향을 미칠수 있는 항공용 시스템이기 때문에 KASS의 각 소프트웨어는 안전성 분석을 통해 할당된 DO-178B의 소프트웨어 레벨에 따라 개발이 수행된다. KASS의 하위시스템인 통합운영국의 경우 일부 소프트웨어를 제외하고는 DO-178B 레벨E를 할당 받았으며 DO-178B 레벨E 소프트웨어의 경우 제품 보증을 위해 ECSS-Q-ST-80C 카테고리 D를 준수하여 개발하도록 하고 있다. 본 논문에서는 ECSS-Q-ST-80C를 만족하기 위해 ECSS-E-ST-40C, ECSS-Q-HB-80-04A를 분석하여 KASS 통합운영국 소프트웨어의 제품 보증을 위한 소프트웨어 생명 주기 별 활동 및 소프트웨어 품질 모델, 메트릭을 제안한다.

• 항공우주시스템공학회지
• /
• 제17권1호
• /
• pp.33-41
• /
• 2023

보잉 737 맥스 사고사례에서 볼 수 있듯이 항공기 소프트웨어는 비중이 급속도로 증가하고 있으나 안전문제에서 취약한 것이 드러났다. 국내의 경우, 자체중량 150kg 이하 무인동력비행장치를 운용하려면 초경량비행장치 안전성인증이 요구되지만, 소프트웨어 인증 절차는 포함되지 않는다. 다만, 최근 무인동력비행장치의 활용이 증대됨에 따라 소프트웨어 검증이 요구되는 추세이다. 본 논문은 항공 소프트웨어 인증 규격인 DO-178C를 참조하여 무인동력비행장치에 적용할 수 있는 무인동력비행장치 소프트웨어 체크리스트를 제안하였다. 국내외 선진기업 및 기관에서 활용 중인 모델기반개발(Model-based Development) 기반의 헬리콥터 비행 제어 컴퓨터(FCC) 프로젝트에 제안된 체크리스트를 적용하는 사례연구를 수행하였다.

• 대한설비공학회:학술대회논문집
• /
• 대한설비공학회 2003년도 하계학술대회 논문집
• /
• pp.178-178
• /
• 2003

• 천문학회보
• /
• 제34권1호
• /
• pp.178.1-178.1
• /
• 2009

• 대한한약
• /
• 통권6호
• /
• pp.171-178
• /
• 2002

• 정보과학회지
• /
• 제30권9호
• /
• pp.65-70
• /
• 2012

• 대한핵의학회:학술대회논문집
• /
• 대한핵의학회 1997년도 제36차 춘계학술대회 초록집
• /
• pp.178-178
• /
• 1997