[2310.06506] Runway Sign Classifier: A DAL C Certifiable Machine Learning System