Real-time operating system for advanced avionics architecture | IEEE Conference Publication | IEEE Xplore