항공기 시스템이 디지털기반으로 변화되고, 종종 헬리콥터 사고가 발생함에 따라 헬리콥터와 항공전자·전기·계기(심화) 등 2종의 표준교재를 발간하게 되었습니다.

본 표준교재는 체계적인 글로벌 항공종사자 인력양성을 위해 개발되었으며 현장 항공종사자가 항공안전 확보를 위해 알아야할 기본적인 지식을 정리한 표준교재입니다.

항공 분야 에서 사용하는 전문용어를 영문 및 한글용어, 약어, 용어에 대한 상세 해설을 포함한 정보를 제공 합니다 제공목록 : 용어, 한글명, 약어, 해설

ANALYZING AVIATION SAFETY REPORTS: FROM TOPIC MODELING TO SCALABLE MULTI-LABEL CLASSIFICATION AMRUDIN AGOVIC*, HANHUAI SHAN*, AND ARINDAM BANERJEE* Abstract. The Aviation Safety Reporting System (ASRS) is used to collect voluntarily submitted aviation safety reports from pilots, controllers and others. As such it is particularly useful in researching aviation safety deficiencies. In this paper we address two challenges related to the analysis of ASRS data: (1) the unsupervised extraction of meaningful and interpretable topics from ASRS reports and (2) multi-label classification of ASRS data based on a set of predefined categories. For topic modeling we investigate the practical usefulness of Latent Dirichlet Allocation (LDA) when it comes to modeling ASRS reports in terms of interpretable topics. We also utilize LDA to generate a more compact representation of ASRS reports to be used in multi-label classification. For multi-label classification we propose a novel and highly scalable multi-label classification algorithm based on multi-variate regression. Empirical results indicate that our approach is superior to several baseline and state-of-the-art approaches.

산림청 산림항공본부 정비사 교육관리에 대한 데이터 입니다. (교육명, 교육장소, 교육시작일, 교육종료일 등의 항목을 제공합니다.)

산림청 산림항공본부 산림헬기 안전지수에 대한 데이터 입니다. (안전규칙분야,안전정도,안전지수,안전규칙내용 정보를 제공합니다.)

1. 경량항공기 안전성인증 현황(2023년) 관련 데이터를 제공합니다.2. 초경량비행장치 안전성인증 현황(2023년) 관련 데이터를 제공합니다.

2020년 12월 10일부터 한국교통안전공단에서 수행하는 초경량비행장치 신고업무 중 드론원스톱 민원서비스를 통해 신청한 무인비행장치의 월 별 신규, 변경이전, 말소 신청 건수입니다. 신규, 변경이전, 말소 신청건수를 통해 국내 무인비행장치 신고현황을 알고자 할 때 참고자료로 쓸 수 있는 데이터입니다.

We detail all of the facets of adapting classical model checking to a real aerospace system, in- cluding deriving the formal model and a set of specifications from natural language descriptions. To ensure the model checking results are meaningful, we have to ensure that both the model and specifications correctly reflect the intentions of the designers, thus we employ model validation and property debugging techniques. We demonstrate the utility of enhancing LTL satisfiability checking by taking the fairness constraints of the system model into consideration. We argue that specification debugging in real applications deserves more attention in future research efforts, and the utility of a system formalization, model and specification debugging, and verification trilogy for model checking real systems under development. In this paper we assume there are no hardware failures or lost messages. As the AAC design develops and hardware details are decided by AAC designers, we plan to take the failure rates of the chosen components into consideration, i.e. by extending our work to probabilistic model checking using PRISM [19]. Previous work has reported on analyzing the safety of air traffic control systems using simulation [3] or fault trees [1]. By extending the model we designed in this paper, we can carry out safety analysis using PRISM to capture the dynamic interactions in the AAC.