Although redundancy technique has improved the reliability and security of airborne computers, it also brings difficulties of software development: developing multi-channel software, among which there is logical connection, and you also need to debug every channel’s software in parallel. That’s very difficult, so generally speaking, debugging can only be done after real airborne computer hardware development, which delays the debugging and development process of computer softwares[1]. It has become an urgent and key issue that how software of airborne redundant computer can be