时间：9月16日星期五 下午 2:00

地点：北二区二层大会议室

主办：信息工程学院

简介：

===========================================================

Title: Formal Modeling and Analysis of Embedded Computing Systems

Abstract: Reliable hardware and software systems play a key role in

applications where failure is unacceptable. Formal method has become

an important technique towards establishing the correctness of

safety-critical system designs and is attracting interest in industry.

The talk discusses formal modeling and verification techniques for

system designs. The successful validation experience and potential

research directions are addressed.

Bio: X. Song received his Ph.D. degree from University of Pisa, Italy,

1991. From 1992 to 1999, he was on the faculty of the Department of

Computer Science at the University of Montreal, Canada. Now he is a

professor in the Department of Electrical & Computer Engineering at

Portland State University. His research interests include formal

methods for hardware and software systems, embedded system design,

design automation, and optimization. He served as an associate editor

of IEEE Transactions on Circuits and Systems and IEEE Transactions on

VLSI Systems.