• 시스템엔지니어링학술지
• /
• 제13권1호
• /
• pp.57-65
• /
• 2017

Recently, the ratio of electrical part and embedded software has grown in automotive industry. ISO 26262, 'Road Vehicles - Functional Safety', was published to guide development of automotive electrical and electronic part in 2011. This paper describes definition of functional safety and analyzes ISO 26262. The comparison of ISO 26262 and DO-178C is made, then difference between them is identified. DO-178C provides guidance for the production of software for airborne system and equipment. The core of DO-178C is a relatively minor update to the previous DO-178B, however, the big changes are captured in the supplemented documents such as DO-331, 'Model-Based Development and Verification Supplement to DO-178C and DO-278A'. Model-based design is important to develop automotive and aircraft meeting the guidelines of ISO 26262 and DO-178C. In this paper, the sample case of applying MBSE(Model-Based Systems Engineering) to AVCS(Active Vibration Control System) software development is discussed.

• 전기전자학회논문지
• /
• 제19권3호
• /
• pp.415-423
• /
• 2015

미국 FAA에서 민간 항공기에 대한 감항인증 시 채택되고 있는 DO-178C 가이드가 최근 국내에서도 군 항공기 감항인증을 위한 가이드로 채택되고 있는 실정이다. 이것은 군항공기 감항인증 담당자가 소프트웨어 개발 문서들을 점검할 때 모든 문서들이 DO-178C 가이드에 따라 검증되었는지 여부를 검토한다는 것을 의미한다. 그러나 군항공기용 인터콤 장비의 국산화 개발 시 DO-178C 가이드 준용 요구사항이 없었기 때문에 우리는 군 항공기 인터콤 제어 소프트웨어를 CMMI 레벨3에 따라 개발하였다. 따라서 우리가 인터콤 시스템의 감항인증을 고려할 때 추가적으로 필요한 소프트웨어 산출문서들을 준비하기 위해 CMMI 레벨3 기반의 소프트웨어 개발이 DO-178C 가이드와 얼마나 다른지에 대한 분석이 필요하게 되었다. 그러므로 본 연구는 CMMI 레벨3과 DO-178C 간 차이점들을 분석하고 DO-178C 가이드와 비교하여 CMMI 레벨3상의 어떤 데이터들이 항공기 감항인증 준수에 필요한지를 제시한다. 분석 결과를 통해 감항인증 시 참조되는 DO-178C 가이드 대비 CMMI모델에서 필요한 데이터가 무엇인지를 알 수 있고 향 후 CMMI 모델 환경에서 감항인증 준수를 고려한 항공기 구성품 탑재용 소프트웨어 개발시 본 연구결과를 적용할 수 있다.

• 항공우주시스템공학회지
• /
• 제14권spc호
• /
• pp.13-21
• /
• 2020

RTCA DO-178C는 항공기 시스템의 감항성을 보장하기 위한 소프트웨어 개발 지침서이다. 하지만, DO-178C는 최대이륙중량 150kg 이상의 무인기 인증에 적용하는 것은 무인기로 인한 위험의 심각도(severity)가 보통의 항공기보다 낮기 때문에 과도한 규제라는 의견이 있다. 이러한 문제를 해결하기 위해, EASA와 FAA는 기존 항공기 인증 체계를 간소화 한 새로운 인증 체계 수립을 목표로 항공전자 인증표준 재편 및 간소화(RESSAC: Re-Engineering and Streamlining the Standards for Avionics Certification) 프로젝트를 2016년부터 수행하고 있다. 본 논문에서는 현재 적용되는 DO-178C 인증 프로세스를 분석하였고, DO-178C 인증 프로세스보다 과정 및 산출물을 간소화하면서도 비행 안전성을 확보 할 수 있는 새로운 RESSAC 인증 프로세스를 비교 분석하고 장점을 도출하여 제시하였다.

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

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

• 항공우주시스템공학회지
• /
• 제17권6호
• /
• pp.108-117
• /
• 2023

지금까지 해외 수출용 KT-1 군용 고정익 항공기에 통합된 임무 소프트웨어는 해외업체와 국제 공동개발을 통하여 개발이 되었으며, 감항인증을 위해 DO-178B를 기반으로 하는 해외업체의 개발 환경과 절차를 준수함으로써 소프트웨어의 신뢰성을 인정받을 수 있었다. 하지만, 최근에는 해외 수출 시 DO-178C 인증을 요구하고 있으며, 국내 소요군에 납품 시 방사청 무기체계 소프트웨어 개발 및 관리 매뉴얼 준수를 위해 신뢰성 시험을 필수적으로 요구하고 있다. 본 논문은 기 개발된 KT-1 수출형 항공기 체계통합 사업의 국제 공동개발에 있어 국내 감항인증을 받기 위한 문제점을 기술하고 DO-178C와 무기체계 소프트웨어 개발 및 관리 매뉴얼을 모두 준수하기 위한 해결방안을 찾아서 최적의 소프트웨어 신뢰성 시험 방안을 제시한다.

• 항공우주시스템공학회지
• /
• 제6권3호
• /
• pp.1-6
• /
• 2012

It is booming to use computer owing to the information society, and embedded software application have grown in airborne systems and equipment. So this introduces airborne software, RTCA DO-178B, life cycle and its data, and software development pitfalls in design and certification.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
• /
• pp.406-411
• /
• 2006

DO-178B는 항공분야 소프트웨어의 안전성 인증 기준으로서 실질적인 국제 표준으로 인정받고 있다. 그러나 목표달성 중심의 기준만을 제시함으로써 안전성 분석 및 검증에 대한 구체적인 가이드라인의 부족이 문제시 되어왔다. 본 논문을 통해 DO-178B의 취약점을 분석하고 정형기법을 적용한 개선방안을 제시한다. DO-178B 내용 중 정형기법을 적용하여 수행되어야 할 활동 요소들을 식별하고 정형언어를 통한 설계와 검증, 그리고 그 결과에 대한 증빙자료의 제출을 기준에 포함시킴으로써 개발 활동의 방향과 범위를 명확히 하고 인증 절차의 투명성을 향상시킬 수 있다.

• 출판저널
• /
• 통권327호
• /
• pp.178-178
• /
• 2003

• 한국군사과학기술학회지
• /
• 제10권1호
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• 정보과학회지
• /
• 제31권5호
• /
• pp.32-39
• /
• 2013