이륙예보는 항공기가 출발하는 공항에서 이륙 시 예상되는 기상 상태를 예측하여 제공하는 항공기상 정보입니다. 주로 항공기의 안전한 이륙과 초기 상승 단계에 영향을 미칠 수 있는 바람, 시정, 구름, 강수, 뇌우 등의 요소를 중심으로 작성됩니다. 이 예보는 조종사와 항공관제사가 이륙 시의 기상 조건을 사전에 파악하고, 운항 계획이나 항로 선택, 연료 계산 등에 반영할 수 있도록 지원합니다. 또한 갑작스러운 기상 변화로 인한 이륙 지연이나 위험 상황을 예방하는 데에도 중요한 역할을 합니다. 이륙예보는 항공기상관측자료와 예보모델, 현장 분석을 종합하여 공항기상대에서 정기적으로 제공됩니다.

항공기상관측은 항공기 안전운항에 필요한 기상정보를 생산·제공하기 위하여 공항 내 기상상태를 항공기상관측지침에 의해 측정하는 업무이며, 해당 관측은 당해 공항 내에서 사용하는 보고와 당해 공항 밖으로 통보되는 보고로 구분됩니다. 항공기상관측은 정해진 시간간격을 두고 실시하는 정시관측 및 특정 기준에 해당하는 변화가 있을 때 실시하는 특별관측, 관제기관 등의 요청 및 항공기 사고 시 실시하는 수시관측이 있습니다. - 요 소: 풍향, 풍속, 하늘상태, 시정, 강수량 등 - 지 점: 6개소 공항

항공기의 이륙을 지원하기 위해 매 시각 발표하는 국내 공항 이륙예보를 조회하는 서비스 (기상 : 풍향, 풍속, 기온, 기압을 조회하는 서비스)

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.

감항성 개선지 시 현황은 연도별 조회 가능하며 발행번호, 발행 국가, 유효일 등을 확인할 수 있고 다운로드하실 수 있습니다.

신고수리 완료 후 최종 확정된 자료 중 건물명 , 장애물종류, 소재지, 높이, 장애물제한구역 여부, 항공장애 표시등 종류 및 수량, 항공장애 주간표지에 대한 정보를 제공함

Glide Path(글라이드 패스) 는 항공기의 수직 강하각을 안내하는 전파 신호를 송신하는 장치로, 계기착륙 절차 중 항공기를 활주로로 정확하게 유도하여 안전한 착륙 경로를 확보하도록 돕는 항법 지원시설입니다.공항식별자, 공항명, 식별자 ,글라이드경로명 ,좌표에 대한 정보를 제공하고 있습니다.식별자 : 글라이드 패스 장비를 식별하기 위한 고유 코드입니다.좌표 표기 방식은 다음과 같습니다N (North): 북위를 의미하며, 위도 정보를 나타냅니다.E (East): 동경을 의미하며, 경도 정보를 나타냅니다.