计算机科学与技术系

Department of Computer Science and Technology

Education background

Bachelor of Computer Science & Technology, Tsinghua University, Beijing, China, 1995;

Master of Computer Science & Technology, Tsinghua University, Beijing, China, 1997;

Ph.D. in Computer Network Architecture, Tsinghua University, Beijing, China, 2000.

 

Social service

863 Project “New Generation Reliable Network”: Export Committee (2008- )

Tsinghua University: Deputy Director of President’s Office (2005.05 - 2010.05)

Tsinghua University: Deputy Director of CIO Office (2010.05 -)

 

Areas of Research Interests/ Research Projects

Future Internet Architecture;

Formal Method, Protocol Testing and Measurement, the large-scale Internet Routing.

 

Research Status

In the recent five years, I have presided over or undertaken dozens of projects supported by National Natural Science Foundation of China, 973 Program, 863 Program and demonstrative sub-project of China Next Generation Internet CNGI. My research areas are mainly in next generation Internet protocol test based on formal methods, large-scale IPv6 network test, and Internet large-scale addressing and routing three aspects.

1. In the research on formal methods based next generation Internet, my group proposed routing and robust test related theories and algorithms, designed a comprehensive set of next generation Internet IPv6 core protocol cases, and developed TTCN-3 based next generation Internet protocol integrated test system (PITS), making contributions for domestic IPv6 core router development.

In the research of next generation Internet protocol test theory, we proposed dynamic threshold based BGP routing protocol real-time test theory and algorithm, inter domain routing convergence time algorithm combined with autonomous system hierarchy, robustness test algorithm combined with time constraints, communication multi-port finite state machine based protocol interoperability test generation algorithm etc. The self-designed whole set of routing protocols include IPv6 core protocols, address related protocols, transition protocols, and routing protocols etc., which have no precedent public report internationally. Besides, we developed TTCN-3 based next generation Internet protocol integrated test system (PITS). In developing domestic IPv6 core routers, we tested all the protocol realization, accelerating the development, and guaranteed the research and development quality using the above theories and algorithms, the whole unit of IPv6 protocol test cases, and the protocol integrated test system. The IPv6 core router we developed takes the lead in passing the Internet accessing test hold by the Ministry of Information Industry, and is widespread in China next generation Internet demonstrative project CNGI. It won the 1st class technological award of China Institute of Communications and major invention award of the Ministry of Information Industry in 2004, and the 2nd class national technological progress award in 2005.

2. In the research on large-scale IPv6 network test, we proposed large-scale pure IPv6 network interoperability, function, and performance test machine and scheme. I presided over the design of all test cases, comprehensively tested the function, performance, and multi-vendor equipment interoperability, playing an important role in CNGI-CERNET2/6IX development.

CNGI core network CNGI-CERNET/6IX is the largest trial network in CNGI project, and also the first pure IPv6 large-scale network in the world. It connects 25 core nodes of 20 cities throughout China and all IPv6 test network in the world with high speed and almost covers all types of IPv6 core routers. The interoperability, function, and performance test are complex, and critical to the system development. We proposed a distributed, synchronized-ordination and multi-coordination joint large-scale test model and scheme of pure IPv6 network without any precedent to learn from. The model is made according to test need, and combines with self-developed test equipment and advantages of various test devices. Besides, it integrates interoperability, function and performance test features. Based on the model, we designed a great number of test cases, relative completely test the multi-vendor interoperability, network function, and performance indicators and parameters. Thereby system development progress is sped up and network debug difficulties are simplified, playing a key role in promoting the system as a whole to world leading level. The project won the 1st class Science and Technology Progress Award of the Ministry of Education, Science and Technology Progress Award in 2006 and 2nd class National Science and Technology Progress Award in 2007.

3. In the research on next generation Internet large-scale addressing and routing technology, we proposed PI and PA separation based scalable addressing and routing architecture, and designed relative algorithms and technical solutions, achieving initial results.

In the recent two years, aiming at large-scale scalable addressing and routing selection issues in the next generation Internet, we determined the real IPv6 source address authentication based next generation Internet large-scale addressing and routing selection strategy. The research is ongoing, and has been listed in the fundamental research on new generation Internet architecture and protocols of 973 Program.

 

Honors And Awards

National Award for Science and Technology Progress, Second Class—CNGI-CERNET/6IX (2007);

Ministry of Education: Award for Science and Technology Progress, First Class—CNGI-CERNET/6IX (2007);

National Award for Science and Technology Progress, Second Class—IPv6 Core Router (2005);

China Computer Federation: Wang Xuan Award, First Class—IPv6 Core Router (2006);

 

Academic Achievement

1. Xia Yin, Zhiliang Wang, Chuanming Jing, Xingang Shi. A TTCN-3-based protocol testing system and its extension. Science in China Series F-Information Sciences, Nov. 2008, vol. 51, no. 11, pp.1703-1722.

2. Xia Yin, Min Tang, Zhiliang Wang. A dynamic threshold method of clustering update messages into routing events in BGP measurements. The 2nd IEEE/IFIP International workshop on Broadband Convergence Network. May, 2007.

3. Xia Yin, Xin Wu, Zhiliang Wang, Measuring IP Address Fragmentation from BGP Routing Dynamics, The 4th International ICST Conference on Scalable Information Systems(InfoScale 2009), Hong Kong.

4. Zhiliang Wang, Xia Yin, Chuanming Jing, A Formal Method to Real-time Protocol Interoperability Testing. Science in China Series F: Information Sciences. Feb. 2008, vol. 51, no. 2, pp.1812-14.

5. Li Ji, Xia Yin, Xingang Shi, Zhiliang Wang, A Synthetic Streaming Quality Measurement System on IP Networks. 15th IEEE International Conference on Networks (ICON2007). November 2007.