2024年12月4日，信息学院智慧能源信息安全及大数据技术团队于F409举办了一场学术沙龙，单中元老师做了主题为“面向微内核车载操作系统的进程间通信制的安全技术研究”专题汇报。

在沙龙中，单中元老师概述了该项目对于车载系统安全性的意义，从形式化规范定义、IPC机制重构和性能评估与优化三个方面，介绍了项目的研究内容、研究目标及创新性，并分享了申报过程中的心得体会。

互动环节中，与会教师就形式化验证、IPC工作机制以及进程间通信安全技术在电力场景的应用等具体问题展开了交流和探讨，并对申报书进行了点评和反馈。此次沙龙不仅加深了参与者对申报书撰写的理解，也促进了智慧能源信息安全及大数据技术团队成员内部的学术交流。