A generic platform for safety-critical applications in General Aviation | IEEE Conference Publication | IEEE Xplore