|
时间: 3月10日下午14:00
地点: FIT楼多功能厅
演讲人：Joseph sifakis
演讲题目：A Vision for Computer Science – The System Perspective
演讲人简介：
Joseph Sifakis教授现年62岁，是模型检查（Model-Checking）理论奠基人之一，2007年图灵奖获得者。Sifakis教授现任法国CNRS研究总监，以嵌入式系统著称世界的研究中心Verimag实验室的创始人，欧洲嵌入式系统项目European Network of Excellence ARTIST2 科学协调人。
演讲内容简介：
In this talk, I will discuss the evolution of Computer Science and in particular its shift of focus from algorithms and programs to systems. I will advocate for a coherent scientific foundation of system design and present a vision for its development encompassing three work directions:
Marrying Physicality and Computation: Computation models ignore physical time and resources and are by their nature very different from analytic models used in physical systems engineering. In order to take into account interaction of computing systems with physical environments they must be enriched and extended with paradigms and methods from Electrical Engineering and Control Theory.
Component-based Construction: Complex systems are designed by assembling heterogeneous components. Heterogeneity has different sources including a large variety of interaction mechanisms, synchronous or asynchronous execution and different levels of abstraction. We need theoretical frameworks encompassing meaningful and natural composition of heterogeneous components which is essential for tractable and productive system design.
Guaranteeing Correctness: System design flows are empirical and lack theoretical foundations and methods guaranteeing that the designed systems meet their requirements. Currently correctness of complex systems is ensured mainly by a posteriori checking which suffers from well-known complexity limitations and incurs high development costs. We need theory and methods the guarantee at design time system correctness. We distinguish two complementary avenues: One is enforcing by control essential properties to adapt a system’s behavior to uncertain and dynamically changing environments. The other is inferring global properties of composite systems from properties of their components.
I will conclude with general remarks about the nature of Computer Science as a scientific discipline on its own right and advocate for a deeper interaction and cross-fertilization with other more mature disciplines. |
