型式証明
型式証明はTC (Type Certificate) ともいい、航空機の開発時に必要な証明で予め開発段階で設計や製造過程の検査を行っておくものである。型式証明には耐空証明検査で重複する部分の検査を省略できるようにする役割があり、そのため型式証明の基準は耐空証明の基準と同じものを用いることになる。
耐空性(Airworthiness)とは、狭義には強度・構造・性能についての基準をいい、広義にはそれに騒音の基準や発動機の排出物の基準を含む。また、適合性(Conformity)は「基準やその詳細項目に適合しているかどうか」 という意味である。
型式証明の検査には、設計、製造過程、現状検査がある。 このうち型式証明の現状検査は意図した設計や製造方法によって完成した機体が耐空性を満たすかを検査するもので、完成した個々の機体が耐空性を有しているかを検査する耐空証明の現状検査とは異なる。
国際的には型式証明の基準として、アメリカ連邦航空局(FAA)が定める基準と EASA (European Aviation Safety Agency:欧州航空安全機関・欧州航空安全庁) が定めている基準が広く通用しており、各国はFAAおよびEASAの双方または一方と相互運用に関する協定を結ぶことにより、どちらかの基準に準拠した機体を各国で承認する形で運用されている状況にある。