报告人：慕尼黑理工大学 黄凯地点：张江校区软件楼 102 第一会议室时间：11 月 1 日上午 10：30联系人：张为华 zhangweihua@fudan.edu.cnAbstract:Timing is an important concern when designing an embedded system. While lots of researches on hard real-time systems focus on design-time analysis, monitoring the corresponding runtime behaviors are seldom investigated. In this talk, lightweight techniques for on-the-fly traffic conformity verification, violation regulation, and prediction for hard real-time systems are presented.The introduced techniques are based on the widely used arrival curve model which captures the worst/best-cases event arrivals in the time interval domain. These techniques are lightweight in terms of both computation and memory overheads, which is particularly suitable for resource-constrained embedded systems. FPGA implementation is also presented to demonstrate the effectiveness of techniques.BIO:Kai Huang is currently a research associate in the computer science department, Technical University of Munich, Germany. He was a research group leader in the fortiss GmbH in Munich Germany. He received his Ph.D. degree in ETH Zurich, Switzerland in 2010. He received B.Sc. and M.Sc. degree in computer science at Fudan University China 1999 and Leiden University The Netherlands 2005, respectively. His research interests include techniques for the analysis, design, and optimization of embedded systems. He received Chinese Government Award for Outstanding Self-Financed Students Abroad 2010, Best Paper Awards from Int'l Symposium on Systems, Architectures, Modeling and Simulation (SAMOS), and General Chairs' Recognition Award For Interactive Papers in the IEEE Conf. on Decision and Control (CDC) in 2009.
