|
题 目:Formal Modeling and Analysis of Embedded Computing Systems
讲座人:宋晓宇 教授
时 间:2015年6月3日(周三)15:00
地 点:信息馆401学术报告厅
欢迎广大研究生和导师参加!
摘要:
Reliable hardware and software systems play a key role in applications where failure is unacceptable. Formal methods have become an important technique towards establishing the correctness of safety-critical system designs. The talk discusses formal modeling and verification techniques for cyber-physical system designs. The successful modeling and validation experience are addressed. The potential research challenges and directions are explored.
讲座人简介:
Dr. Xiaoyu Song received the PhD degree from the University of Pisa, Italy, 1992. From 1992 to 1998, he was on the faculty at the University of Montreal, Canada. He joined the Department of Electrical and Computer Engineering at Portland State University in 1998, where he is now a professor. He was an editor of IEEE Transactions on VLSI Systems and IEEE Transactions on Circuits and Systems. He was awarded an Intel Faculty Fellowship from 2000 to 2005. His research interests include formal methods, embedded system design, design automation, and optimization.
信息科学与工程学院
2015年6月2日 |
|