Information Sciences Seminar——基于在线验证的实时系统运行时安全监控与控制生成
报告人：Lei Bu (Nanjing University）
时间：2022-03-17 10:00-11:00
地点：腾讯会议：335-240-607
Abstract：
实时混成系统广泛出现在列控、航天、航空、智能驾驶等安全攸关领域，其行为正确性至关重要。然而，实时混成系统内部行为中离散、连续行为交织，极其复杂；而外界动态不确定环境更近一步加剧了相关系统行为复杂度，使得相关系统的安全保障难以进行。
针对此问题，我们提出了一种基于形式化验证的方法，运行时对系统短期内行为进行快速建模与验证，从而对潜在不安全行为进行发现与预警。在此基础上，进一步进行运行时细粒度控制参数自动生成，在发现潜在危险时，接管系统控制，保障安全。部分成果已实际部署于列控国家工程中心半实物仿真系统，实现危险行为成功预警与停车，引起领域广泛关注与影响。
Bio：
卜磊，南京大学计算机科学与技术系教授，博导。主要研究领域是软件工程与形式化方法，包括模型检验技术，实时混成系统，信息物理融合系统等方向。
2010年在南京大学获取计算机博士学位。曾在CMU、MSRA、UTD、FBK等科研机构进行访学与合作研究。相关工作发表于领域重要期刊与会议如TCAD、TC、TDSC、TCPS、TPDS、RTSS、HSCC等。入选国家级青年人才项目，NASAC青年软件创新奖，高校计算机专业优秀教师奖励计划，中国计算机学会青年人才发展计划，微软亚洲研究院铸星计划等。
