Research on navigation data rule checking system based on ARINC424 specification | IEEE Conference Publication | IEEE Xplore