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

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

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2006년도 한국우주과학회보 제15권1호
• /
• pp.117-120
• /
• 2006

HAUSAT-2 비행소프트웨어 개발은 HAUSAT-2의 요구 조건을 분석하였고, 분석 결과에 따라서 HAUSAT-2 비행소프트웨어를 설계하였다. 설계 완료 후 소프트웨어 코딩 및 컴파일을 수행하고, 개별 시험과 통합 시험을 거쳐 비행소프트웨어의 알고리즘을 검증한다. 현재 HAUSAT-2의 개발 상황은 시험 모델에 대한 통합 시험을 마쳤고, 시험 결과를 분석하여 비행소프트웨어의 수정 및 운영 체제 추가 개발을 진행 중에 있다. 본 논문에서는 HAUSAT-2 비행소프트웨어(flight software)의 아키텍처와 전반적인 개발 과정 그리고 개발 환경에 대하여 설명한다.

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

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

• 한국항공운항학회지
• /
• 제15권2호
• /
• pp.1-8
• /
• 2007

In this research, algorithm and software for the medium frequency signal analysis of DGPS(Differential Global Positioning System) station were developed. Based on new MF(Medium Frequency) algorithm, the software of NDGPS(National DGPS) signal analysis was developed for coverage analysis. Predicted MF propagation data from this software was compared to the measurement data for the verification of a developed MF algorithm. GIS(Geographic Information System) techniques including digital map with elevation data were used because MF propagation is closely related to ground conductivity, mountains, building intensity.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 동계학술대회
• /
• pp.141-145
• /
• 2003

We propose the model of Software Rejuvenation methodology, which is applicable for survivability. Software rejuvenation is a proactive fault management technique and being used in fault tolerant systems as a cost effective technique for dealing with software faults. Survivability focuses on delivery of essential services and preservation of essential assets, even systems are penetrated and compromised. Thus, our objective is to detect the intrusions in a real time and survive in face of such attacks. As we deterrent against an attack in a system level, the Intrusion tolerance could be maximized at the target environment. We address the optimal time to execute ad hoc software rejuvenation and we compute it by using the semi Markov process. This is one way that could be really frustrated and deterred the attacks, as the attacker can't make their progress. This Software Rejuvenation method can be very effective under the assumption of unknown attacks. In this paper, we compute the optimum time to perform an ad hoc Software Rejuvenation through intrusions.

• 한국항공운항학회:학술대회논문집
• /
• 한국항공운항학회 2007년도 추계학술대회
• /
• pp.119-121
• /
• 2007

• 한국항행학회논문지
• /
• 제15권5호
• /
• pp.687-695
• /
• 2011

지식 정보 기술력 중심의 지식기반 경제 원천인 소프트웨어로 인한 결함은 항공기의 운용에 핵심 역할을 수행하는 엔진에 영향을 준다. 따라서 소프트웨어의 안전성분석을 통해 항공안전을 강화하여 결함으로부터의 위험을 최소화해야 한다. 본 논문에서는 항공기 결함과 소프트웨어 안전성 법 제도를 살펴보고 항공안전을 강화하기 위한 법 제도 개선 및 제정 방안을 제안한다. 안전성분석과 관련된 용어 정립, 안전성이 포함된 품질인증 기준, 안전성분석서를 첨부해야 하는 품질인증 신청, 평가 및 인증기관 세부지침 개정 등의 항목으로 기존 법 제도를 개선해야 한다. 또한, 소프트웨어 평가 및 인증 의무화, 소프트웨어 생명주기에 다른 지속적 평가, 표준화된 개발방법론 도입 의무화, 고급인력 양성 제도 강화 등의 항목으로 신규 법 제도를 제정해야한다. 소프트웨어 안전성과 관련된 기존 법 제도를 개선하고 신규 법 제도를 제정하여 소프트웨어의 품질 향상과 강화된 항공안전을 기대할 수 있다.

• 한국항공운항학회지
• /
• 제22권4호
• /
• pp.81-86
• /
• 2014

In the development of an avionics system, there is a trend of using commercial-off-the-shelf(COTS) equipments in order to reduce the development cost and time. In this paper, we present an implementation of an aircraft mission computer using the objected oriented software and the COTS equipments. We execute the aircraft guidance software on the system, and measure the calculation time and the used memory. To compare the guidance capability of the software program, we implement the same software logic on DS1104 system. The guidance software program executed on two different systems resulted in the almost identical simulation.

• 한국항공운항학회지
• /
• 제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.

• 한국항공운항학회지
• /
• 제15권1호
• /
• pp.61-67
• /
• 2007

The importance and cost of avionics system in the integration of an aircraft is continuously increasing. And we can expect enlarged software portion in the system integration for the more intelligent, reliable, and automated avionics system. Both military and commercial avionics community have moved toward commercial-off-the-shelf(COTS) equipment and open systems architecture not only to increase affordability but also to reduce acquisition cost, shorten development time and risk. The same concept is applied in developing avionics test system used for the avionics system integration test. In this paper, we present important topics in the development of avionics system including real-time operating system, interconnect data bus, software development methodology, software development process, and system integration test.