software for airworthiness control