• 항공우주시스템공학회지
• /
• 제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.

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

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

• 항공우주기술
• /
• 제3권2호
• /
• pp.177-182
• /
• 2004

고도 정보화 사회라고 일컫는 오늘날 컴퓨터는 거의 모든 분야에서 사용되고 있으며, 항공 산업에서도 항공기 및 관련 장비의 개발 과정에서 내장형 소프트웨어가 차지하는 비중이 급증하고 있다. 이에 항공용 소프트웨어에 대한 개괄적인 사항을 알아보고, 항공용 소프트웨어의 분류, 소프트웨어 라이프사이클, 각 목표를 달성하기 위한 활동과 설계고려 사항을 알아본다.

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

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

• 한국항공운항학회지
• /
• 제24권2호
• /
• pp.81-85
• /
• 2016

It is recognized that safety is a key point of technical competency. Its adoption is widely spread in development of products and it is essentially necessary in aerospace industry because airborne system and equipment are used complex high-technology and implemented systematic performance using software. This study reviews system safety assessment, development assurance level, airborne software, RTCA DO-178 process, and considerations & pitfalls in software development.

• 한국항공우주학회지
• /
• 제46권11호
• /
• pp.961-968
• /
• 2018

항공기 시현계통은 항공기 운영에 필요한 다양한 정보를 통합하여 조종사에게 시현한다. 시현계통에서 소프트웨어 결함이 발생되면 정확하지 않은 정보가 조종사에게 시현될 수 있기 때문에 항공기의 운영에 심각한 영향을 미칠 수 있다. 따라서 시현계통의 개발 중에 지상시험과 비행시험을 통해 발생 가능한 소프트웨어 결함을 식별하고 제거하려고 노력하고 있다. 본 연구는 비행시험 자료를 이용하여 시현계통의 소프트웨어 결함 분석을 지원하는 도구인 FDR(Flight Data Replay)을 제시한다. 이 도구는 항공기 임무컴퓨터와 연동되어 실시간으로 동작한다. 그리고 시현소프트웨어에 비행시험 자료를 적용하여 시현장치에 나타나는 기능적인 오류상황을 재현한다.

• 한국항공우주학회지
• /
• 제48권7호
• /
• pp.547-554
• /
• 2020

항공기 건전성 관리시스템은 항공기 소프트웨어에서 발생한 오류 또는 결함으로 인해 항공기의 기능이 실패되는 것을 방지한다. ARINC-653의 병행프로그램에서 발생하는 원자성 위배의 자율 수리는 프로그램의 정상적인 실행을 보장하기 때문에 중요하다. 본 논문은 프로그램 실험 결과를 활용하여 수행 중에 원자성 위배를 예측하고 주요 관련 접근 사건을 지연시켜 수리하는 기법인 Repairing-AV를 제시한다. 실세계 소프트웨어에서 발생한 5가지 원자성 위배 패턴을 포함하는 합성 프로그램에 기존 기법과 Repairing-AV을 적용하여 수리 시간 오버헤드를 비교하였다. 실험 결과 Repairing-AV는 공유변수 접근 횟수와 관계없이 평균 1.4배의 일정한 시간 오버헤드를 가짐을 확인하였다.

• Journal of Platform Technology
• /
• 제8권2호
• /
• pp.32-43
• /
• 2020

무인 항공기 시스템은 주로 군사용 위주로 운용되어 왔으나, 민간 분야에서도 활발히 이용되고 있다. 민간 분야에서는 주로 저비용의 소형 무인 항공기 시스템을 이용하여 다양한 산업분야에서 이용되고 있다. 이러한 무인 항공기 시스템에서 운용되는 소프트웨어는 공통적인 기능들이 많이 존재한다. 하지만 이러한 특성에도 불구하고 하드웨어 장치가 변경되면 소프트웨어를 수정해야 하는 문제가 발생할 수 있다. 이러한 문제는 무인 항공기 시스템에서 상호 운용성, 모듈성, 이식성을 저하시킨다. 상기 문제들을 해결하기 위해 개방형 시스템 아키텍처가 제안되었으며, 본 논문에서는 다양한 개방형 시스템 아키텍처들 중 FACE(Future Airborne Capability Environment)를 기반으로 동작하는 무인 항공기 시스템 소프트웨어 구조를 제안한다. 본 논문에서 제안하는 소형 무인항공기 시스템은 소량 다품종으로 공급되는 민간 분야에서 다양한 플랫폼의 무인 항공기 시스템을 지원할 수 있으며, 소프트웨어에 대한 통합과 이식성이 뛰어난 장점을 가진다. 마지막으로 본 논문에서는 공개된 개발도구를 기반으로 하는 FACE 기반 무인 항공기 시스템 소프트웨어 개발 방법과 적합성 테스트에 대해 서술한다.

• 항공우주시스템공학회지
• /
• 제16권2호
• /
• pp.13-24
• /
• 2022

항공용 소프트웨어의 규모가 커짐에 따라 기능적 확장, 효율적인 개발 및 코드의 재사용을 위하여 객체지향 기술의 사용이 증가하고 있으나, 그 검증방안은 기존의 절차지향 프로그램 관점으로 수행되고 있다. 본 논문에서는 객체지향 기술의 특징과 객체지향 언어의 기능적 특징에서 파생되는 취약점들을 분석하고 객체지향기술이 적용된 항공용 소프트웨어의 기능 안전 무결성을 보장하기 위한 소프트웨어 개발단계(Design, Coding, Test)별 적용 가능한 검증 방안을 제시한다. 또한, 비행제어 소프트웨어 구현에 사용되는 오픈소스인 PX4에 정적분석 자동화 도구인 LDRA를 적용하여 제시한 단계별 검증 방안 중 정적분석 결과의 의미를 분석하였다.

• Nuclear Engineering and Technology
• /
• 제55권11호
• /
• pp.4039-4047
• /
• 2023

This contribution describes the application of HPGe detector for the airborne quantitative analysis. The hardware of the airborne HPGe system was designed from the commercial components with only exception of the newly designed AirHPGeSpec special software to control, measure and process the data. The system was calibrated for the local air kerma rates measured on helicopter board and its conversion to the air kerma rates at 1 m above the ground was proposed. Two examples of the air kerma rates measured over the former uranium mining areas are presented and compared with the results of other airborne system on the board. This airborne HPGe system could be also used for measuring the surface activities in a radiation event. The nuclides of ¹³¹I, ¹³²Te - ¹³²I, ¹³³I, ¹³⁴I, ¹³⁵I, ¹³⁷Cs, ¹³⁴Cs, ⁸⁸Rb and ¹⁰³Ru were selected from possible nuclear power plant emergency scenarios. The Monte Carlo simulation was used to calculate HPGe detector efficiencies for the flight altitudes from 25 to 300 m for the energies from 300 keV to 3 MeV of the nuclides in question. Also, the detection limits according to the Currie method as well as ISO 11929-2010 for selected nuclides are presented.