（通讯员姜桂飞）2023年11月9日，法国国家信息及自动化研究院（INRIA）研究主任，bsport体育官方兼职教授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系统及其设计挑战，内容丰富，剖析透彻，令人受益匪浅。
