陈宇奇

发布时间：2023-12-14浏览次数：589



陈宇奇博士一直从事与物理信息融合系统可靠性和安全性相关的研究。物理信息融合系统是一种集成了先进的信息技术，自动控制技术和通讯技术的复杂嵌入式系统，具有高自治性、高实时性和高性能等特征。近年来，物理信息融合系统被应用于如电网系统、医疗系统、化工系统、交通等重要领域。然而在物理信息融合系统被推广的同时，如何保障物理信息融合系统可靠安全的运行成为了如今的热点课题。由于物理信息融合系统应用领域的多样性，以及该系统本身具有物理域和信息域高度耦合的特点，因此对于物理信息融合系统的研究往往需要涉及多个学科领域的专业知识，这也导致有关物理信息融合系统安全性和可靠性的研究变得非常具有挑战性。


为了解决这一难题，陈宇奇博士在过去的研究里利用了人工智能、软件测试、形式化方法等技术，设计出了针对物理信息融合系统的自动化测试以及认证技术，并且将这些技术运用在了工业控制系统和自动驾驶汽车中。在论文发表方面，陈宇奇博士已经发表论文10余篇，包括CCF-A类论文9篇。其中，以第一作者身份在包含安全领域顶级会议SP和软件工程领域顶级会FSE、ISSTA、ASE在内的CCF-A类会议上发表了5篇论文。