个人资料
教育经历中国科学院大学，上海微系统与信息技术研究所，通信与信息系统专业，工学硕士 2013 - 2017 研究方向：计算机安全 上海交通大学，软件学院，软件工程专业，工学学士 2009 - 2013 工作经历华东师范大学 软件工程学院 国家可信嵌入式软件工程技术研究中心 工程师 2017 - 今 个人简介本人于2017年加入华东师范大学软件工程学院。在国家可信嵌入式软件工程技术研究中心，从事科研工程项目研发工作。主要涉及的领域包括同步语言Scade编译器、基于QEMU的嵌入式系统虚拟化、工业应用运行时环境等。 社会兼职研究方向主要研究与工程方向为同步语言Scade编译器、基于QEMU的嵌入式系统虚拟化环境、工业应用运行时环境等。 同步语言Scade编译器工作是所在团队基于模型的分析验证环境的组成部分。团队基于模型的开发与分析验证环境， 是面向高安全嵌入式领域控制软件的集成开发环境。产品对标业界垄断产品Scade Suite集成开发环境。 其中对模型形式的Scade语言进行安全C代码生成的工作，即是同步语言Scade编译器。 嵌入式系统虚拟化环境方向基于QEMU技术，实现对不同微处理器架构的嵌入式片上系统进行虚拟化， 可作为对应硬件的替代。 工业应用运行时环境基于动态组件化技术，提供执行 IEC 61131-3 工业应用的执行环境。 招生与培养开授课程科研项目2022，《核能安全控制与交互系统软件建模技术研究》，技术工作 2022，《可信工业软硬件形式化验证技术研究》，技术工作 2022, 《基于DO-178C的机载软件符合性技术研究》，技术工作 2022，《SMAVE AI工控网络协议检测技术研究》，技术工作 2021，《基于大数据的航天器故障预测方法研究》，技术工作 2021，《自主 BIOS 核心软件形式化验证项目》，技术工作 2020，《多学科控制系统异构模型综合仿真验证技术研究》，技术工作 2020，《智能灌溉管理系统软件研发》，技术工作 2019，项目《软件复杂度度量与评估技术》，技术工作 2019，项目《面向任务的软件系统安全性建模与验证技术》，技术工作 2018，OBD在线检测软件，横向，技术工作 2018-2019，可信工业控制器基础软件与逻辑组态开发环境研制，上海科委，技术工作 2018-2019，自主可控的可信工业控制器及测试技术研发与应用，上海科委，技术工作 2018，HMI组态开发环境、云端组态和控制器服务平台研制，横向项目，技术工作 2017-2018，面向机器人控制器的嵌入式实时操作系统，上海经信委，技术工作 2017，自主可控的可信工业控制器及测试技术研发与应用，上海科委重大项目，技术工作 2017，恶意代码检测系统，横向，技术工作 学术成果专利 《一种边缘自治模型构建方法》， 排名4 《一种边缘自治模型构建装置》， 排名4 《一种基于中间语言的PLC程序验证方法》，排名5，20200424 《可编程逻辑控制器编程语言转换系统》，排名5，20200512 《可编程逻辑控制器编程语言转换方法》，排名5，20200110 《一种基于神经风格迁移的测试用例生成系统》，排名4，20200825 《一种基于中间语言的PLC程序验证系统》，排名5，20200825 《一种基于神经风格迁移的测试用例生成方法》，排名4，20201002 《一种基于IMCL模型的异构式多平台代码生成系统》，排名5，20201002 《一种基于IMCL模型的异构式多平台代码生成方法》，排名5，20201002 论文 * 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. 荣誉及奖励 |
|
蔡方达 |