苏 卓      Email: suzcpp@gmail.com    Google Scholar    English

苏卓博士，北京航空航天大学，副教授。于2023年1月获清华大学软件工程博士学位，2018年6月获东北大学学士学位。入选“北京高创计划·青年人才托举工程”、“博士后创新人才支持计划(博新计划)”、清华大学“水木学者计划”、“CCF形式化方法专委优秀博士论文激励计划”，主持了国家自然科学基金重大研究计划培育项目、面上项目以及博士后面上项目。博士期间曾获清华大学优秀博士论文、清华大学优秀毕业生等荣誉。

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

目前也在开展AI结合模型/测试的工作。长期招实习生和科研助理，欢迎联系。

profile photo

项目经历

2026.01 - 2028.12    国家自然科学基金重大研究计划培育项目（主持，在研，80万）

2026.01 - 2027.12    面向设计需求的控制软件智能确认测试生成（主持，在研，20万）

2025.12 - 2026.12    需求驱动的嵌入式软件确认测试生成和排序方法研究（某所，主持，在研，30万）

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. 模型高速仿真。模型仿真是模型驱动设计流程中的关键环节，直接影响开发周期和系统验证的效率。传统的基于解释执行的模型仿真方法存在执行速度低效的问题，难以针对大规模仿真数据进行快速验证。提出了利用模型生成的代码进行加速的仿真方法，利用计算异常诊断、仿真数据收集、覆盖统计等插桩代码实现仿真信息的全面收集。此外还通过仿真状态感知的输入步骤跳过方法实现了进一步的仿真加速。这些研究工作相比SOTA的工作取得了约215.3倍的仿真效率提升。(相关成果[13-14])

5. 需求驱动的系统智能测试。 确认测试是保障控制软件功能正确性和安全可靠运行的重要环节，直接关系到设计需求能否得到充分、准确的验证。传统确认测试高度依赖测试人员编写测试脚本，面临脚本编写周期长以及依赖专家经验等问题。针对控制软件需求中领域知识密集、接口参数繁多和时序约束严格等特点，研究基于大语言模型和多源工程知识融合的智能确认测试生成方法，形成从设计需求理解、测试场景构造、测试脚本与预言生成到执行反馈修正的智能化确认测试流程。

6. 应用落地。开发了一套模型驱动开发工具集MBD，其核心是基于中间表示的代码生成框架，目前涵盖了Simulink模型解析、Ptolemy模型解析、动态数据流/数据流模型调度转换、多个代码优化模块、面向模型仿真/测试/验证/部署的多个代码翻译器。工具集包含20多万行代码，目前已并入华为代码仓库，同时该工具集已在华为自研的行为建模工具中应用，相关成果在车辆交通和航空航天领域应用落地。

科研成果

  • [] 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]
  • [] 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]
  • [] 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]
  • [] 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]
  • [] 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]
  • [] 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]
  • [] 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]
  • [] 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]
  • [] 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]
  • [] Zehong Yu, Zhuo Su*, Yixiao Yang, Haowei Qiu, Rui Wang and Yu Jiang* . "SECO: Towards Code Compaction for Simulink via Verified Equivalence Extraction" . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 2026 (EMSOFT 26, TCAD 26, CCF-A) [PDF]
  • [] Zehong Yu, Zhuo Su*, Rui Wang and Yu Jiang* . "Synthesizing Hardware-Specific Instructions for Efficient Code Generation of Simulink" . The 48th IEEE/ACM International Conference on Software Engineering (ICSE 2026). Rio de Janeiro, Brazil. 12-18 April 2026. (ICSE 26, CCF-A) [PDF]
  • [] Haowei Qiu, Zhuo Su*, Zehong Yu, Xinhe Tong, Dongyi Yu and Yu Jiang . "GATES: Accelerating Solving-based Testing through Adaptive Solving and Guided Execution" . IEEE Transactions on Software Engineering (TSE). 2026. Early Access. (TSE 26, CCF-A) [PDF]
  • [] 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]
  • [] 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]
  • [] Zehong Yu, Yixiao Yang*, Zhuo Su*, Haowei Qiu, Rui Wang, Aiguo Cui, Zhan Shu and Yu Jiang . "MFRODO: Efficient and Memory-Sensitive Simulink Code Generation via Redundancy Elimination" . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 2026. Volume 45, Number 7, pp. 3455-3468. (TCAD 26, CCF-A) [PDF]
  • [] 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]
  • [] Yifan Cheng, Zehong Yu, Zhuo Su*, Ting Chen*, Xiaosong Zhang and Yu Jiang* . "AccSim: State-Aware Simulation Acceleration for Simulink Models" . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 2025. (TCAD 25, CCF-A) [PDF]
  • [] 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]
  • [] 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]
  • [] Shuangyu Lyu, Chuan Luo*, Ruizhi Shi, Zhuo Su and Chunming Hu . "DiverFPS: Generating Diverse Solutions for Floating-Point SMT Formulas" . The ACM International Conference on the Foundations of Software Engineering (FSE 2026). Montreal, Canada. 5-9 July 2026. (FSE 26, CCF-A) [PDF]
  • [] 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]
  • [] 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]
  • [] 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]
  • [] 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]
  • [] 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]