Challenges to the Design and Optimization of Cyber-Physical Systems

报告题目:Challenges to the Design and Optimization of Cyber-Physical Systems

报告人:Zebo Peng 教授

主持人:陈铭松 副教授

时间:2014年3月17号周一 10:00-11:30

地点:中北校区数学馆 201

报告摘要:

    We are witnessing an exponential increase of cyber-physical systems where the computational components interact with the physical world in a tightly manner. More and more of these systems are nowadays used for safety-critical applications, such as automotive electronics and medical equipment. These safety-critical applications impose stringent requirements on reliability, efficiency, low-power and testability of the underlying VLSI hardware implementation. With silicon technology scaling, however, VLSI circuits are built with smaller transistors, perform at higher clock frequencies, run at lower voltage levels, and operate very often at higher temperature. All these have major negative impact on reliability, performance, power-efficiency and testability. We are therefore facing the challenges of how to address all these technical problems and their interplay with the stringent real-time requirements imposed by many safety-critical applications. This talk will discuss the design of such cyber-physical systems by considering both fault-tolerance and real-time requirements at the same time. It will describe several key challenges and some emerging solutions to the design and optimization of such systems. In particular, it will present time-redundancy based fault-tolerance techniques to address transient faults which have become more and more common in nano-scale technology. It will also describe several design trade-offs including hardware/software co-design solutions for the optimization of cyber-physical systems.

报告人简介:

    Zebo Peng (彭泽波) received his B.Sc. degree in Computer Engineering from South China University of Technology in 1982, and his Ph.D. degrees in Computer Science from Linköping University in 1987. He has been Professor of Computer Systems and Director of the Embedded Systems Laboratory at Linköping University since 1996, and served as the Head of the Swedish National Graduate School in Computer Science in 2006-2008.

    Prof. Peng's research interests include design and test of embedded systems, electronic design automation, SoC testing, fault tolerant design, and real-time systems. He has published over 350 technical papers and four books. He received four best paper awards and a best presentation award at major international conferences. Two of his publications have been selected as the most influential papers of 10 years of DATE (the Design, Automation, and Test in Europe Conference).

    Prof. Peng serves currently as Associate Editor of the IEEE Transactions on VLSI Systems, the VLSI Design Journal, and the EURASIP Journal on Embedded Systems. He has served on the program committee of a dozen international conferences, including ATS, DATE, DDECS, DFT, ETS, IOLTS, ITC, RTCSA, and VLSI-SOC, and was the Program Chair of DDECS’04, ETS’07, DATE'08, and ETS’13. He served as the Chair of the IEEE European Test Technology Technical Council (ETTTC) in 2006-2009, and has been a Golden Core Member of the IEEE Computer Society since 2005. He is a recipient of the IEEE Computer Society Outstanding Contribution Award (2010) and Meritorious Service Award (2005), as well as the ACM Recognition of Service Award (2008).


©2016 华东师范大学高可信计算重点实验室