苏 卓      Email: suzcpp@gmail.com    Google Scholar

苏卓博士目前在清华大学进行博士后研究工作。于2023年1月获清华大学软件工程博士学位,2018年6月获东北大学学士学位。博士后期间入选了国家“博新计划”和清华大学“水木学者计划”,入选“CCF形式化方法专委优秀博士论文激励计划”,主持了国家自然科学基金面上项目以及博士后面上项目。博士期间曾获清华大学优秀博士论文、清华大学优秀毕业生、国家奖学金、一等奖学金等荣誉。

主要研究模型驱动的软件开发技术,重点关注嵌入式控制系统的代码自动生成以及模型代码的安全保障。针对模型驱动的软件开发提出了统一的代码生成框架,支持对不同工具构建的模型进行高质量代码生成以及高效率高覆盖的自动测试。相关系统已经被应用于华为车控行为建模系统中,相关论文发表在DAC、ASE、EMSOFT、TSE、TCAD等顶级会议和期刊上。

profile photo

项目经历

2024.01 - 2027.12    国家自然科学基金面上项目(主持,在研,50万)

2023.07 - 2025.03    中国博士后科学基金面上项目(主持,在研,8万)

2023.08 - 2024.08    面向覆盖率的测试用例生成技术(华为公司,主持,在研,56.65万)

2024.11 - 2027.11    可信嵌入式软件联合研究中心项目(中航国际金网,骨干,在研,1800万)

2019.05 - 2022.06    下一代可信嵌入式软件大颗粒技术研究(华为公司,骨干,结题,1875万)

2018.11 - 2019.12    信息物理系统融合建模仿真方法(装发项目,骨干,结题,48万)

研究内容

模型驱动开发技术广泛用于航空航天、汽车、轨道交通等安全攸关的重要领域。传统的手动软件开发方法面临着重要挑战,开发效率和代码安全性难以得到满足。而采用基于模型的嵌入式系统设计则可以有效地减少软件系统错误的发生。模型驱动开发流程主要包含四个阶段:建模、仿真、测试和代码生成。

1. 基于中间表示的统一的代码生成框架(右图)。现有的建模工具在不同领域的建模能力差别很大,将不同的建模工具结合起来进行模型驱动设计可以实现其功能的充分利用。针对模型驱动的软件开发提出了基于中间表示的统一的代码生成框架,该框架能够向前对接不同建模工具,向后对接不同用途的代码生成。目前学术界已有10余篇高水平论文基于该框架实现,相关研究包括模型的高速仿真、模型测试、高性能代码生成等。这些论文相比SOTA的工作均获得了显著的效果提升。(相关成果[1-13])

2. 模型的高质量代码生成。代码的质量直接影响嵌入式设备的运行效率。越高的代码执行效率意味着系统响应越快、调度越流畅。针对传统代码生成器面临的诸多致使代码效率低的问题,比如向量处理器未被充分利用、处理器流水线阻塞、冗余计算代码等。完成了SIMD指令生成、流水线调度优化、冗余代码精简等一系列工作,能够针对广泛的模型进行高质量的代码生成。在不同模型场景下相比SOTA的工作取得了1.2-16倍的代码效率提升。(相关成果[4-5][10-12])

3. 高效高覆盖的模型测试。模型测试是模型驱动开发过程中的重要步骤,它关系到最终系统的安全稳定运行。自动测试用例生成技术可以让测试人员从复杂的用例构建任务中解放出来,能够帮助用户快速发现模型的设计缺陷。传统的基于约束求解方法和基于随机仿真方法面临状态空间探索慢、覆盖反馈效率低的问题。提出了状态感知求解、模型模糊测试以及两者结合的模型测试用例生成方法。特别是针对状态和逻辑复杂的模型,这些研究相比SOTA的工作取得了约35倍的效率改进和60%的覆盖率提升。(相关成果[6-9])

4. 应用落地。开发了一套模型驱动开发工具集MBD,其核心是基于中间表示的代码生成框架,目前涵盖了Simulink模型解析、Ptolemy模型解析、动态数据流/数据流模型调度转换、多个代码优化模块、面向模型仿真/测试/验证/部署的多个代码翻译器(包含苏卓博士所有相关成果的先进技术)。工具集包含20多万行代码,目前已并入华为代码仓库,同时该工具集已在华为自研的行为建模工具中应用,并在华为汽车生产线和多家友商车企应用落地。

科研成果    (发表论文19篇,其中以第一作者发表CCF-A论文9篇)

  • [1] Zhuo Su, Dongyan Wang, Yixiao Yang*, Zhehong Yu, Wanli Chang, Wen Li, Aiguo Cui, Yu Jiang* and Jiaguang Sun . "MDD: A Unified Model-Driven Design Framework for Embedded Control Software" . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2022. Volume 4, Number 10, pp. 3252-3265 (TCAD 22, CCF-A) [PDF]
  • [2] Zhuo Su, Dongyan Wang, Yixiao Yang, Yu Jiang*, Wanli Chang, Liming Fang, Wen Li and Jiaguang Sun . "Code Synthesis for Dataflow Based Embedded Software Design" . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). January 2022. Volume 41, Number 1, pp. 49-61 (TCAD 21, CCF-A) [PDF]
  • [3] Zhuo Su, Dongyan Wang, Yixiao Yang, Mingrui Zhang, Yu Jiang* and Jiaguang Sun . "Code Generation Method of Data Flow Model Based on Branch Marking" . Journal of Software (JOS). 2021. Volume 32, Number 6, pp. 1647-1662 (JoS 21, CCF-A) [PDF]
  • [4] Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang*, Yu Jiang*, Rui Wang, Wanli Chang and Jiaguang Sun . "HCG: Optimizing Embedded Code Generation of Simulink with SIMD Instruction Synthesis" . Proceeding of the 59th ACM/IEEE Design Automation Conference (DAC 22). San Francisco, CA, USA. July 10–14, 2022. pp.1033-1038 (DAC 22, CCF-A) [PDF]
  • [5] Zhuo Su, Dongyan Wang, Zehong Yu, Yixiao Yang, Yu Jiang*, Rui Wang, Wanli Chang, Wen Li, Aiguo Cui and Jiaguang Sun . "PHCG: Optimizing Simulink Code Generation for Embedded System with SIMD Instructions" . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 2023. Volume 42, Number 4, pp. 1072-1084 (TCAD 23, CCF-A) [PDF]
  • [6] Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui and Yu Jiang* . "STCG: State-Aware Test Case Generation for Simulink Models" . Proceeding of the 60th ACM/IEEE Design Automation Conference (DAC 23). San Francisco, CA, USA. July 9–14, 2023. pp. 1-6 (DAC 23, CCF-A) [PDF]
  • [7] Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui and Yu Jiang* . "HSTCG: State-Aware Simulink Model Test Case Generation with Heuristic Strategy" . IEEE Transactions on Software Engineering (TSE). 2024. (TSE 24, CCF-A) [PDF]
  • [8] Zhuo Su, Zehong Yu, Dongyan Wang, Rui Wang, Yang Tao and Yu Jiang* . "CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing" . Proceeding of the 61th ACM/IEEE Design Automation Conference (DAC 24). San Francisco, CA, USA. June 23–27, 2024. 6 pages (DAC 24, CCF-A) [PDF]
  • [9] Zhuo Su, Zehong Yu, Dongyan Wang, Wanli Chang, Bin Gu and Yu Jiang* . "Test Case Generation for Simulink Models using Model Fuzzing and State Solving" . The 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024). Sacramento, California, USA. 27 October - 1 November 2024. (ASE 24, CCF-A) [PDF]
  • [10] Zehong Yu, Zhuo Su*, Yixiao Yang, Jie Liang, Yu Jiang*, Aiguo Cui, Wanli Chang and Rui Wang . "Mercury: Instruction Pipeline Aware Code Generation for Simulink Models" . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 2022. Volume 41, Number 11, pp. 4504-4515 (EMSOFT 22, TCAD 22, CCF-A) [PDF]
  • [11] Zehong Yu, Zhuo Su*, Yu Jiang*, Aiguo Cui and Rui Wang . "Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination" . Proceeding of the 61th ACM/IEEE Design Automation Conference (DAC 24). San Francisco, CA, USA. June 23–27, 2024. 6 pages (DAC 24, CCF-A) [PDF]
  • [12] Zehong Yu, Yixiao Yang, Zhuo Su*, Rui Wang, Yang Tao and Yu Jiang* . "Knight: Optimizing Code Generation for Simulink Models with Loop Reshaping" . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 2024. (TCAD 24, CCF-A) [PDF]
  • [13] Yifan Cheng, Zehong Yu, Zhuo Su, Ting Chen*, Xiaosong Zhang and Yu Jiang* . "AccMoS: Accelerating Model Simulation for Simulink via Code Generation" . Proceeding of the 61th ACM/IEEE Design Automation Conference (DAC 24). San Francisco, CA, USA. June 23–27, 2024. 6 pages (DAC 24, CCF-A) [PDF]
  • [14] Yu Jiang, Mingzhe Wang, Zhuo Su*, Yixiao Yang, and Huihui Wang . "Formal Design of Multi-Function Vehicle Bus Controller" . IEEE Transactions on Intelligent Transportation Systems (TITS). 2021. Volume 22, Number 6, pp. 3880 - 3889 (TITS 21, CCF-B) [PDF]
  • [15] Yuqiao Yang, Zhongjie Wu, Yongzhao Zhang, Ting Chen, Jun Li, Jie Yang, Wenhao Liu, Xiaosong Zhang, Ruicong Shi, Jingwei Li, Yu Jiang and Zhuo Su . "UWBAD: Towards Effective and Imperceptible Jamming Attacks Against UWB Ranging Systems with COTS Chips" . The 31th ACM Conference on Computer and Communications Security (CCS 2024). Salt Lake City, UT, USA. October 14-18, 2024. 15 pages (CCS 24, CCF-A) [PDF]
  • [16] Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Jingxuan Sun, Zhuo Su, Yu Jiang, Jiaguang Sun and Huizhong Li . "Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos Submission" . The 30th ACM Conference on Computer and Communications Security (CCS 2023). November 26-30, 2023. (CCS 24, CCF-A) [PDF]
  • [17] Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Jingzhou Fu, Zhuo Su, Qing Liao, Bin Gu, Bodong Wu and Yu Jiang* . "Data Coverage for Guided Fuzzing" . Proceeding of the 33th USENIX Security Symposium (USENIX Security 24). Philadelphia, PA, USA. August 14–16, 2024. 16 pages (USENIX Security 24, CCF-A, Distinguished Paper Award) [PDF]
  • [18] Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang* and Jiaguang Sun . "Building Dynamic System Call Sandbox with Partial Order Analysis" . Object-Oriented Programming Systems, Languages and Applications (OOPSLA 23). October 22–27, 2023. (OOPSLA 21, CCF-A) [PDF]
  • [19] Yuanliang Chen, Yu Jiang*, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Xun Jiao and Zhuo Su . "EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers" . Proceeding of the 28th USENIX Security Symposium (USENIX Security 19). Santa Clara, CA, USA. August 14-16, 2019. pp. 1967-1983 (USENIX Security 19, CCF-A) [PDF]