江建慧 JIANG JIAN HUI 工学博士、教授
地 址:上海市嘉定区曹安公路4800号               邮政编码:201804
Email:jhjiang@tongji.edu.cn                          Tel: 021-69580732


办公室:同济大学嘉定校区济事楼418室

主讲课程:

    软件可靠性工程 / 博
    可信系统 / 硕
    安全体系结构与管理 / 本
    容错与安全计算 / 本

研究方向:

    可信系统与网络
    软件可靠性工程
    VLSI/SoC测试与容错

    性能评测与设计优化

简介

       江建慧,男,汉族,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)容错计算专业委员会副主任
、中国计量测试学会集成电路测试专业委员会副主任、上海市高等教育学会高校计算机专业委员会主任。担任过多个IEEE国际学术会议和CCF全国性学术会议的程序委员会主席、副主席和委员,《电路与系统学报》、《信息网络安全》等刊物的编辑委员会委员,《中国科学:信息科学》测试技术专刊特约编辑
       长期从事容错计算、计算系统可靠性、系统与网络安全(security)、测试与诊断、性能评测等方向的理论研究、技术开发和工程应用工作。负责和参与完成了国家重点基础研究计划(973)项目1项,国家高技术研究计划(863)项目1项,国家自然科学基金项目(含重点、面上、重大研究计划、青年)6项,上海市科委重点科技攻关计划项目3项,上海市科委基地建设项目1项,铁道部科技发展计划项目2项,上海市教委重点学科项目1项,以及企业合作等其它类型的项目16项。现参与国家自然科学基金重点项目1项、面上项目1项,负责中广核工程有限公司、华为技术有限公司等企业合作项目多项。
      
 多项成果用于企业的产品生产线、技术服务平台和工程项目。国家发明专利3项,软件著作权9项。在国内外学术刊物和学术会议(正式出版论文集)上发表论文200余篇,其中,60余篇发表在《Journal of Computer Science and Technology》、《Journal of Electronic Testing: Theory and Applications《IEEE Transactions on Systems, Man and Cybernetics: Systems》、IEEE Access《IEEE Transactions on Network Science and Engineering》、Microelectronics Journal、《计算机学报》、《电子学报》、《计算机研究与发展》、《中国科学》、《通信学报》、《计算机辅助设计与图形学学报》、《电子与信息学报》、ITC、DATE、ATS、PRDC上,被SCI/SCIE/EI收录100多篇出版有研究生教材《计算机容错技术》(中国铁道出版社,1995)和技术专著《安全关键计算机系统》(中国铁道出版社,2003)。
       获华为无线网络产品线“2015年价值合作成果奖”,2014年上海市科技进步一等奖,2013年上海市教学成果一等奖,2006年复旦大学优秀博士后,1997年上海市高校优秀教材二等奖,1997年宝钢教育基金优秀教师奖等奖项或荣誉称号。
       近年来主讲“软件可靠性工程”、“可信系统”、“安全体系结构与管理”、“容错与安全计算”等研究生和本科生课程。培养获得学位的工学博士生17人、工学硕士生49人、工程硕士生22人
其中,毕业非在职研究生的首次就业单位包括高校(如浙江工业大学、湖州师范学院、上海应用技术学院、上海第二工业大学)、科研院所(如上海计算机软件技术开发中心)、政府机构(如中国人民银行上海市质量技术监督局)、企业(如华为、腾讯、网易、奇虎360、盛大网络、上汽集团、大唐电信、支付宝、中国银联、中国工商银行、中国建设银行、招商银行、中国平安、上海证券交易所、中国金融期货交易所、Morgan Stanley、Intel、IBM、EMC、Cisco、Yahoo、Motorola、Alcatel、NXP、Nvidia、Synopsys、Advantest、SAP、Autodesk)等

 

教材、专著与报告章节

[01]鄢贵海, 江建慧, 李华伟, 李晓维. 微处理器芯片可靠性设计研究进展. 2012中国计算机科学技术发展报告, 中国计算机学会主编, 北京: 机械工业出版社, 2013, 174-202

[02]员春欣, 江建慧. 安全关键计算机系统. 北京: 中国铁道出版社, 2003

[03]江建慧. 失效安全技术及自校验技术. 计算机容错技术, 胡谋主编, 第五章, 北京: 中国铁道出版社, 1995, 157-199(获1997年上海市高校优秀教材二等奖)

 

部分论文

方向一:可信系统与网络

[01]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, 2018, Early Access Article

[02]Yuchang Mo, Liudong Xing, Jianhui Jiang. Modeling and analyzing linear wireless sensor networks with backbone support. IEEE Transactions on Systems, Man and Cybernetics: Systems, 2018, Early Access Article

[03]Chunyan Shuai, Xin Ouyang, Jianghui 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 (SCIE)

[04]Xiao Chen and Jianhui Jiang. A method of virtual machine placement for fault-tolerant cloud applications. Intelligent Automation and Soft Computing, 2016, 22(4): 587-597 (SCIE)

[05]陈晓, 江建慧*. 动态可配置的两阶段虚拟机容错分配方法. 电子科技大学学报, 2016, 45(3): 442-447

[06]张颖, 江建慧*, 李华伟, 李晓维. 基于信号跳变时间可调整的容错路由器. 同济大学学报(自然科学版), 2015, 43(2): 305-311

[07]陈林博, 江建慧, 张丹青. 用多密钥加密方法防御面向返回编程的攻击. 高技术通讯, 2014, 24(4): 355-364

[08]陈林博, 江建慧, 张丹青. 基于双栈的缓冲区溢出攻击的防御. 同济大学学报(自然科学版), 2012, 40(3): 452-458

[09]周焕盛, 江建慧*. 一个多维信息安全指标体系及等级保护量化模型. 中国科学技术大学学报, 2012, 42(1): 67-76

[10]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 (SCIE)

[11]印杰, 江建慧. 冗余多线程结构的重命名寄存器配对共享分配策略. 计算机研究与发展, 2011, 48(3): 516-527

[12]陈林博, 江建慧, 张丹青, 帅春燕. 基于多版本冗余进程的容侵系统. 清华大学学报(自然科学版),2011, 51(S1): 1519-1526

[13]杨洋, 帅春燕, 江建慧. 基于堆栈分析的缓冲区溢出漏洞检测方法. 计算机研究与发展, 2011, 47(S): 291-295

[14]江建慧, 章力源, 金涛, 陈川. 基于k循环随机序列的动态缓冲区溢出防御. 同济大学学报(自然科学版), 2010, 38(6): 917-924

[15]田春岐, 江建慧, 胡治国, 李峰. 一种基于聚集超级节点的P2P网络信任模型. 计算机学报, 2010, 33(2): 345-355

[16]王真, 江建慧, 员春欣. 高性能处理器的差错校正技术. 计算机研究与发展, 2008, 45(2): 358-366

[17]江建慧, 朱为国. 嵌入式存储器的内建自测试和内建自修复. 同济大学学报(自然科学版), 2004, 32(8): 1050-1056

[18]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 (SCIE/CCF-B)

[19]江建慧, 闵应骅, 彭澄廉. N为偶数的并发差错可定位N-模冗余结构. 计算机学报, 2002, 25(8): 837-844

[20]江建慧. 交替互补定位器及其用于双模比较冗余结构的差错定位. 计算机研究与发展, 2001, 38(6): 754-764

[21]江建慧, 施鸿宝. 具有故障定位能力的健壮故障安全系统. 电子学报, 2000, 28(8): 35-38

[22]江建慧, 闵应骅, 施鸿宝. 一种扩展故障安全系统理论. 电路与系统学报, 1999, 4(4): 1-9

[23]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 (CCF-B)

[24]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

[25]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 Europe Conference and Exhibition, Grenoble, France, Mar 2015 (CCF-B)

[26]Linbo Chen, Jianhui Jiang* and Danqing Zhang. Code reuse prevention through control flow lazily check. Proceedings of IEEE 18th Pacific Rim International Symposium on Dependable Computing, Niigata, Japan, Dec 2012, pp. 51-60

[27]Jie Yin and Jianhui Jiang. An asynchronous checkpoint-based redundant multithreading architecture. Proceedings of IEEE 16th Pacific Rim International Symposium on Dependable Computing, Tokyo, Japan, Dec 2010, pp. 243-244

[28]Ying Wu, Jianhui Jiang*, and Liangliang Kong. Sequential frequency vector based system call anomaly detection. Proceedings of IEEE 16th Pacific Rim International Symposium on Dependable Computing, Tokyo, Japan, Dec 2010, pp. 215-222

[29]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

[30]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

[31]Jianhui Jiang, Hongbao Shi, Yinghua Min, and Xiaodong Zhao. A novel NMR structure with concurrent output error location capability. Proceedings of Pacific Rim International Symposium on Dependable Computing, Hong Kong, Dec 1999, pp. 32-39

方向二:软件可靠性工程

[01]江建慧, 吴捷程, 孙亚. 一种基于异常控制流的错误程序行为分析方法. 同济大学学报(自然科学版), 2018, 46(7): 972-981

[02]张丹青, 江建慧, 陈林博. 一种对程序故障行为和失效行为的聚类有效性验证方法. 中国科学: 信息科学, 2014, 44(10): 1323-1344

[03]陈晓, 江建慧. 基于量子行为粒子群优化的软件可靠性模型参数估计. 高技术通讯, 2014, 24(5): 479-485

[04]楼俊钢, 江建慧, 沈张果, 蒋云良. 软件可靠性预测的相关向量机模型. 计算机研究与发展, 2013, 50(7): 1542-1550

[05]楼俊钢, 蒋云良, 申情, 江建慧. 软件可靠性预测中不同核函数的预测能力评估. 计算机学报, 2013, 36(6): 1303-1311

[06]胡嘉伟, 江建慧. 一种面向软件可靠性评估的故障注入机制的设计与实现. 计算机辅助设计与图形学学报, 2012, 24(6): 741-751

[07]靳昂, 江建慧, 楼俊钢. 基于加速寿命试验的Web服务器测评. 计算机研究与发展, 2011, 47(S): 229-236

[08]楼俊钢, 江建慧, 靳昂. 考虑样本与均值差别的软件可靠性模型. 计算机学报, 2010, 33(7): 1279-1287

[09]张蕊, 江建慧, 楼俊钢, 沈君华, 王艳娜. 基于B/S结构的嵌入式系统测试平台. 计算机辅助设计与图形学学报, 2009, 21(1): 13-18

[10]靳昂, 江建慧. 故障注入技术及其应用. 中国计算机学会通讯, 2007, 3(7): 32-40

[11]Liu Hongtao and Jiang Jianhui*. A robustness testing platform for file system. High Technology Letters, 2006, 12(S): 23-27

[12]江建慧, 梁剑华, 靳昂, 胡瑾. Linux上软件实现的瞬时故障注入方案及其实现. 同济大学学报(自然科学版), 2006, 34(6): 823-827

[13]江建慧, 赵晓东,童梅, 高莹心. 组合事务块及其在C语言和FOXPRO中的实现. 计算机研究与发展, 1998, 35(9): 859-864

[14]Danqing Zhang, Jianhui Jiang* and Linbo Chen. Program behavior characterization and clustering : An empirical study for failure clustering. Proceedings of the Fourth IEEE International Workshop on Program Debugging, Pasadena, California, USA, Nov 2013

[15]Jungang Lou, Jianhui Jiang*, and Chunyan Shuai. A study on software reliability prediction based on transduction inference. Proceedings of IEEE 19th Asian Test Symposium, Shanghai, China, Dec 2010, pp. 77-80

[16]Ang Jin and Jianhui Jiang*. Fault injection scheme for embedded programs at machine code level and verification. Proceedings of 15th IEEE Pacific Rim International Symposium on Dependable Computing, Shanghai, China, Nov 2009, pp. 55-62

[17]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 IEEE International Conference on Intelligent Computing and Intelligent Systems, Shanghai, China, Nov 2009, pp. 229-233

[18]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

[19]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

[20]Qian Feng-an and Jiang Jian-hui*. A novel test case generation method of pair-wise testing. Proceedings of IEEE 16th Asian Test Symposium, Beijing, China, Oct 2007, pp. 149-154

[21]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

[22]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

方向三:VLSI/SoC测试与容错

 [01]肖杰, 李伟, 江建慧*, 杨旭华, 高楠, 胡海根. 一种考虑屏蔽效应的电路输入向量敏感性计算方法. 计算机学报, 2018, 41(10): 2282-2294

[02]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 (SCIE/CCF-C)

[03]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 (SCIE)

[04]王真, 江建慧*, 陈乃金, 卢光明, 张颖. BTI作用下三因素对集成电路软差错率的影响. 计算机研究与发展, 2018, 55 (5): 1108-1116

[05]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 (SCIE)

[06]卜登立, 江建慧, 罗文浪. 基于2个阶段遗传算法的MPRM电路面积与SER折中优化. 计算机辅助设计与图形学学报, 2017 , 29(10): 1924-1934

[07]王真, 江建慧*, 陈乃金. 考虑偏置温度不稳定性的软差错率分析. 电子与信息学报, 2017, 39 (7): 1640-1645

[08]凌立, 江建慧*, 张颖, 王真. 基于聚类的异步时钟SoC测试. 电子学报, 2017, 45(3): 740-746

[09]卜登立, 江建慧*. 基于Pareto支配的MPRM电路面积与可靠性优化. 电子学报, 2016, 44(11): 2653-2659

[10]欧阳城添, 江建慧*, 王曦. 触发器可靠度计算的F-PTM方法. 电子学报, 2016, 44(9): 2219-2226

[11]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 (SCIE)

[12]凌立, 江建慧*. 基于异步时钟的SoC功耗约束测试调度优化. 计算机研究与发展, 2015, 52(11): 2589-2598

[13]肖杰, 江建慧, 梁家荣. 面向晶体管级广义门电路的PTM可靠性计算方法. 中国科学: 信息科学, 2014, 44(10): 1226-1238

[14]肖杰, 江建慧, 朱旭光. 一种基于迭代PTM模型的电路可靠性评估方法. 计算机学报, 2014, 37(7): 1508-1520

[15]肖杰, 江建慧*, 杨旭华, 梁家荣. 一个面向缺陷分析的电路成品率与可靠性的关系模型. 电子学报, 2014, 42(4): 747-755

[16]肖杰, 江建慧*. 考虑时间因素的不同基本门故障概率计算. 电子学报, 2013, 41(4): 666-673

[17]肖杰, 江建慧. 面向缺陷分析的广义门电路故障概率的计算. 计算机辅助设计与图形学学报, 2013, 25(4): 564-572

[18]欧阳城添, 江建慧*. 基于概率转移矩阵的时序电路可靠度估计方法. 电子学报, 2013, 41(1): 171-177

[19]肖杰, 江建慧*. 结合版图结构信息的基本门电路故障概率估计. 电子学报, 2012, 40(2): 235-240

[20]王真, 江建慧*. 基于概率转移矩阵的串行电路可靠度计算方法. 电子学报, 2009, 37(2): 241-247

[21]王真, 江建慧. 考虑版图级因素的PTM中故障感染率的计算. 哈尔滨工业大学学报, 2009, 41(S1): 124-129

[22]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

[23]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

[24]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 (SCIE/CCF-B)

[25]江建慧, 员春欣. 芯片级系统的在线测试技术. 计算机研究与发展, 2004, 41(9): 1593-1603

[26]陈火军, 江建慧. 门级故障到寄存器传输级故障的映射. 同济大学学报(自然科学版), 2004, 32(8): 1061-1066

[27]江建慧, 闵应骅, 彭澄廉. 一种用于双模冗余系统的健壮故障安全接口. 同济大学学报(自然科学版), 2002, 30(10): 1164-1168

[28]江建慧, 闵应骅, 施鸿宝. 数字电路并发差错定位的概念与基本结构. 计算机研究与发展, 2000, 37(5): 532-542

[29]江建慧, 闵应骅, 施鸿宝. 数字电路并发差错检测的新概念. 计算机研究与发展, 1999, 36(9): 1133-1141

[30]江建慧, 胡谋. 安全逻辑器件与CMOS B/T 逻辑电路及其噪声容限. 计算机研究与发展, 1993, 30(5): 55-61

[31]Jianhui Jiang, Guangming Lu, Zhen Wang. Methods for approximate adders reliability estimation based on PTM model. The 23rd IEEE Pacific Rim International Symposium on Dependable Computing, Taipei, Taiwan, Dec 2018

[32]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

[33]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

[34]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 (CCF-C)

[35]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 17th Pacific Rim International Symposium on Dependable Computing, Pasadena, California, USA, Dec 2011, pp. 276-277

[36]Chengtian Ouyang, Jianhui Jiang* and Jie Xiao. Reliability evaluation of flip-flops based on probabilistic transfer matrices. Proceedings of IEEE 16th Pacific Rim International Symposium on Dependable Computing, Tokyo, Japan, Dec 2010, pp. 239-240

[37]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

[38]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

[39]Jian-Hui JIANG. Error detection and correction in VLSI systems by online testing and retrying. Proceedings of IEEE 12th Asian Test Symposium, Xi’an, China, Nov 2003, P. 504

[40]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

[41]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, Aug 2001, pp. 616-623

[42]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

[43]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

[44]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

[45]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 

方向四:性能评测与设计优化

[01]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; doi:10.3390/en10091333 (SCIE)

[02]陈乃金, 冯志勇, 江建慧, 何瑞祥, 王真. 行并行可重构单元阵列流水映射性能评估. 同济大学学报(自然科学版), 2017, 45(8): 1218-1226

[03]陈乃金, 江建慧. 多叉树数据流图粗粒度可重构单元阵列映射算法. 计算机辅助设计与图形学学报, 2016, 28(7): 1180-1187

[04]陈乃金, 江建慧. 一种粗粒度可重构体系结构多目标优化映射算法. 电子学报, 2015, 43(11): 2151-2160

[05]陈乃金, 冯志勇, 江建慧. 用于二维RCA跨层数据传输的旁节点无冗余添加算法. 通信学报, 2015, 36(4): 35-51

[06]陈乃金, 江建慧. 考虑通信成本和硬件碎片利用的簇划分算法. 计算机辅助设计与图形学学报, 2015, 27(4): 754-763

[07]卜登立, 江建慧. 基于对偶逻辑的混合极性RM电路极性转换和优化方法, 电子学报, 2015, 43(1): 79-85

[08]江建慧,刘宇,朱一南,钱剑琤. 一种结合线程特性的SMT指令队列竞争缓解策略. 同济大学学报(自然科学版), 2013, 41(12): 1889-1897

[09]陈乃金, 江建慧. 融合面积估算和多目标优化的硬件任务划分算法. 通信学报, 2013, 34(2): 40-55

[10]卜登立, 江建慧. 基于混合多值离散粒子群优化的混合极性Reed-Muller最小化算法. 电子与信息学报, 2013, 35(2): 361-367

[11]卜登立, 江建慧. 使用系数矩阵变换极性转换的MPRM电路面积优化. 计算机辅助设计与图形学学报, 2013, 25(1): 126-135

[12]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

[13]陈乃金, 江建慧, 陈昕, 周洲, 徐莹. 一种考虑执行延迟最小化和资源约束的改进层划分算法. 电子学报, 2012, 40(5): 1055-1066

[14]孔亮亮, 江建慧, 肖杰, 蒋圆圆. ARM程序执行周期估计的基于模拟的非线性方法. 计算机研究与发展, 2012, 49(2): 392-401

[15]郑剑, 江建慧. 基于标签转换系统的Web服务行为失配类型的判定方法. 计算机集成制造系统, 2011, 17(12): 2743-2751

[16]郑剑, 江建慧. 基于弱同步的服务交互适配方法. 计算机集成制造系统, 2010, 16(8): 1688-1695

[17]楼俊钢, 江建慧, 赵时旻, 孔亮亮. 基于随机完全区组设计的嵌入式系统性能分析. 同济大学学报(自然科学版), 2009, 37(12): 1663-1667

[18]孔亮亮, 江建慧, 靳昂. 关于系统性能度量方法. 哈尔滨工业大学学报, 2009, 41(S1): 135-141

[19]江建慧, 唐智杰. 测量嵌入式操作系统实时性能参数的新方法. 同济大学学报(自然科学版), 2008, 36(9): 1260-1266

[20]Wang Hongcheng, Jiang Jianhui, and Jin Ang. A performance benchmark suite for real-time embedded systems. High Technology Letters, 2006, 12(S): 55-59

[21]Liangliang Kong, Jianhui Jiang. A combined hardware/software measurement for ARM program execution time. Communications in Computer and Information Science, Vol. 337, 2013, 185-201

[22]Naijin Chen and Jianhui Jiang. Mapping algorithm for coarse-grained reconfigurable multimedia architectures. Proceedings of 19th IEEE Reconfigurable Architectures Workshop, Shanghai, China, 2012, pp. 281-286

[23]Liangliang Kong and Jianhui Jiang. A safe measurement-based worst-case execution time estimation using automatic test-data generation. Proceedings of IEEE 16th Pacific Rim International Symposium on Dependable Computing, Tokyo, Japan, Dec 2010, pp. 245-246

[24]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

[25]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

 

专利

[01]蒋云良, 楼俊钢, 顾永跟, 沈张果, 江建慧. 一种基于QBGSA-RVR的软件可靠性预测方法. 中国发明专利, ZL201510675965.5

[02]张颖, 江建慧. 一种以内升温方式检测时延故障的定温指令级自测试方法. 中国发明专利,  ZL201510012121.2

[03]江建慧, 闵应骅. 自诊断的多模冗余系统. 中国发明专利, ZL01124286.8

 

部分项目

[01]华为技术有限公司项目(YBN2018065235):开源软件可靠性评估及自证清白技术研究,2018年~2020年,负责人,承担单位:同济大学

[02]国家自然科学基金面上项目(61772199):基于程序状态分析的核函数软件失效预测关键技术研究,2018年~2021年,同济大学方负责人,承担单位:湖州师范学院、同济大学

[03]中广核工程有限公司项目:故障注入软件开发项目,2016年~2017年,负责人,承担单位:同济大学

[04]中广核工程有限公司项目:可靠性预测与评估工具软件,2016年~2017年,负责人,承担单位:同济大学

[05]华为技术有限公司项目(YBN2016040031):NFV架构下基于Fail-Safe的故障防扩散方案研究,2016年~2017年,负责人,承担单位:同济大学

[06]国家自然科学基金重点项目(61432017):差错容忍计算器件基础理论与方法,2015年~2019年,同济大学方负责人,承担单位:中国科学院计算技术研究所、香港中文大学深圳研究院、同济大学

[07]华为技术有限公司项目(YB2014120169):无线网络平台云和虚拟化可靠性研究二期项目,2014年~2015年,负责人,承担单位:同济大学

[08]江苏省产学研联合创新资金项目(BY2013095)子课题(BY2013095-5-06):未来网络的容错与容侵,2014年~2015年,负责人,承担单位:同济大学

[09]华为技术有限公司项目(YB2013120054):Linux进程分布式CheckPoint技术研究,2013年~2014年,负责人,承担单位:同济大学

[10]华为技术有限公司项目(YB2013090034):无线网络平台云和虚拟化可靠性研究,2013年~2014年,负责人,承担单位:同济大学

[11]华为技术有限公司项目(YB2012110217):Linux故障模式与基于故障注入的测试技术研究,2012年~2013年,负责人,承担单位:同济大学

[12]上海申通地铁集团公司科研项目:轨道交通网络信息化规划与应用研究,2008年~2009年,同济大学方负责人,承担单位:上海计算机软件技术开发中心、同济大学

[13]国家高技术研究发展计划(863计划)项目(2007AA01Z142):软件可信性评估方法和工具及其应用,2007年~2009年,负责人,承担单位:同济大学

[14]上海市科学技术委员会重点科技攻关计划项目(06DZ15003):轨道交通乘客信息系统终端控制设备、车辆工况监测、车地通信以及电力、设备监控系统的嵌入式技术应用研究,2006年~2008年,同济大学方负责人,承担单位:上海申通轨道交通研究咨询有限公司、同济大学、东华大学、上海电器科学研究所(集团)有限公司等

[15]国家重点基础研究计划(973计划)课题(2005CB321604)子课题:VLSI高可靠设计与评估,2005年~2007年,子课题负责人,承担单位:同济大学

[16]上海市科学技术委员会重点科技攻关计划项目(04DZ15032):轨道交通自动售检票系统终端设备嵌入式技术应用,2005年~2006年,同济大学方负责人,承担单位:上海申通轨道交通研究咨询有限公司、同济大学、上海华虹计通智能卡系统有限公司等

[17]国家自然科学基金重大研究计划《半导体集成化芯片系统基础研究》面上课题(90207021):系统芯片在线测试与容错技术研究,2003年~2005年,负责人,承担单位:同济大学

[18]上海市科学技术委员会信息技术领域重点科技攻关计划项目(035115023):实时嵌入式软件系统测试技术及平台的研究与应用,2003年~2005年,负责人,承担单位:上海计算机软件技术开发中心、同济大学

[19]上海高等学校青年教师学术基金项目(95QD18):实时混合容错理论及容错专用部件结构研究和模拟,1995年~1997年,负责人

 

主要学术任职与学术活动

  • 副主任,中国计算机学会容错计算专业委员会,2012年01月~
  • 副主任,中国计量测试学会集成电路测试专业委员会,2018年~
  • 主任,上海市高等教育学会高校计算机专业委员会,2017年06月~
  • 副主任,上海市高等教育学会高校计算机专业委员会,2013年08月~2017年06月
  • 委员,《信息网络安全》编辑委员会,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, 2018
  • 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第16届全国容错计算学术会议,2015年
  • 程序委员会副主席,CCF中国测试学术会议,2006/2010年
  • 程序委员会主席,全国可信计算技术及应用学术研讨会,2004年
  • 论坛共同主席,CCF第10届中国测试学术会议,2018年
  • 论坛共同主席,CCF第17届全国容错计算学术会议,2017年

  • 程序委员会委员,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年

联系我们

地址:中国 上海曹安公路4800号同济大学软件学院

邮编:201804

联系电话:86-21-69589585,69589332(FAX)

 Copyright© 2017 同济大学软件学院

技术支持: 上海维程