陈仪香

1978年8月--1982年6月 江苏师范大学 数学本科 毕业，学士学位

1985年9月--1988年1月 陕西师范大学 数学，硕士学位

1992年9月--1995年6月 四川大学     数学博士研究生，博士学位

1982年8月--1996年1月 江苏师范大学 数学系 助教、讲师、副教授

1996年1月--1997年9月 苏州大学  数学系 数学博士后流动站 博士后、副教授

1997年9月--2007年1月 上海师范大学 数学学院 副教授、教授、科技处处长

2003年9月--2004年2月 英国伯明翰大学 计算机学院 国家公派高级访问学者

2007年1月--2024年3月 华东师范大学 软件学院 教授、副院长 教育部工程研究中心主任

2024年4月-退休  华东师范大学 软件学院 返聘教授

自1982年6月数学本科毕业后， 一直在高等学校担任教师。 2024年4月退休。 现在华东师范大学软件学院返聘教授。 

实验室： 可信智能系统开发实验室

已毕业博士生：吴恒洋、周洁、马艳芳、陶红伟、吴新星、潘海玉、姚兴华、陈艳文、李慧勇、王娜、何康力、王保华、张元睿、许巾一、刘晗

在读博士生： 李凯旋、康宁

教  学：软硬件协同设计（研究生）

      智能系统优化设计（本科生）

      软件质量分析（本科生）

      高级嵌入式系统设计（非全研究生）

中国人工智能学会人工智能逻辑专委会主任委员、上海市人工智能学会可信智能系统专委会主任委员、上海浦东物联网协会副会长。

    Editor-in-Chief, International Journal of Big Data Intelligence www.inderscience.com/ijbdi

学科：软件工程,人工智能

领域：人工智能可信基础、可信智能系统、智能软件形式化方法、 智能嵌入式系统设计

兴趣：智能系统设计与优化、物联网、实时系统规范语言设计与语义、软件可信度量与评估、软硬件协同设计。

软硬件协同设计： 全日制研究生

高级嵌入式系统设计： 非全研究生

智能系统优化设计： 本科生

课程介绍： 

软硬件协同设计是智能嵌入式系统设计与实现的基本方法和技术之一，它针对智能嵌入式系统产品的多个性能指标进行软硬件优化配置，使整个系统性能最优。这些性能指标有时表现是矛盾的，如：系统运行时间越快系统成本就越高，系统功耗也就越大。软硬件本身的性能也是有差异的，如硬件运行时间一般要短于软件运行时间，但硬件是硬件面积的限制。因此，如何进行软硬件配置，即如何安排软件执行的任务和硬件执行的任务，成了智能嵌入式系统性能整体优化的关键。

本课程定位为实践探究型，将智能嵌入式系统行业前沿学术研究成果组成教材基本内容。以解决行业前沿典型案例为教材基本知识点选取的推动剂，形成了产业技术与学科理论融合的教材内容。一方面填补电子信息领域人才培养教材空白，另一方面为解决信息领域“卡脖子”问题培养复合型高端人才。

  本课程的知识目标：①系统级建模与仿真、性能获取等基础知识；②从性能优化关键点的角度，进行智能嵌入式系统软硬件配置方案方法的核心技术；③在异构嵌入式系统设计平台上，集成开发具体智能嵌入式系统的设计实践能力。本教材是数字逻辑、FPGA系统开发、嵌入式系统设计、智能系统规范与建模等知识的融合和延伸，为后续物联网及智能系统实践提供更加具体和综合的理论、方法和技术基础，为培养具有系统级的科学研究和综合开发素质的工程师提供恰当的知识和技能。

1、973 物联网项目， 软件物化理论研究，2011CB302802，2011-2013。

2、863 项目：软件可信性度量模型的研究, 2007AA01Z189，2007-2009。

3、国家自然基金委项目：具有时空一致性的软件形式化理论与方法的研究， 61370100，2014-2017。

4、国家自然基金委项目：基于多维属性的软件可信性度量模型的研究，90718013， 2008-2010。

5、国家自然基金委项目：具有模糊性程序语义模型的研究，60673117,2007-2009

6、国家自然基金委项目：不确定程序的语义模型， 60273052，2003-2005.

7、国家自然基金委项目：形式语义学的序结构和逻辑结构， 69873034，1999- 2001

8、上海市高校科技发展基金项目：程序的不确定性与可靠性研究，02DZ46,2001-2004.

9、上海市教委科研项目：上海高中数学基础知识智能学习系统，05DZ06，2005-2007. 

学术专著： 

[1] 陈仪香著，形式语义学的稳定论域理论， （国家自然科学基金研究专著），科学出版社， 北京，2003.

[2] 陈仪香、陶红伟著， 软件可信性度量评估与增强规范， （国家科学技术学术著作出版基金2018-F-023）,科学出版社，北京， 2019.

教材：

[1] 陈仪香，陈彦晖，智能嵌入式系统设计，2023，机械工业出版社， 重点大学计算机教材。

学术论文：

dblp: Yixiang Chen

[1] Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen:Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? Proc. ACM Softw. Eng. 1(FSE): 1447-1470 (2024)

[2] Han Liu, Daoyuan Wu, Yuqiang Sun, Haijun Wang, Kaixuan Li, Yang Liu, Yixiang Chen:Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts. USENIX Security Symposium 2024

[3] Han Liu, Jian Zhang, Cen Zhang, Xiaohan Zhang, Kaixuan Li, Sen Chen, Shang-Wei Lin, Yixiang Chen, Xinhua Li, Yang Liu:
FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools. CoRR abs/2403.16032 (2024)

[4] Jinyi Xu, Zuowei Zhang, Ze Lin, Yixiang Chen, Zhe Liu, Weiping Ding:
How to characterize imprecision in multi-view clustering? CoRR abs/2404.04970 (2024)

[5] Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen:Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? CoRR abs/2404.18186 (2024)

[6] Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, Yixiang Chen:
PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software. CoRR abs/2407.17065 (2024)

[7] Kangli He,Hengyang Wu, Yixiang Chen，On divergence-sensitive weak probabilistic bisimilarity, Information and Computation, 292 (2023):105033

[8] Kangli He,Hengyang Wu, Yixiang Chen，On divergence-sensitive weak probabilistic bisimilarity, Information and Computation, 292 (2023):105033

[9] Xu, Jinyi, Hao Shi, and Yixiang Chen. Efficient tasks scheduling in multicore systems integrated with hardware accelerators. The Journal of Supercomputing 79(2023): 7244-7271.

[10] Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, and Yixiang Chen. 2023. A Comprehensive Study on Quality Assurance Tools for Java. ISSTA 2023，New York USA.

[11] Kaixuan Li, Sen Chen, Lingling Fan, Ruitao Feng, Han Liu, Chengwei Liu, Yang Liu, and Yixiang Chen.  Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java. ESEC/FSE,2023，New York USA.

[12] 刘 晗, 李凯旋, 陈仪香，人工智能系统可信性度量评估研究综述，软件学报，2023,34(8):3774−3792。

[13] Zhong Li, Yixiang Chen, A Novel Real-Time Traffic Signal Control Strategy for Emergency Vehicles, IEEE ACCESS,10(2022):19481 - 19492

[14] Yinyi Xu, Kaixuan Li, Yixiang Chen, Real-time task scheduling for FPGA-based multicore systems with communication delay, Microprocessors and Microsystems,Volume 90, April 2022, 104468.

[15] Shi, Hao, Yixiang Chen, and Jinyi Xu. An efficient scheduling algorithm for distributed heterogeneous systems with task duplication allowed. 2021 ISPA/BDCloud/SocialCom/SustainCom. IEEE, 2021.

[16] Meng Wang; Xinghua Yao; Yixiang Chen An Imbalanced-Data Processing Algorithm for the Prediction of Heart Attack in Stroke Patients，IEEE ACCESS 9（2021）：25394 - 25404 

[17]  Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet,

A clock-based dynamic logic for the verification of CCSL

specifications in synchronous systems，Science of Computer Programming 203 (2021) 102591。

[18] Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu, A clock-based dynamic logic for schedulability analysis of

CCSL specifications，Science of Computer Programming 202 (2021) 102546

[19] Radwan Abdullah Al-shawesh，Yi Xiang Chen，Enhancing Histopathological Colorectal Cancer Image Classification by using Convolutional Neural Network，medRxiv，March 9, 2021.

[20] Kangli HE, Holger HERMANNS, Hengyang WU, Yixiang CHEN. Connection models for the Internet-of-Things Front. Comput. Sci.2020,14(3):62-82.

[21]Yuanrui ZHANG, Frédéric MMLLET, Yixiang CHEN.A verification framework for spatio-temporal consistency language with CCSL as a specification language. Front. Comput. Sci.2020 ,14:105–129.

[22] Yuanrui Zhang, Yixiang Chen, Hengyang Wu:
A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour. IEEE Access 7: 57172-57187 (2019)

[23] Baohua Wang, Yixiang Chen, Shun Zhang, Hengyang Wu:
Updating Model of Software Component Trustworthiness Based on Users Feedback. IEEE Access 7: 60199-60205 (2019)

[24] Peifen Wang, Yixiang Chen, Hengyang Wu:
A Hybrid Clock Logic System for CPS. ISKE 2019: 675-682

[25] Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen:
A Logical Approach for the Schedulability Analysis of CCSL. TASE 2019: 25-32

[26]Zhang Y, F.Mallet, Chen YX, A verification framework for spatio-temporal consistency language with CCSL as a specification language, Frontiers of Computer Science(2018)

[27] Wu H, Chen YX, Bu T, Deng Y, Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems, Fuzzy Sets and Systems, 2018，333：106-123.

[28] Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen:
Bisimulations for fuzzy transition systems revisited. Int. J. Approx. Reason. 99: 1-11 (2018)

[29] Bu T, Wu H，Chen YX, Computing behavioural distance for fuzzy transition systems, TASE 2017

[30] Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet:
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. FTSCS 2018: 101-118

[31] Yufei Yin, Shaoying Liu, Yixiang Chen:
Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. SOFL+MSVL 2018: 71-88

[32] Shingo Fukuoka, Yixiang Chen, Shaoying Liu:
Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic. GSKI (1) 2017: 83-95

[33] He K, H.Hermanns, Chen YX,  Models of connected things: on priced probabilistic timed Reo, 2017 IEEE 41st Annual Computer Software and Applications Conference,pp 233-243

[34]  Li J, Zhang Y, Chen YX, A self-adaptive traffic light control system based on speed of vehicles, 2016 IEEE International Conference on Software Quality, Reliability and Security Companion, pp 381-388.

[35] Yuanrui Zhang, Yujing Ma, Yixiang Chen, A UTP Refinement Model of the STeC Language,2016QRS:236-243.

[36] Kangli He, Yixiang Chen ect..PSTeC: A Location-Time Driven ModellingFormalism for Probabilistic Real-Time Systems,A. Remke and B.R. Haverkort (Eds.): MMB & DFT 2016, LNCS 9629, pp. 77–91, 2016.

[37] Na Wang, Yixiang Chen, A Comprehensive Trust Model Based on Multi-factors for WSNs,INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 10(2):248-262, April, 2015.

[38] Yuanrui Zhang, Yixiang Chen, Yujing Ma, A Framework for Data-Driven Automata Design,L. Liu and M. Aoyama (Eds.): APRES 2015, CCIS 558, pp. 33–47, 2015.

[39] Yanwen Chen, Yixiang Chen, Eric Madelaine,Timed-pNets: a communication behavioural semantic model fordistributed systems,Front. Comput. Sci., 2015, 9(1): 87–110.

[40] 王婧,陈仪香,顾斌等航天嵌入式软件可信性度量方法及应用研究，中国科学: 技术科学 2015 年 第45 卷 第2 期: 221-228

[41]He K, Zhang M, He J, et al.，Probabilistic model checking of Pipeprotocol，Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on. IEEE, 2015, pp 135-138.(EI, CCF-C)

[42] He K, Chen YX, Zhang M, Zhang Y, PSTeC: A location-time driven modelling formalism for probabilistic real-Timesystems. measurement, Modelling and Evaluation of Dependable Computer andCommunication Systems. Springer International Publishing, 2016, pp 77-91.

[43] Yang Z, Xiao B, Chen YX， Modeling and verification of Space-Air Ground integrated networks on requirement level using STeC, Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on. IEEE, 2015, pp 131-134.

[44] Chen YX, Zhang Y, A hybrid clock system related to STeC language, The Proceeding of SERE 2014, San Francisco, USA, June 2014: pp 199-203,

[45] Zhang Y, F. Mallet, Chen YX, Timed automata semantics of spatial-temporalconsistency language STeC, Theoretical Aspects of Software Engineering (TASE), International Symposium on. IEEE, 2014, pp 201-208.

[46]WengyangWu,YixiangChen:CoalgebrasforFuzzyTransitionSystems.Electr.NotesTheor.Comput.Sci.301:91-101(2014)

[47] Yixiang Chen, Yuanrui Zhang, A Hybrid Clock System Related to STeC Language, SSCPS 2014.

[48] HengyangWu,YixiangChen,MinZhang.On Denotational Semanticsof Spatial-Temporal Consistency Language STeC.2013 International Symposiumon Theoretical Aspects ofSoftware Engineering,pp.113-120,2013

[49] YanwenChen,YixiangChen.Real-TimeSchedulinginCyber-PhysicalSystems.Control Engineering and applied informatics,13(3):41-50,2011

[50] YanwenChen,YixiangChen,EricMadelaine.Timed-pNets:A formal communication behaviormodel for real-time CPS system.

[51] HaiyuPan,MinZhang,YixiangChen. Bisimilarity for Fuzzy Doubly Labeled Transition System.2012 International Conference on Quantitative Logic and Soft Computing,pp.207-214.doi:10.1142/9789814401531_0030

[52] HaiyuPan,MinZhang,YixiangChen.Lattice-Valued Kripke Structures Basedon Complete Residuated Lattice.In the proceeding of 2012 IEEE Sixth International Conference on Software Security and Reliability Companion (SERE2012).Pp.137-143.2012.DOI10.1109/SERE-C.2012.29

[53] Haiyu Pan,Min Zhang,Yixiang Chen.Bisimulation for Lattice-valued TransitionSystems.In：TASE2012 pp.279-282,2012

[54]Yixiang Chen.STeC: a location-trigged Specification language for Real time Systems, The Proceeding of  15th International Symposium on Object/Component/Service Oriented Real Time Distributed Computing Workshops，Page 1-5, March 2012.  

[55]Yanwen Chen, Yixiang Chen, and Eric Madelaine, TimedpNets: A formal communication behavior model for real-time CPS system, published in  the workshop of Trustworthy Cyber-Physical Systems in conjunction with CONCUR 2012, September 3 , 2012, Newcastle ,UK.

[57]Yanwen Chen, Yixiang Chen, Task Assignment and on-line real-time scheduling in Cyber Physical System, Journal of Control  Engineering and  Applied Informatics  Vol.13, No.3, pp. 41-50, 2011.

[58] Yanwen Chen,Fabrice Huet and Yixiang Chen,Implementation and Optimization of RDF QueryUsing HADOOP, First International Conference on Cloud Computing and Services Science (CLOSER 2011),May 7-9,2011, Noordwijkerhout,The Netherlands.

[59] Hongwei Tao Yixiang Chen. A New Metric Model for Trustworthiness of Softwares Telecommunication Systems‚ 2011.

[60] Yixiang Chen,Tianming Bu,Min Zhang and Hong Zhu. Measurement of Trust Transitivity in Trustworthy Networks Journal of Emerging Technologies in Web Intelligence 2010--Vol 2 (4):319-325.

[61] Henyang Wu，Yixiang Chen，A Duality Theorem for Quantitative Semantics，Electronic Notes in Theoretical Computer Science‚ 2010--Vol 257:87-97.

[62] Yixiang Chen，Xinxing Wu，Success Measurement of Web Services with BPEL，SOSE2010:86-90‚ IEEE Computer Society.

[63]Hongqwei Tao，Yixiang Chen，Another Metric Model for Trustworthiness of 

Softwares Based on Partition，AISC 2010--Vol 82:695-705.

[64] Yixiang chen‚ Min Zhang‚ Hong Zhu‚ Tianming Bu‚ Average Transitive Degrees for Trustworthy Network. Lecture Notes in Computer Science‚ Vol. 5589: 682-689‚2009 

[65] Yi-Xiang Chen， Heng-Yang Wu‚ Domain  Semantics  of  Possibility‚ Information Science‚178：2661-2679（2008）‚http://dx.doi.org/10.1016/j.ins.2008.01.016
[66] Yi-Xiang Chen， Heng-Yang Wu‚ Semantics of Sub-probability Programs‚ Frontier of Computer Science in China‚ 2(2): 29-38‚ 2008. http://dx.doi.org/10.1007/s11704-008-0004-0
[67] Chen Yi-Xiang‚ Achim Jung‚ A Logical Approach to Stable Domains. Theoretical Computer Science‚368（2006）124-148.
[68] Chen Yi-Xiang‚Zhang Guo-Qiang‚ Maximality and totality of Stable Functions in Stable Bifinite Domains‚ An International Journal of Computers and Mathematics with Applications‚ 51(2006) 1011-1020.

[69] Guoqiang Zhang, Yixiang Chen. Domains via Graphs. J. Comput. Sci. Technol. 16(6):

505-521(2001)

[70] Yixiang Chen. On compactness of induced I(L)-fuzzy topological spaces. Fuzzy Sets Syst. 88(3): 373-378 (1997)

[71] Yixiang Chen.Convergence in topological molecular lattices. Fuzzy Sets Syst. 

84(1): 97-102 (1996)

一、获奖情况：

1、教育部自然科学奖一等奖，基于模型的可信软件理论与开发方法，2012年2月10日。

2、北京市科技进步奖一等奖，航天嵌入式软件可信性保障关键技术与应用，2020年8月17日。

3、中国计算机学会科技进步奖二等奖，软件系统可信性量化评估方法与应用，2022年11月8日。

二、人才称号：

1、江苏省普通高等学校优秀青年骨干教师，江苏省教育委员会，1992年8月26日

2、上海市曙光学者，上海市教育发展基金会，2002年12月20日。

3、示范性软件学院优秀专职教师，示范软件学院联盟，2023年5月。