法国国家信息及自动化研究院(INRIA),学院兼职教授Jean-Pierre Talpin 教授应邀为我院师生做学术讲座

(通讯员姜桂飞)2023年11月9日,法国国家信息及自动化研究院(INRIA)研究主任,学院兼职教授Jean-Pierre Talpin 教授应邀为我院师生作题为“CPS design:Engineering safety-critical systems”的专业讲座。讲座在泰达学院4区101室设置线下会场,并通过飞书线上同步进行,学院相关专业教师、本科生及研究生近百人参加了此次讲座。

在热烈的掌声中讲座拉开了帷幕。Talpin 教授首先从嵌入式系统谈起,并以现代高端汽车为例展示了这类系统的复杂性,进而引出了建立在其之上的信息物理系统(Cyber Physical Systems,CPS),指出CPS作为计算进程和物理进程的统一体,是集成计算、通信与控制于一体的下一代智能系统。然后讲座重点分析了CPS系统设计在对环境特征及硬件抽象方面,相互关联和相互依赖系统的安全性方面以及时序可预测性(timing predictability)方面的挑战。Talpin 教授详细分析了CPS系统安全性难以保障的原因,并介绍了形式验证与过程认证的两大安全保障方法。针对时序可预测性挑战,重点讲解了CPS系统的正确性验证具有时态性(即要求在正确的时间产生正确的结果),提到了可预测的计算机体系结构,特别是操作系统的可预测性和可靠性。最后讲座涉及了CPS系统的模型及其分析描述语言,并以植入式心脏医疗器械的CPS模型为例具体展示了如何对心脏起搏器和病人的心脏建模,进一步基于时间自动机(timed automata)通过模型检测技术来验证所构建模型的性质。

讲座结束后,Talpin 教授详尽地解答了大家的问题,并对学院师生的热情接待以及积极参加讲座表示感谢。本次讲座全面系统地介绍了CPS系统及其设计挑战,内容丰富,剖析透彻,令人受益匪浅。


FaLang translation system by Faboba
Baidu
sogou