蔡方达 - 华东师范大学 - 软件工程学院

个人简介

本人于2017年加入华东师范大学软件工程学院。在国家可信嵌入式软件工程技术研究中心，从事科研工程项目研发工作。主要涉及的领域包括同步语言Scade编译器、基于QEMU的嵌入式系统虚拟化、工业应用运行时环境等。教育经历中国科学院大学，上海微系统与信息技术研究所，通信与信息系统专业，工学硕士 2013 - 2017 研究方向：计算机安全上海交通大学，软件学院，软件工程专业，工学学士 2009 - 2013 工作经历华东师范大学软件工程学院国家可信嵌入式软件工程技术研究中心工程师 2017 - 今

研究领域

主要研究与工程方向为同步语言Scade编译器、基于QEMU的嵌入式系统虚拟化环境、工业应用运行时环境等。同步语言Scade编译器工作是所在团队基于模型的分析验证环境的组成部分。团队基于模型的开发与分析验证环境，是面向高安全嵌入式领域控制软件的集成开发环境。产品对标业界垄断产品Scade Suite集成开发环境。其中对模型形式的Scade语言进行安全C代码生成的工作，即是同步语言Scade编译器。嵌入式系统虚拟化环境方向基于QEMU技术，实现对不同微处理器架构的嵌入式片上系统进行虚拟化，可作为对应硬件的替代。工业应用运行时环境基于动态组件化技术，提供执行 IEC 61131-3 工业应用的执行环境。

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

A Federated Model Personalisation Method Based on Sparsity Representation and Clustering, Hailin Yang, Yanhong Huang*, Jianqi Shi and Fangda Cai* Formal Verification of ST Programs using CSP, Journal of Physics: Conference Series, 2021 sep, IOP Publishing, Qibin Zhou and Fangda Cai and Yang Yang and Changshun M. Jiao, Y. Huang, J. Shi, F. Cai and R. Lin, Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams, 2020 27th Asia-Pacific Software Engineering Conference (APSEC), Singapore, Singapore, 2020, pp. 11-20, doi: 10.1109/APSEC51365.2020.00009.