Safety Assessment for Certified Air Data Systems based on Synthetic Sensors