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


清华大学软件系统安全保障小组研究成果论文“MDD: A Unified Model-driven Design Framework for Embedded Control Software”被期刊 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 接收。
该论文提出提出了一个统一的模型驱动设计框架MDD,以促进嵌入式控制软件的开发。MDD可以支持由不同建模工具构建的模型的高效仿真和高质量代码生成。MDD框架支持扩展更多建模工具,也支持扩展到更多用途,例如测试和验证。首先,它提供了一个模型中间表示(MIR)和相应的解析器(Simulink Parser和Ptolemy Parser),以便于不同设计工具所构建的模型的统一表示和协作。然后,在分析原始MIR的数据流调度的基础上生成中间代码表示。最后,各种不同用途的代码转换器将中间代码表示综合为各种用途的代码,如用于仿真的代码和用于部署的代码。相比Ptolemy的代码生成器和Simulink Coder,使用MDD可以帮助它们分别减少98.9%和92.6%的仿真时间,分别减少99.7%和69.9%的生成代码行数,分别减少94.3%和34.3%代码执行时间。该工作主要由博士生苏卓完成,博士后杨镒箫和硕士生喻泽弘也参与了文章和工具的相关工作。

IEEE TCAD是中国计算机学会推荐的A类期刊,是计算机辅助设计领域中最具影响力的刊物之一。