会议简介
会议信息
会议安排
相关链接
 

 

1.软件定义的网络中的容错

 

 

摘要

        软件定义的网络(SDN)现在看来已经成为下一代互联网最有希望的一个方案,得到学术界和产业界的热烈响应。而软件定义的网络中的容错因此成为一个新问题。SDN容错包括容交换机或链路故障、控制器和交换机的连接故障、和控制器本身故障。核心的问题是如何保持数据的一致性;如何面对日益更新的拓扑变化和各种异构的设备;以及如何保证控制命令的唯一正确。本文介绍了国际上部分SDN容错方面的研究工作,希望关于SDN容错方面的研究能够引起国内同仁的注意。

报告人简介

       闵应骅: IEEE Life Fellow,中国科学院计算技术研究所退休研究员、博士生导师。1996年IEEE遴选的大陆计算机领域第一位Fellow。1999-2006湖南大学特聘教授。发表论文269篇,近年发表科普文章32篇,科学网上博客点击量突破150万。曾多次担任IEEE国际会议主席或程序主席。IEEE在遴选他为Fellow的报告中确认了他在微电子测试和容错计算领域国际学术带头人的地位和贡献。主要研究领域包括微电子测试、容错计算和网络技术。

 

 
  2.Big Data for Test
  Abstract
 

  The size and complexity of production test programs have been growing to include more tests and design/process corners to address the demanding quality requirements of modern chips. In addition to the pass/fail result of each test item for each chip, there exist information in the huge amount of production test data which are valuable for test time reduction, test quality improvement, outliers identification for diagnosis, discovery of weak links in the manufacturing process, and improvement to the design robustness. There are clear benefits to formulate test problems as data analysis problems and employ tools in statistical modeling and data mining for uncovering hidden patterns, unknown correlations and other useful information in the production test data. In the talk, we describe some recent results in this area.

 

  Biography
 


   Cheng received his Ph.D. in EECS from the University of California, Berkeley in 1988. He worked at Bell Laboratories from 1988 to 1993 and joined the faculty at the University of California, Santa Barbara in 1993 where he is now Associate Vice Chancellor for Research and Professor in ECE. He was the founding director of UCSB’s Computer Engineering Program (1999-2002) and Chair of the ECE Department (2005-2008). He held a Visiting Professor position at National TsingHua Univ., Taiwan (1999), Univ. of Tokyo, Japan (2008), and Hong Kong Univ. of Science and Technology (2012), an Adjunct Professor at Peking University (2003-2005) and 1000 Talent Short-Term Chair Professorship at Zhejiang University, China (2012-2015). His current research interests include mobile embedded systems, system design validation and test, computer vision, and multimedia computing and currently serves as Director for DoD/MURI Center for 3D hybrid circuits which aims at integrating CMOS with high-density memristors. He has published more than 400 technical papers, co-authored five books, supervised over 35 PhD dissertations, and holds 12 U.S. Patents in these areas.

     Cheng, an IEEE fellow, received more than 10 Best Paper Awards from various IEEE conferences and journals. He has also received the 2004-2005 UCSB College of Engineering Outstanding Teaching Faculty Award. He served as Editor-in-Chief of IEEE Design and Test of Computers (2006-2009) and was a board member of IEEE Council of Electronic Design Automation’s Board of Governors, IEEE Computer Society’s Publication Board, and working groups of International Technology Roadmap for Semiconductors (ITRS). He has also served as General and Program Chair for several international conferences including IEEE International Test Conference in 2012 and International Symposium on VLSI Design, Automation and Test from 2009 to 2012.

   
 
  3.When Fault Tolerant (Circuit) Design Meets the Internet of Things
  Abstract
 

  The Internet of Things (IoT) is a group of devices or embedded systems that are connected by the Internet infrastructure to accomplish one or more specific applications with little or no human interaction. These THINGS are smart, capable of collecting, storing, and processing data as well as communicating with other THINGS. But they are often resource constrained. In this talk, we discuss the new challenges in designing the THINGS for the IoT with focus on the role that fault and fault tolerant design play. On one hand, we argue that the fault tolerant computing community is facing an unprecedented challenge of massive heterogeneous “faults” in the IoT era introduced by devices (e.g. circuit fabrication variations, faulty and aging devices, inaccurate measurements, the ever-changing operating environment), human (e.g. careless operational errors, malicious attacks) and anything in between. On the other hand, the unavoidable faults could change the way we treat them and give opportunities to solving some of the hardest problems in IoT domain such as security, trust, privacy, and energy efficiency.

 

  Biography
 


   Gang Qu received his B.S. degree in mathematics from the University of Science and Technology of China and Ph.D. in computer science from the University of California, Los Angeles. He joined the faculty at the University of Maryland at College Park in 2000, where he is currently a professor in the Department of Electrical and Computer Engineering and Institute for Systems Research. He is also a member of the Maryland Cybersecurity Center and the Maryland Energy Research Center.

     Dr. Qu is the director of Maryland Embedded Systems and Hardware Security (MeshSec) Lab and the Wireless Sensors Laboratory. His primary research interests are in the area of embedded systems and VLSI CAD with focus on low power system design and hardware related security and trust. The book based on his Ph.D. dissertation "Intellectual Property Protection in VLSI Designs: Theory and Practice" is the first in the field. His recent research activities are on trusted integrated circuit design, design IP protection, nano-scale hardware security primitives, and their applications in the Internet of Things. Dr. Qu is an enthusiastic teacher, he has taught and co-taught various security courses including VLSI Design Intellectual Property Protection, Cybersecurity for Smart Grid, Reverse Engineering and Hardware Security Lab, and a popular MOOC on Hardware Security through Coursera.

 
  4.代码分析&工具
  摘要
 

      代码分析技术已有40余年的历史,2000年以来,随着人们对软件可信性的日趋重视,以代码分析为基础,产生了上百个软件代码分析工具,其中商用工具有二十余个,在全球形成了数十亿美元的产业。
北京邮电大学从2004年开始进入软件代码分析领域,在国内是较早的单位之一。目前有40人的研究团队,在相关领域已有专著1部,待出版专著1部,专利50余个,软件著作权20余个,论文200多篇,所研发的两款软件代码分析工具DTS、CTS目前已在全国数百个单位使用。
DTS(软件缺陷检测工具):目前其主要技术指标达到国际先进水平,属国内首创,有完全知识产权,DTS可完成对软件运行时故障、安全漏洞的检测以及代码规则的检测,在市场上已形成了和美国4款相关工具竞争的局面,商业用户有50多个,占整个市场的10%左右。

CTS(软件代码检测工具):是一款完全自动化的软件单元测试工具,属于新一代产品,有完全知识产权。CTS可自动完成对被测单元的逻辑测试,包括语句、分支、MC/DC、路径、难测故障变异的覆盖测试。程序的预处理、测试用例的生成、测试环境建立与测试执行、故障定位、优化的回归测试都完全自动化。CTS对软件单元故障的检测率达90%以上,已基本上形成商用产品。目前有十几个用户,在未来2年内,可和美国产的相关工进行市场竞争。

 

 

报告人简介

     宫云战:北京邮电大学教授,博士生导师。目前主要从事软件测试技术研究,在国内较早开展了软件代码分析技术研究,在相关领域有教材1本,专著2本,论文100余篇。所带领团队研发的工具在国内的用户已超过500个。