Research And Implementation Of Key Technologies For IP/ATM And Its Routing Protocol In On-Board Computer

Satellites are required to connect to the Internet seamlessly and transparently in the future. Most of nowadays satellites, however, still work in the traditional way which means that they are totally separated from Internet above the network layer. The best way to solve the problem is to use Internet Protocol. The working style of Satellite constellation and InterSatellite Link make the satellites become to work as a network. As a result, we should research the routing protocol used for on-board computer and satellite network.We researched and implemented the key technologies of IP/ATM and its routing protocol for on-board computer networking. We researched the use of ATM technology in on-board computer. ATM driver for the real time operating system RTEMS was developed. We discussed the performance of TCP when used in satellite networking and proposed a solution. The classical CIPOA was designed and implemented for the supporting of IP protocol. We tried to use RIP in on-board computer. Important questions were discussed and researched. A formal way was also used to research RIP.On-board computer system requires totally safety and reliability. We researched the reliability problem of on-board software. The most serious program flaw, buffer overflow, was researched. We researched the buffer overflow detecting method via model checking. Theoretical model for buffers and their related operations created. MCBuffer, a prototype tool for buffer overflow detecting based on model checking, was designed and implemented. At last, we used the prototype tool MCBuffer and the existing statically detecting tools to check the implemented critical codes of the on-board computer operating system for buffer overflow. The detecting results were analyzed.