上海同济大学 软件学院 江建慧（教授）导师简介

江建慧JIANG JIAN HUI博士后、教授

电子邮件：jhjiang@tongji.edu.cn 

· 主讲课程：计算机系统结构

· 入侵检测与防御

· VLSI测试与容错

· 可信系统设计

· 可信计算

· 软件可靠性工程

· 研究方向：可信系统与网络

· 软件可靠性工程

· VLSI/SoC测试与容错

教学工作主讲课程：1)计算机系统结构 2)入侵检测与防御 3) VLSI测试与容错 4)可信系统设计 5)可信计算 6)软件可靠性工程
导师简介      工学博士，2000年~2002年复旦大学博士后，1994年任副教授，2000年任教授，2003年聘为博士生导师，2004年~2007年任同济大学计算机科学与技术系副主任，2007年~2011年任同济大学计算机科学与技术系主任，2011年9月起任同济大学软件学院副院长。
      目前的主要学术任职包括中国计算机学会容错计算专业委员会委员，上海市计算机学会存储技术专业委员会副主任、普适计算专业委员会常委、信息安全专业委员会委员。2004~2006年《电路与系统学报》编辑委员会委员，2009/2010/2011年IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)程序委员会委员、2007/2010年IEEE Asian Test Symposium (ATS)程序委员会委员、2003/2007年IEEE Workshop on RTL and High Level Testing (WRTLT)程序委员会委员、2011年IEEE Workshop on Dependable and Secure Nanocomputing (WDSN)程序委员会委员、2003/2005/2007/2009/2011年全国容错计算学术会议程序委员会委员、2002/2004年全国测试学术会议程序委员会委员，2007/2009/2011年全国软件测试学术会议程序委员会委员，2004年全国可信计算技术及应用学术研讨会程序委员会主席，2006年第4届和2010年第6届全国测试学术会议程序委员会副主席，2010年IEEE 19th ATS tutorial主席和IEEE 11th WRTLT程序委员会主席。2009年以来多次参加铁道部新建铁路项目安全评估。
       负责和参与完成了国家重点基础研究计划（973）项目1项，国家高技术研究计划（863）项目1项，国家自然科学基金项目（含重点、面上、重大研究计划）4项，上海市科委重点科技攻关计划项目3项，上海市科委基地建设项目1项，铁道部科技发展计划项目2项，上海市教委重点学科项目1项，以及其它类型的项目9项。拥有国家发明专利1项（ZL 01 1 24286.8），软件著作权9项。在《Journal of Computer Science and Technology》、《计算机学报》、《电子学报》等学术刊物及IEEE PRDC、ATS等国际学术会议上发表论文130余篇。出版有研究生教材《计算机容错技术》（中国铁道出版社，1995）和技术专著《安全关键计算机系统》（中国铁道出版社，2003）。培养已毕业的工学博士生5人、工学硕士生逾35人、工程硕士生6人。
部分科研项目简介

· 1.国家高技术研究发展计划（863计划）项目（2007AA01Z142）：软件可信性评估方法和工具及其应用，2007年~2009年，负责人

· 2.国家重点基础研究计划（973计划）课题（2005CB321604）子课题：VLSI高可靠设计与评估，2005年~2007年，子课题负责人

· 3.国家自然科学基金重大研究计划《半导体集成化芯片系统基础研究》面上课题（90207021）：系统芯片在线测试与容错技术研究，2003年~2005年，负责人

· 4.国家自然科学基金青年科学基金项目（60903033）：针对微处理器中硬差错的低代价容错技术研究， 2010年~2012年, 骨干

· 5.国家自然科学基金重点项目（69733010）：容错计算基础技术研究，1998年~2001年，骨干

· 6.国家自然科学基金面上项目（69873010）：基于分布式监测的计算机系统诊断，1999年~2001年，骨干

· 7.国家自然科学基金面上项目（68973043）：VLSI设计与测试中的多值逻辑理论与技术，1990年~1992年，骨干

· 8.上海市科学技术委员会信息技术领域重点科技攻关计划项目（035115023）：实时嵌入式软件系统测试技术及平台的研究与应用，2003年~2005年，子课题负责人

· 9.上海市科学技术委员会重点科技攻关计划项目（06DZ15003）：轨道交通乘客信息系统终端控制设备、车辆工况监测、车地通信以及电力、设备监控系统的嵌入式技术应用研究，2006年~2008年，子课题负责人

· 10.上海市科学技术委员会重点科技攻关计划项目（04DZ15032）：轨道交通自动售检票系统终端设备嵌入式技术应用，2005年~2006年，子课题负责人

· 11.上海市科学技术委员会基地建设项目（07DZ22107）：上海市嵌入式系统应用工程技术研究中心，2007年~2009年，成员

· 12.铁道部科技发展计划项目（95Y09-C）：上海站多媒体信息网络及信息中心关键技术的研究，1995年~1997年，骨干

· 13.铁道部科技发展计划项目（94X15-A）：TMIS系统数据采集的差错校验、安全技术、系统容错技术，1994年~1997年，骨干

· 14.铁道部科技司项目（88-信-05）：铁路信号设备微机控制的容错结构及故障安全技术的研究，1988年~1992年，骨干

· 15.上海市教委重点学科研究项目（B971701）：基于软计算的智能控制理论及其在列车自动运行控制系统中的应用，1997年~1999年，骨干

· 16.上海高等学校青年教师学术基金项目（95QD18）：实时混合容错理论及容错专用部件结构研究和模拟，1995年~1997年，负责人

· 17.上海申通地铁集团公司科研项目：轨道交通网络信息化规划与应用研究，2008年~2009年，子课题负责人

教材和专著

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

· [2] 江建慧. 失效安全技术及自校验技术. 计算机容错技术, 胡谋主编, 第五章, 北京: 中国铁道出版社, 1995, 157-199

刊物论文

· [1] Jie Yin and Jianhui Jiang. Easing instruction queue competition among threads in RMT. Journal of Computers 2011, 6(7): 1394-1401

· [2] JIN Ang, JIANG Jian-hui, LOU Jun-gang, HU Jia-wei. A PIN-based dynamic software fault injection system. Journal of Communication and Computer, 2009, 6(1): 24-33

· [3] 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

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

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

· [6] 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

部分国际学术会议论文

· [1] Ying Wu, Jianhui Jiang, and Liangliang Kong. Sequential frequency vector based system call anomaly detection. In: Proceedings of IEEE 16th Pacific Rim International Symposium on Dependable Computing, Los Alamitos: IEEE Computer Society, Tokyo, Dec 2010, pp. 215-222

· [2] Chengtian Ouyang, Jianhui Jiang and Jie Xiao. Reliability evaluation of flip-flops based on probabilistic transfer matrices. In: Proceedings of IEEE 16th Pacific Rim International Symposium on Dependable Computing, Los Alamitos: IEEE Computer Society, Tokyo, Dec 2010, pp. 239-240

· [3] Jie Yin and Jianhui Jiang. An asynchronous checkpoint-based redundant multithreading architecture. In: Proceedings of IEEE 16th Pacific Rim International Symposium on Dependable Computing, Los Alamitos: IEEE Computer Society, Tokyo, Dec 2010, pp. 243-244

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

· [5] Jungang Lou, Jianhui Jiang, and Chunyan Shuai. A study on software reliability prediction based on transduction inference. Proceedings of IEEE 19th Asian Test Symposium, Los Alamitos: IEEE Computer Society, Shanghai, Dec 2010, 77-80

· [6] 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

· [7] Ang Jin and Jianhui Jiang. Fault injection scheme for embedded programs at machine code level and verification. In: Proceedings of 15th IEEE Pacific Rim International Symposium on Dependable Computing, Los Alamitos: IEEE Computer Society, Shanghai, Nov 2009, pp. 55-62

· [8] Ying Wu and Jianhui Jiang. Frequency weighted Hamming distance for system call anomaly detection. In: Proceedings of the WRI World Congress on Computer Science and Information Engineering, Los Angeles, California, 31 March - 2 April 2009, pp. 105-109

· [9] Qian Feng-an and Jiang Jian-hui. A novel test case generation method of pair-wise testing. In: Proceedings of IEEE 16th Asian Test Symposium, IEEE Computer Society Press, Beijing, Oct 2007, pp. 149-154

· [10] Jian-Hui JIANG. Error detection and correction in VLSI systems by online testing and retrying. In: Proceedings of IEEE 12th Asian Test Symposium, IEEE Computer Society Press, Xi’an, Nov 2003, P. 504

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

· [12] Jianhui Jiang and Mou Hu. The extended self-checking properties of alternating-complementary logic systems. In: Proceedings of International Workshop on Computer-Aided Design, Test, and Evaluation for Dependability, Beijing: International Academic Publishers, Beijing, July 1996, pp. 258-263

· [13] Jiang Jianhui and Hu Mou. Fault tolerance and pipelining of VLSI combinational logic networks. In: Proceedings of IEEE Region 10 International Conference on Computer, Communication, Automation and Power Engineering, vol.1, Beijing: International Academic Publishers, Beijing, Oct 1993, pp. 44-48

获奖经历

· 上海市科技进步三等奖，上海市，1995年

· 铁道部科技进步四等奖，铁道部，1996年

· 上海市高校优秀教材二等奖，上海市教委，1997年

· 复旦大学优秀博士后，复旦大学，2006年

· 同济大学隧道奖励金/教学奖励金教学系列二等奖，同济大学，2005年/2002年

· 铁道部青年科技拔尖人才，铁道部，1999年

· 宝钢教育基金优秀教师奖，宝钢教育基金理事会，1997年

· 第三届/第四届上海高校优秀青年教师，上海市教育委员会，1995年/1997年