小组研究成果被IEEE期刊TCAD 2021接收

清华大学软件系统安全保障小组研究成果“Code Synthesis for Dataflow Based Embedded Software Design”被期刊 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 接收。该论文提出了面向嵌入式系统的代码生成的方法并实现了一个代码生成工具DFSynth。该工具可以更有效地支持大多数广泛使用的建模特性，如表达式和布尔开关等。首先，基于针对分支组件的调度分析，将数据流模型分解为嵌套的if-else或switch-case语句，这弥补了代码和原始数据流模型之间的语义鸿沟。然后，为每个模型组件设计了设计良好的模板，并通过按序代码组装来合成结构良好的可执行C和Java代码。与现有PtolemyⅡ数据流模型的C、Java代码生成器和Simulink中的C代码生成器相比，DFSynth合成的代码行数平均减少99.7%、81.4%和61.9%，执行时间平均分别减少76.2%、56.8%和22.7%。该工作主要由博士生苏卓完成，博士后杨镒箫也参与了文章和工具的相关工作。
 
IEEE TCAD是中国计算机学会推荐的A类期刊，是计算机辅助设计领域中最具影响力的刊物之一。