江建慧博士、教授
地址：上海市嘉定区曹安公路4800号
邮政编码：201804
Email：jhjiang@tongji.edu.cn
办公室：同济大学嘉定校区济事楼418室 [周一、周二、周四]

研究方向：
可信赖系统与网络
软件可靠性工程
VLSI/SoC测试与容错
性能评测与设计优化
主讲课程：
容错与安全计算 / 本[14秋~]
安全体系结构与管理 / 本[12春~20春]
可信系统 / 硕[13春~]
软件可靠性工程 / 博[12秋~13秋、15秋~16秋、19秋~]

个人简况
江建慧，男，汉族，1964年11月生，浙江淳安人。1981年进入原上海铁道学院学习，1985年获工学学士学位，1988年获工学硕士学位，后留校任教。1994年7月任副教授，1995年~1999年为原上海铁道大学在职博士研究生，1999年获工学博士学位，2000年12月任教授。2000年4月起于同济大学工作，2000年9月~2002年7月为复旦大学计算机科学与技术博士后流动站博士后。2000年9月聘为硕士生导师，2003年11月聘为博士生导师。2004年~2007年任同济大学电子与信息工程学院计算机科学与技术系副主任，2007年~2011年任同济大学电子与信息工程学院计算机科学与技术系主任，2011年9月起任同济大学软件学院副院长。
兼任中国计算机学会（CCF）容错计算专业委员会副主任（2012年起）、中国计量测试学会集成电路测试专业委员会副主任（2018年起）、上海市高等教育学会高校计算机专业委员会主任（2017年起），以及《同济大学学报（自然科学版）》、《智能物联技术》编辑委员会委员等。担任过多个国际学术会议和CCF全国性学术会议的程序委员会主席、副主席和委员，《电路与系统学报》、《信息网络安全》等刊物的编辑委员会委员，《中国科学：信息科学》测试技术专刊特约编辑（2014年）。
长期从事容错计算、测试与诊断、性能评测与设计优化等方向的理论研究和技术开发，以及在信息传输和软件、交通运输、电力、制造等行业的工程应用工作。负责和参与完成了国家重点基础研究计划（973）项目1项，国家高技术研究计划（863）项目1项，国家自然科学基金项目（含重点、面上、重大研究计划、青年）7项，上海市科委重点科技攻关计划项目3项，上海市科委基地建设项目1项，铁道部科技发展计划项目3项，上海市教委重点学科项目1项，其他省部级项目5项，以及企业合作等项目14项。现参与国家自然科学基金面上项目2项，负责华为技术有限公司等企业合作项目多项。
多项成果用于企业的产品生产线、技术服务平台和工程项目。获国家发明专利4项，软件著作权9项。出版教材《计算机容错技术》（中国铁道出版社，1995）和《安全关键计算机系统》（中国铁道出版社，2003）。在Journal of Computer Science and Technology, IEEE Transactions on Reliability, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on Systems, Man and Cybernetics: Systems,Journal of Electronic Testing: Theory and Applications,《计算机学报》、《中国科学：信息科学》、《电子学报》、《计算机研究与发展》、《计算机辅助设计与图形学学报》、ITC、DATE、ATS、PRDC等国内外学术刊物和学术会议上发表论文200余篇，SCI/SCIE/EI收录100余篇。
近年来主讲“容错与安全计算”、“安全体系结构与管理”、“可信系统”、“软件可靠性工程”等本科生和研究生课程。主持省部级教改项目多项，发表教改论文多篇。培养获得学位的工学博士生18人、工学硕士生51人、工程硕士生30人，其中，毕业非在职研究生的首次就业单位包括高校（如浙江工业大学、湖州师范学院、上海应用技术学院、上海第二工业大学）、科研院所（如上海计算机软件技术开发中心）、政府机构（如中国人民银行、上海市质量技术监督局）、企业（如华为、腾讯、百度、网易、奇虎360、盛大网络、上汽集团、大唐电信、支付宝、中国银联、中国工商银行、中国建设银行、招商银行、中国平安、上海证券交易所、中国金融期货交易所、Morgan Stanley、Intel、IBM、EMC、Cisco、Yahoo、Motorola、Alcatel、NXP、Nvidia、Synopsys、Advantest、SAP、Autodesk）等。
获华为无线网络产品线“2015年价值合作成果奖”，2014年上海市科技进步一等奖，2013年上海市教学成果一等奖，2006年复旦大学优秀博士后，1997年上海市高校优秀教材二等奖，1997年宝钢教育基金优秀教师奖等奖项或荣誉称号。
部分项目
华为技术有限公司项目（TC）：复杂系统可靠性理论、模型、范式研究，2020年~2021年，负责人，承担单位：同济大学
华为技术有限公司项目（YBN）：开源软件可靠性评估及自证清白技术研究，2018年~2020年，负责人，承担单位：同济大学
国家自然科学基金面上项目（**）：基于程序状态分析的核函数软件失效预测关键技术研究，2018年~2021年，同济大学方负责人，承担单位：湖州师范学院、同济大学
中广核工程有限公司项目：故障注入软件开发项目，2016年~2017年，负责人，承担单位：同济大学
中广核工程有限公司项目：可靠性预测与评估工具软件，2016年~2017年，负责人，承担单位：同济大学
华为技术有限公司项目（YBN）：NFV架构下基于Fail-Safe的故障防扩散方案研究，2016年~2017年，负责人，承担单位：同济大学
国家自然科学基金重点项目（**）：差错容忍计算器件基础理论与方法，2015年~2019年，同济大学方负责人，承担单位：中国科学院计算技术研究所、香港中文大学深圳研究院、同济大学
华为技术有限公司项目（YB）：无线网络平台云和虚拟化可靠性研究二期项目，2014年~2015年，负责人，承担单位：同济大学
江苏省产学研联合创新资金项目（BY**）子课题（BY**-5-06）：未来网络的容错与容侵，2014年~2015年，负责人，承担单位：同济大学
华为技术有限公司项目（YB）：Linux进程分布式CheckPoint技术研究，2013年~2014年，负责人，承担单位：同济大学
华为技术有限公司项目（YB）：无线网络平台云和虚拟化可靠性研究，2013年~2014年，负责人，承担单位：同济大学
华为技术有限公司项目（YB）：Linux故障模式与基于故障注入的测试技术研究，2012年~2013年，负责人，承担单位：同济大学
上海申通地铁集团公司科研项目：轨道交通网络信息化规划与应用研究，2008年~2009年，同济大学方负责人，承担单位：上海计算机软件技术开发中心、同济大学
国家高技术研究发展计划（863计划）项目（2007AA01Z142）：软件可信性评估方法和工具及其应用，2007年~2009年，负责人，承担单位：同济大学
上海市科学技术委员会重点科技攻关计划项目（06DZ15003）：轨道交通乘客信息系统终端控制设备、车辆工况监测、车地通信以及电力、设备监控系统的嵌入式技术应用研究，2006年~2008年，同济大学方负责人，承担单位：上海申通轨道交通研究咨询有限公司、同济大学、东华大学、上海电器科学研究所（集团）有限公司等
国家重点基础研究计划（973计划）课题（2005CB321604）子课题：VLSI高可靠设计与评估，2005年~2007年，子课题负责人，承担单位：同济大学
上海市科学技术委员会重点科技攻关计划项目（04DZ15032）：轨道交通自动售检票系统终端设备嵌入式技术应用，2005年~2006年，同济大学方负责人，承担单位：上海申通轨道交通研究咨询有限公司、同济大学、上海华虹计通智能卡系统有限公司等
国家自然科学基金重大研究计划《半导体集成化芯片系统基础研究》面上课题（**）：系统芯片在线测试与容错技术研究，2003年~2005年，负责人，承担单位：同济大学
上海市科学技术委员会信息技术领域重点科技攻关计划项目（）：实时嵌入式软件系统测试技术及平台的研究与应用，2003年~2005年，负责人，承担单位：上海计算机软件技术开发中心、同济大学
上海高等学校青年教师学术基金项目（95QD18）：实时混合容错理论及容错专用部件结构研究和模拟，1995年~1997年，负责人
铁道部科技基金项目（J92X015）：多处理机和VLSI/WSI阵列的自动重构技术及其性能评价，1992年~1994年，负责人
发明专利
江建慧, 陆曹波, 张颖. 一种片上网络应用的广度优先贪心映射方法. 中国发明专利, ZL2.9
蒋云良,楼俊钢,顾永跟,沈张果,江建慧. 一种基于QBGSA-RVR的软件可靠性预测方法. 中国发明专利, ZL5.5
张颖, 江建慧. 一种以内升温方式检测时延故障的定温指令级自测试方法. 中国发明专利, ZL1.2
江建慧, 闵应骅. 自诊断的多模冗余系统. 中国发明专利, ZL**.8

教材、专著与报告章节
鄢贵海, 江建慧, 李华伟, 李晓维. 微处理器芯片可靠性设计研究进展. 2012中国计算机科学技术发展报告, 中国计算机学会主编, 北京: 机械工业出版社, 2013, 174-202
员春欣, 江建慧. 安全关键计算机系统. 北京: 中国铁道出版社, 2003
江建慧. 失效安全技术及自校验技术. 计算机容错技术, 胡谋主编, 第五章, 北京: 中国铁道出版社, 1995, 157-199（获1997年上海市高校优秀教材二等奖）
部分刊物论文
Zhen Wang, GuofaZhang, Jing Ye, Jianhui Jiang*, Fengyong Li, Yong Wang. Accurate reliability analysis methods for approximate computing circuits. Tsinghua Science and Technology, accepted
Naijin Chen, Zhen Wang, Ruixiang He, Jianhui Jiang, Fei Cheng, Chenghao Han. Efficient scheduling mapping algorithm for row parallel coarse-grained reconfigurable architecture. Tsinghua Science and Technology, accepted
Jianhui Jiang,Tao Wang, Zhen Wang. Probability gate model based methods for approximate arithmetic circuits reliability estimation. CCF Transactions on High Performance Computing, accepted
Ying Zhang, Xinpeng Hong, Zhongsheng Chen, Zebo Peng, Jianhui Jiang. A deterministic-path routing algorithm for tolerating many faults on very-large-scale network-on-chip.ACM Transactions on Design Automation of Electronic Systems, accepted
Jie Xiao, Zhanhui Shi, Weidong Zhu, Jianhui Jiang*, Qianwei Zhou, Jungang Lou, Yujiao Huang, Qiou Ji and Ziwen Sun. Uniform non-Bernoulli sequences oriented locating method for reliability-critical gates. Tsinghua Science and Technology, 2021, 26(1): 24-35
Wei Zhang, Xiao Chen, and Jianghui Jiang*. A multi-objective optimization method of virtual machine fault-tolerant static placement for star topological cloud systems. Tsinghua Science and Technology, 2021, 26(1): 95-111
Yuchang Mo, Liudong Xing, Jianhui Jiang. Modeling and analyzing linear wireless sensor networks with backbone support. IEEE Transactions on Systems, Man and Cybernetics: Systems, 2020, 50(10): 3912-3924
Ying Zhang, Weihong Yu, Xiaodong Chen and Jianhui Jiang*. Parallel genetic algorithm to extend the lifespan of internet of things in 5G networks. IEEE Access,2020, Vol. 8, pp. 149630-149642
Yuchang Mo, Liudong Xing,Wenzhong Guo, Shaobin Cai, Zhao Zhang, Jian Hui Jiang. Reliability analysis of IoT networks with community structures. IEEE Transactions on Network Science and Engineering, 2020,7(1): 304-315
Ying Zhang,Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang. Software-based self-testing using bounded model checking for out-of-order superscalar processors. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020, 39(3): 714-727
Jie Xiao, Weifeng Ma, Jungang Lou, Jianhui Jiang, Yujiao Huang, Zhanhui Shi, Qing Shen, and Xuhua Yang. Circuit reliability prediction based on deep autoencoder network. Neurocomputing,2019, 370,140-154
Jie Xiao, Zhanhui Shi, Jianhui Jiang*, Xuhua Yang, Yujiao Huang, Haigen Hu. A locating method for reliability-critical gates with a parallel-structured genetic algorithm. Journal of Computer Science and Technology, 2019, 34(5): 1136-1151
Zhen Wang, Jianhui Jiang*, Tao Wang. Failure probability analysis and critical node determination for approximate circuits. Integration, the VLSI Journal, 2019, 68(5): 122-128
Jie Xiao, Jungang Lou and Jianhui Jiang. A fast and effective sensitivity calculation method for circuit input vectors. IEEE Transactions on Reliability, 2019, 68(3): 938-953
Fanrong Kong, Jianhui Jiang*,Yan Huang. An adaptive multi-swarm competition in particle swarm optimizer for large scale optimization. Mathematics, 2019, 7(6), 521
张颖, 张嘉琦, 王真, 江建慧. 基于有界模型检测的门级软件自测试方法. 同济大学学报(自然科学版), 2018, 46(11): 1576-1581
肖杰, 李伟, 江建慧*, 杨旭华, 高楠, 胡海根. 一种考虑屏蔽效应的电路输入向量敏感性计算方法. 计算机学报, 2018, 41(10): 2282-2294
江建慧, 吴捷程, 孙亚. 一种基于异常控制流的错误程序行为分析方法. 同济大学学报(自然科学版), 2018, 46(7): 972-981
Jie Xiao, Jianhui Jiang, Xiaoxin Li, Yujiao Huang, Xuhua Yang, Zhanhui Shi, and Jungang Lou. A novel trust evaluation method for logic circuits in IoT applications based on the E-PTM model. IEEE Access, 2018, 6: 35683-35696
Jie Xiao, Jungang Lou, Jianhui Jiang, Xiaoxin Li, Xuhua Yang, and Yujiao Huang. Blockchain architecture reliability-based measurement for circuit unit importance. IEEE Access, 2018, 6: 15326-15334
王真, 江建慧*, 陈乃金, 卢光明, 张颖. BTI作用下三因素对集成电路软差错率的影响. 计算机研究与发展, 2018, 55 (5): 1108-1116
Ying Zhang, Li Ling, Jianhui Jiang*, and Jie Xiao. Thermal-aware SoC test scheduling with voltage/frequency scaling and test partition. Journal of Electronic Testing: Theory and Applications, 2018, 34(4): 447-460
卜登立, 江建慧, 罗文浪. 基于2个阶段遗传算法的MPRM电路面积与SER折中优化. 计算机辅助设计与图形学学报, 2017, 29(10): 1924-1934
Fanrong Kong, Jianhui Jiang, Zhigang Ding, Junjie Hu, Weian Guo, Lei Wang. A personalized rolling optimal charging schedule for plug-in hybrid electric vehicle based on statistical energy demand analysis and heuristic algorithm. Energies,2017, 10(9), 1333
陈乃金, 冯志勇, 江建慧, 何瑞祥, 王真. 行并行可重构单元阵列流水映射性能评估. 同济大学学报(自然科学版), 2017, 45(8): 1218-1226
王真, 江建慧*, 陈乃金. 考虑偏置温度不稳定性的软差错率分析. 电子与信息学报, 2017, 39 (7): 1640-1645
Chunyan Shuai, Xin Ouyang, Jianhui Jiang, Siqi Li. P-CCBFF: A lightweight cooperative detection and trackback framework of DDoS/DoS attacks. Journal of Internet Technology, 2017, 18(5): 1147-1158
凌立, 江建慧*, 张颖, 王真. 基于聚类的异步时钟SoC测试. 电子学报, 2017, 45(3): 740-746
卜登立, 江建慧. 基于Pareto支配的MPRM电路面积与可靠性优化. 电子学报, 2016, 44(11): 2653-2659
欧阳城添, 江建慧, 王曦. 触发器可靠度计算的F-PTM方法. 电子学报, 2016, 44(9): 2219-2226
Jie Xiao, William Lee, Jianhui Jiang, Xuhua Yang. Circuit reliability estimation based on an iterative PTM model with hybrid coding. Microelectronics Journal, 2016, 52, 117-123
Xiao Chen and Jianhui Jiang. A method of virtual machine placement for fault-tolerant cloud applications. Intelligent Automation andSoft Computing, 2016, 22(4): 587-597
陈乃金, 江建慧. 多叉树数据流图粗粒度可重构单元阵列映射算法. 计算机辅助设计与图形学学报, 2016, 28(7): 1180-1187
陈晓, 江建慧. 动态可配置的两阶段虚拟机容错分配方法. 电子科技大学学报, 2016, 45(3): 442-447
凌立, 江建慧*. 基于异步时钟的SoC功耗约束测试调度优化. 计算机研究与发展, 2015, 52(11): 2589-2598
陈乃金, 江建慧. 一种粗粒度可重构体系结构多目标优化映射算法. 电子学报, 2015, 43(11): 2151-2160
陈乃金, 冯志勇, 江建慧. 用于二维RCA跨层数据传输的旁节点无冗余添加算法. 通信学报, 2015, 36(4):35-51
陈乃金, 江建慧. 考虑通信成本和硬件碎片利用的簇划分算法. 计算机辅助设计与图形学学报, 2015, 27(4): 754-763
张颖, 江建慧, 李华伟, 李晓维. 基于信号跳变时间可调整的容错路由器. 同济大学学报（自然科学版）, 2015, 43(2): 305-311
卜登立, 江建慧. 基于对偶逻辑的混合极性RM电路极性转换和优化方法.电子学报, 2015, 43(1): 79-85
张丹青, 江建慧, 陈林博. 一种对程序故障行为和失效行为的聚类有效性验证方法. 中国科学: 信息科学, 2014, 44(10): 1323-1344
肖杰, 江建慧, 梁家荣. 面向晶体管级广义门电路的PTM可靠性计算方法. 中国科学: 信息科学, 2014, 44(10): 1226-1238
肖杰, 江建慧, 朱旭光. 一种基于迭代PTM模型的电路可靠性评估方法. 计算机学报, 2014, 37(7): 1508-1520
陈晓, 江建慧. 基于量子行为粒子群优化的软件可靠性模型参数估计. 高技术通讯, 2014, 24(5): 479-485
肖杰, 江建慧, 杨旭华, 梁家荣. 一个面向缺陷分析的电路成品率与可靠性的关系模型. 电子学报, 2014, 42(4): 747-755
陈林博, 江建慧, 张丹青. 用多密钥加密方法防御面向返回编程的攻击. 高技术通讯, 2014, 24(4): 355-364
江建慧，刘宇，朱一南，钱剑琤. 一种结合线程特性的SMT指令队列竞争缓解策略. 同济大学学报（自然科学版）, 2013, 41(12): 1889-1897
楼俊钢, 江建慧, 沈张果, 蒋云良. 软件可靠性预测的相关向量机模型. 计算机研究与发展, 2013, 50(7): 1542-1550
楼俊钢, 蒋云良, 申情, 江建慧. 软件可靠性预测中不同核函数的预测能力评估. 计算机学报, 2013, 36(6): 1303-1311
肖杰, 江建慧. 考虑时间因素的不同基本门故障概率计算. 电子学报, 2013, 41(4): 666-673
肖杰, 江建慧. 面向缺陷分析的广义门电路故障概率的计算. 计算机辅助设计与图形学学报, 2013, 25(4): 564-572
陈乃金, 江建慧. 融合面积估算和多目标优化的硬件任务划分算法. 通信学报, 2013, 34(2): 40-55
卜登立, 江建慧. 基于混合多值离散粒子群优化的混合极性Reed-Muller最小化算法. 电子与信息学报, 2013, 35(2): 361-367
卜登立, 江建慧. 使用系数矩阵变换极性转换的MPRM电路面积优化. 计算机辅助设计与图形学学报, 2013, 25(1): 126-135
欧阳城添, 江建慧. 基于概率转移矩阵的时序电路可靠度估计方法. 电子学报, 2013, 41(1): 171-177
胡嘉伟, 江建慧. 一种面向软件可靠性评估的故障注入机制的设计与实现. 计算机辅助设计与图形学学报, 2012, 24(6): 741-751
陈乃金, 江建慧, 陈昕, 周洲, 徐莹. 一种考虑执行延迟最小化和资源约束的改进层划分算法. 电子学报, 2012, 40(5): 1055-1066
Liangliang Kong and Jianhui Jiang. A worst-case execution time analysis approach based on independent paths for ARM programs. Wuhan University Journal of Natural Sciences, 2012, 17(5): 391-399
陈林博, 江建慧, 张丹青. 基于双栈的缓冲区溢出攻击的防御. 同济大学学报（自然科学版）, 2012, 40(3): 452-458
孔亮亮, 江建慧, 肖杰, 蒋圆圆. ARM程序执行周期估计的基于模拟的非线性方法. 计算机研究与发展, 2012, 49(2): 392-401
肖杰,江建慧. 结合版图结构信息的基本门电路故障概率估计. 电子学报, 2012, 40(2): 235-240
周焕盛,江建慧. 一个多维信息安全指标体系及等级保护量化模型. 中国科学技术大学学报, 2012, 42(1): 67-76
靳昂, 江建慧, 楼俊钢. 基于加速寿命试验的Web服务器测评. 计算机研究与发展, 2011, 47(S): 229-236
郑剑, 江建慧. 基于标签转换系统的Web服务行为失配类型的判定方法. 计算机集成制造系统, 2011, 17(12): 2743-2751
Jie YIN, Jianhui JIANG, Yu LIU. AC-RMT: A fault-tolerance SMT architecture based on asynchronous checkpoint.Intelligent Automation and Soft Computing, 2011, 17(6): 803-813
印杰, 江建慧. 冗余多线程结构的重命名寄存器配对共享分配策略. 计算机研究与发展, 2011, 48(3): 516-527
陈林博, 江建慧, 张丹青, 帅春燕. 基于多版本冗余进程的容侵系统. 清华大学学报（自然科学版），2011, 51(S1): 1519-1526
杨洋, 帅春燕, 江建慧. 基于堆栈分析的缓冲区溢出漏洞检测方法. 计算机研究与发展, 2011, 47(S): 291-295
郑剑, 江建慧. 基于弱同步的服务交互适配方法. 计算机集成制造系统, 2010, 16(8): 1688-1695
楼俊钢,江建慧,靳昂. 考虑样本与均值差别的软件可靠性模型. 计算机学报, 2010, 33(7): 1279-1287
江建慧, 章力源, 金涛, 陈川. 基于k循环随机序列的动态缓冲区溢出防御. 同济大学学报（自然科学版）, 2010, 38(6): 917-924
田春岐, 江建慧, 胡治国, 李峰. 一种基于聚集超级节点的P2P网络信任模型. 计算机学报, 2010, 33(2): 345-355
孔亮亮, 江建慧, 靳昂. 关于系统性能度量方法. 哈尔滨工业大学学报, 2009, 41(S1): 135-141
王真, 江建慧. 考虑版图级因素的PTM中故障感染率的计算. 哈尔滨工业大学学报, 2009, 41(S1): 124-129
楼俊钢, 江建慧, 赵时旻, 孔亮亮. 基于随机完全区组设计的嵌入式系统性能分析. 同济大学学报（自然科学版）, 2009, 37(12): 1663-1667
王真, 江建慧. 基于概率转移矩阵的串行电路可靠度计算方法. 电子学报, 2009, 37(2): 241-247
张蕊, 江建慧, 楼俊钢, 沈君华, 王艳娜. 基于B/S结构的嵌入式系统测试平台. 计算机辅助设计与图形学学报, 2009, 21(1): 13-18
江建慧, 唐智杰. 测量嵌入式操作系统实时性能参数的新方法. 同济大学学报（自然科学版）, 2008, 36(9): 1260-1266
王真, 江建慧, 员春欣. 高性能处理器的差错校正技术. 计算机研究与发展, 2008, 45(2): 358-366
WANG Zhen, JIANG Jianhui, and YANG Guang. Implementation and analysis of probabilistic methods for gate-level circuit reliability estimation. Tsinghua Science and Technology, 2007, 12(S1): 32-38
靳昂, 江建慧. 故障注入技术及其应用. 中国计算机学会通讯, 2007, 3(7): 32-40
Wang Hongcheng, Jiang Jianhui, and Jin Ang. A performance benchmark suite for real-time embedded systems.High Technology Letters, 2006, 12(S): 55-59
Liu Hongtaoand Jiang Jianhui. A robustness testing platform for file system. High Technology Letters, 2006, 12(S): 23-27
Wei Wang and Jian-Hui Jiang.Hardware complexity and fault response rate of a class of online-testing and fault-tolerant structures in Xilinx CPLD. 哈尔滨工业大学学报, 2006, 38(S): 412-416
江建慧, 梁剑华, 靳昂, 胡瑾. Linux上软件实现的瞬时故障注入方案及其实现. 同济大学学报（自然科学版）, 2006, 34(6): 823-827
Jian-Hui Jiang. An error recoverable structure based on complementary logic and alternating-retry. Journal of Computer Science and Technology, 2005, 20(6): 885-894
江建慧, 员春欣. 芯片级系统的在线测试技术. 计算机研究与发展, 2004, 41(9): 1593-1603
陈火军, 江建慧. 门级故障到寄存器传输级故障的映射. 同济大学学报（自然科学版）, 2004, 32(8): 1061-1066
江建慧, 朱为国. 嵌入式存储器的内建自测试和内建自修复. 同济大学学报（自然科学版）, 2004, 32(8): 1050-1056
JIANG Jianhui, MIN Yinghua, and PENG Chenglian. Fault-tolerant systems with concurrent error-locating capability. Journal of Computer Science and Technology, 2003, 18(2): 190-200
江建慧, 闵应骅, 彭澄廉. 一种用于双模冗余系统的健壮故障安全接口. 同济大学学报（自然科学版）, 2002, 30(10): 1164-1168
江建慧, 闵应骅, 彭澄廉. N为偶数的并发差错可定位N-模冗余结构. 计算机学报, 2002, 25(8): 837-844
江建慧. 交替互补定位器及其用于双模比较冗余结构的差错定位. 计算机研究与发展, 2001, 38(6): 754-764
江建慧, 施鸿宝. 具有故障定位能力的健壮故障安全系统. 电子学报, 2000, 28(8): 35-38
江建慧, 闵应骅, 施鸿宝. 数字电路并发差错定位的概念与基本结构. 计算机研究与发展, 2000, 37(5): 532-542
江建慧, 闵应骅, 施鸿宝. 一种扩展故障安全系统理论. 电路与系统学报, 1999, 4(4): 1-9
江建慧, 闵应骅, 施鸿宝. 数字电路并发差错检测的新概念. 计算机研究与发展, 1999, 36(9): 1133-1141
江建慧, 赵晓东, 童梅, 高莹心. 组合事务块及其在C语言和FOXPRO中的实现. 计算机研究与发展, 1998, 35(9): 859-864
江建慧, 胡谋. 安全逻辑器件与CMOS B/T逻辑电路及其噪声容限. 计算机研究与发展, 1993, 30(5): 55-61
部分会议论文
Xuliang Chen, Jianhui Jiang*, Wei Zhang, Xuze Xia. Fault diagnosis for open source software based on dynamic tracking. Proceedings of7^thInternational Conference on Dependable Systems and Their Applications, Xi’an, China, Nov 2020
Jiaqi Zhang, Ying Zhang, Huawei Li, and Jianhui Jiang. HIT: a hidden instruction Trojan model for microprocessors. Proceedings of23rd IEEE/ACM/IFIP Design, Automation, and Test in Europe Conference and Exhibition, Grenoble, France, Mar 2020
Xuze Xia,Wei Zhang,and Jianhui Jiang*. Ensemble methods for anomaly detection based on system log. ProceedingsofIEEE 24th Pacific Rim International Symposium on Dependable Computing, Kyoto, Japan, Dec 2019, pp. 93-94
Qian Wang, Jianhui Jiang*, and Long Li. A reliability automatic assessment framework for open source software. ProceedingsofIEEE 24th Pacific Rim International Symposium on Dependable Computing, Kyoto, Japan, Dec 2019, pp. 91-92
Tao Wang, Jianhui Jiang*, and Zhen Wang. Reliability estimation of approximate circuits based on probabilistic gate model. ProceedingsofIEEE 24th Pacific Rim International Symposium on Dependable Computing, Kyoto, Japan, Dec 2019, pp. 55-56
Zhongshen Chen, Ying Zhang, Zebo Peng, Jianhui Jiang. A deterministic-path routing algorithm for tolerating many faults on wafer-level NoC. Proceedings of22nd IEEE/IFIP Design, Automation, and Test in Europe Conference and Exhibition, Florence, Italy, Mar 2019
Jianhui Jiang, Guangming Lu, Zhen Wang. Methods for approximate adders reliability estimation based on PTM model. Proceedings of 23rd IEEE Pacific Rim International Symposium on Dependable Computing, Taipei, Taiwan, Dec 2018, pp. 221-222
Ying Zhang, Lu Yu, Huawei Li, Jianhui Jiang*. Small logic trojan testing using bounded model checking. Proceedings of 2nd IEEE International Test Conference in Asia, Harbin, China, Aug 2018, pp. 85-90
Ying Zhang, Krishnendu Chakrabarty*, Huawei Li, Jianhui Jiang*. Software-based online self-testing of network-on-chip using bounded model checking. Proceedings of 48th IEEE International Test Conference, Fort Worth, Texas, USA, Oct 2017
Xiao Chen, Jian-Hui Jiang and Qu Jiang. A method of self-adaptive pre-copy container checkpoint. Proceedings of 21st IEEE Pacific Rim International Symposium on Dependable Computing, Zhangjiajie, China, Nov 2015, pp. 290-300
Zhen Wang, Jianhui Jiang. Effect of bias temperature instability on soft error rate. Proceedings of 15th International Conference on Algorithms and Architectures for Parallel Processing (Workshops and Symposiums), Zhangjiajie, China, Nov 2015, pp. 736-745
Ying Zhang, Zebo Peng,Jianhui Jiang*, Huawei Li, Masahiro Fujita. Temperature-aware software-based self-testing for delay faults. Proceedings of 18th IEEE/ACM Design, Automation, and Test in EuropeConference and Exhibition, Grenoble, France, Mar 2015
Li Ling and Jianhui Jiang. Exploit voltage and frequency scaling for SoC test scheduling under thermal constraints. Proceedings of 23rd IEEE Asian Test Symposium, Hangzhou, China, Nov 2014, pp. 180-185
Danqing Zhang, Jianhui Jiang and LinboChen. Program behavior characterization and clustering : An empirical study for failure clustering. Proceedings of the Fourth IEEE International Workshop on Program Debugging, Pasadena, USA, Nov 2013
Liangliang Kong, Jianhui Jiang. A combined hardware/software measurement for ARM program execution time. Communicationsin Computer and Information Science, Vol. 337, 2013, 185-201
Chen Linbo, Jiang Jianhui and Zhang Danqing. Prevent code reuse attacks by using control flow lazily check. Proceedings of IEEE 18th Pacific Rim International Symposium on Dependable Computing, Niigata, Japan, Dec 2012, pp.51-60
Naijin Chenand Jianhui Jiang. Mapping algorithm for coarse-grained reconfigurable multimedia architectures. Proceedings of 19th IEEE Reconfigurable Architectures Workshop, Shanghai, China, 2012, pp. 281-286
Jie Xiao, Jian-Hui Jiang, Xu-Guang Zhu, and Cheng-Tian Ouyang. A method of circuit reliability estimation based on iterative PTM model. Proceedings of IEEE 17thPacific Rim International Symposium on Dependable Computing, Pasadena, California, USA, Dec 2011, pp. 276-277
Jie YinandJianhui Jiang. An asynchronous checkpoint-based redundantmultithreading architecture. Proceedings ofIEEE 16thPacific Rim International Symposium on Dependable Computing, Tokyo, Japan, Dec 2010, pp. 243-244
Ying Wu,Jianhui Jiang, and Liangliang Kong.Sequential frequency vector based system call anomaly detection. Proceedings ofIEEE 16thPacific Rim International Symposium on Dependable Computing, Tokyo, Japan, Dec 2010, pp. 215-222
Chengtian Ouyang, Jianhui Jiang and Jie Xiao. Reliability evaluation of flip-flopsbased onprobabilistic transfer matrices. Proceedings ofIEEE 16thPacific Rim International Symposium on Dependable Computing, Tokyo, Japan, Dec 2010, pp. 239-240
Liangliang Kong and Jianhui Jiang. A safe measurement-based worst-case executiontime estimation using automatic test-datageneration. Proceedings ofIEEE 16thPacific Rim International Symposium on Dependable Computing, Tokyo, Japan, Dec 2010, pp. 245-246
Jungang Lou, Jianhui Jiang, and Chunyan Shuai. A study on software reliability prediction based on transduction inference. Proceedings ofIEEE 19thAsian Test Symposium,Shanghai, China, Dec 2010, pp. 77-80
Jie Yin and Jianhui Jiang. Design and analysis of an asynchronous checkpoint-based redundant multithreading architecture.Dependable Computing, vol. 25, San Antonio: TSI Press, 2010, pp. 519-524
Ang JinandJianhui Jiang. Fault injection scheme for embedded programsat machine code level and verification. Proceedings of 15thIEEE Pacific Rim International Symposium on Dependable Computing, Shanghai, China, Nov2009, pp. 55-62
Lou Jun-gang, Jiang Jian-hui, Shuai Chun-yan, Zhang Rui, and Jin Ang. Software reliability prediction model based on relevance vector machine. Proceedings of 2009 IEEE International Conference on Intelligent Computing and Intelligent Systems, Shanghai, China, Nov 2009, pp. 229-233
Ying Wu and Jianhui Jiang. Frequency weighted Hamming distance for system call anomaly detection. Proceedings of the WRI World Congress on Computer Science and Information Engineering, Los Angeles, California, USA, Mar 2009, pp. 105-109
Zhang Rui, Jiang Jianhui, Yin Jie, Jin Ang, Lou Jungang, and Wu Ying. A new method for test suite reduction. Proceedings of 9th International Conference for Young Computer Scientists, Zhangjiajie, China, Nov 2008, pp. 1211-1216
Ang Jin, Jianhui Jiang, Jiawei Hu, and Jungang Lou. A PIN-based dynamic software fault injection system. Proceedings of 9th International Conference for Young Computer Scientists, Zhangjiajie, China, Nov 2008, pp. 2160-2167
Qian Feng-anand Jiang Jian-hui.A novel test case generation method of pair-wise testing. Proceedings of IEEE 16thAsian Test Symposium, Beijing, China, Oct 2007, pp. 149-154
Wang Wei and Jiang Jianhui. A new soft IP core for online-testing and fault-tolerant structures.Proceedings of 7th International Conference on ASIC, Guilin, China, Oct 2007, pp. 1006-1009
Wang Wei and Jiang Jianhui. A novel method for the construction of self-dual circuits.Proceedings of 6th International Conference on ASIC, Shanghai, China, Oct 2005, pp. 685-688
Ang Jin and Jian-Hui Jiang. Software-implemented fault injection at machine code level for ARM architecture. Proceedings of 7th International Conference on Electronic Measurement and Instruments, Vol. 8, Beijing, China, Aug 2005, pp. 8-173–8-178
Jian-Hui JIANG. Error detection and correction in VLSI systems by online testing and retrying. Proceedings of IEEE 12thAsian Test Symposium, Xi’an, China, Nov 2003
Na TANG, Jian-Hui JIANG, and Kenneth LIN. A high-performance 32-bit parallel multiplier using modified Booth’s algorithm and sign-deduction algorithm. Proceedings of 5th International Conference on ASIC, Beijing, China, Oct 2003, pp. 1281-1284
JIANG Jian-Hui. An efficient implementation scheme of DBench general dependability benchmark framework. Proceedings of 6th International Conference on Electronic Measurement and Instruments, vol. 1, Taiyuan, China, Aug 2003, pp. 836-839
Jianhui Jiang, Yinghua Min, and Chenglian Peng. Design and analysis of fault-tolerant memory systems based on replication and error control codes. Proceedings of 5th International Conference on Electronic Measurement and Instruments, Guilin, China, Nov 2001, pp. 463-466
Jianhui Jiang, Yinghua Min, and Chenglian Peng. VHDL modeling and analysis of error-control specific circuits for multiple-modular redundant systems with concurrent error location capability. Proceedings of 4th International Conference on ASIC, Shanghai, China, Oct 2001, pp. 570-573
Jianhui Jiang, Yinghua Min, and Chenglian Peng. On fault-tolerant systems with concurrent error location capability. Proceedings of 7th International Conference on Computer-Aided Design and Computer Graphics, Kunming, China, Aug2001, pp. 616-623
Jianhui Jiang, Hongbao Shi, Yinghua Min, and Xiaodong Zhao. A novel NMR structure with concurrent output error location capability. Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, Hong Kong, Dec 1999, pp. 32-39
Jianhui Jiang, Yinghua Min, and Hongbao Shi. A theory of extended fault-masking digital circuits with concurrent error detection capability. Proceedings of 6th International Conference on Computer-Aided Design and Computer Graphics, Shanghai, China, Dec 1999, pp. 691-697
Jianhui Jiang, Mou Hu, and Hongbao Shi. A novel structure of multioutput hybrid logic networks based on self-checking logic and fail-safe logic for fault diagnosis. Proceedings of 5th International Conference on Computer-Aided Design and Computer Graphics, vol. 2, Shenzhen, China, Dec 1997, pp. 471-476
Jianhui Jiang and Mou Hu. The extended self-checking properties of alternating-complementary logic systems. Proceedings of International Workshop on Computer-Aided Design, Test, and Evaluation for Dependability, Beijing, China, July 1996, pp. 258-263
Jiang Jianhui and Hu Mou. Fault tolerance and pipelining of VLSI combinational logic networks. Proceedings of IEEE Region 10 International Conference on Computer, Communication, Automation and Power Engineering, vol.1, Beijing, China, Oct 1993, pp. 44-48

主要学术任职与学术活动
副主任，中国计算机学会容错计算专业委员会，2012年01月~
副主任，中国计量测试学会集成电路测试专业委员会，2018年~
常务委员，中国计算机学会嵌入式系统专业委员会，2016年~
主任，上海市高等教育学会高校计算机专业委员会，2017年06月~
副主任，上海市高等教育学会高校计算机专业委员会，2013年08月~2017年06月
委员，《同济大学学报（自然科学版）》编辑委员会，2018年~
委员，《智能物联技术》编辑委员会，2018年~
委员，《信息网络安全》编辑委员会，2014年~2016年
委员，《电路与系统学报》编辑委员会，2004年~2006年
特约编辑，《中国科学：信息科学》测试技术专刊，2014年，第44卷，第10期
Program Co-Chair, IEEE 11th Workshop on RTL and High Level Testing (WRTLT), 2010
Tutorial Chair, IEEE 19th Asian Test Symposium (ATS), 2010
Program Committee member, IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 2009 - 2011, 2015, 2017 - 2020
Program Committee member, IEEE ATS, 2007,2010, 2018
Program Committee member, IEEE WRTLT, 2003,2007, 2018
Program Committee member,IEEE Workshop on Dependable and Secure Nanocomputing (WDSN), 2011
程序委员会主席，CCF全国容错计算学术会议，2015年
程序委员会共同主席 / 副主席，CCF中国测试学术会议，2006/2010/2020年
程序委员会主席，全国可信计算技术及应用学术研讨会，2004年
论坛共同主席，CCF中国测试学术会议，2018年
论坛共同主席，CCF全国容错计算学术会议，2017/2019年
程序委员会委员，CCF全国容错计算学术会议，2003/2005/2007/2009/2011/2013/2017年
程序委员会委员，CCF中国测试学术会议，2002/2004/2008/2012/2014/2016年
程序委员会委员，中国信息和通信安全学术会议，2011/2012年
程序委员会委员，CCF全国软件测试学术会议，2007/2009/2011年
程序委员会委员，CCF全国嵌入式系统学术会议，2016年

主要奖励和荣誉
同济大学教学成果一等奖，同济大学，2017年
华为无线网络产品线“2015年价值合作成果奖”，华为技术有限公司，2016年
上海市科技进步一等奖，上海市人民政府，2015年
上海市教学成果一等奖，上海市教育委员会、上海市人力资源和社会保障局，2013年
复旦大学优秀博士后，复旦大学，2006年
同济大学教学奖励金教学系列二等奖，同济大学，2005年
同济大学隧道奖励金二等奖，同济大学，2002年
铁道部青年科技拔尖人才，铁道部，1999年
宝钢教育基金优秀教师奖，宝钢教育基金理事会，1997年
上海市高校优秀教材二等奖，上海市教育委员会，1997年
第四届上海高校优秀青年教师，上海市教育委员会，1997年
铁道部科技进步四等奖，铁道部，1996年
第三届上海高校优秀青年教师，上海市教育委员会，1995年
上海市科技进步三等奖，上海市人民政府，1995年