江建慧

江建慧，上海鐵道學院博士，現任同濟大學計算機科學與技術系教授，計算機軟體與理論專業博士生導師，計算機系統結構專業碩士生導師，系主任。

基本介紹

• 中文名：江建慧
• 畢業院校：上海鐵道學院
• 學位/學歷：博士
• 專業方向：可信賴系統與網路、軟體可靠性工程、VLSI/SoC測試與容錯
• 職務：同濟大學軟體學院副院長

人物經歷

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月起任同濟大學軟體學院副院長。

發明專利

[01]蔣雲良,樓俊鋼,顧永跟,沈張果,江建慧. 一種基於QBGSA-RVR的軟體可靠性預測方法. 中國發明專利, ZL201510675965.5

[02]張穎, 江建慧. 一種以內升溫方式檢測時延故障的定溫指令級自測試方法. 中國發明專利, ZL201510012121.2

[03]江建慧, 閔應驊. 自診斷的多模冗餘系統. 中國發明專利, ZL01124286.8

獲獎經歷

• 同濟大學教學成果一等獎，同濟大學，2017年
  
• 華為無線網路產品線“2015年價值合作成果獎”，華為技術有限公司，2016年
  
• 上海市科技進步一等獎，上海市人民政府，2015年
  
• 上海市教學成果一等獎，上海市教育委員會、上海市人力資源和社會保障局，2013年
  
• 復旦大學優秀博士後，復旦大學，2006年
  
• 同濟大學教學獎勵金教學系列二等獎，同濟大學，2005年
  
• 同濟大學隧道獎勵金二等獎，同濟大學，2002年
  
• 鐵道部青年科技拔尖人才，鐵道部，1999年
  
• 寶鋼教育基金優秀教師獎，寶鋼教育基金理事會，1997年
  
• 上海市高校優秀教材二等獎，上海市教育委員會，1997年
  
• 第四屆上海高校優秀青年教師，上海市教育委員會，1997年
  
• 鐵道部科技進步四等獎，鐵道部，1996年
  
• 第三屆上海高校優秀青年教師，上海市教育委員會，1995年
  
• 上海市科技進步三等獎，上海市人民政府，1995年
  

發表論文

• [01]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, 2019, Early Access Article (CCF-A)
  
• [02]張穎, 張嘉琦, 王真, 江建慧. 基於有界模型檢測的門級軟體自測試方法. 同濟大學學報(自然科學版), 2018, 46(11): 1576-1581
  
• [03]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
  
• [04]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
  
• [05]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)
  
• [06]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 (SCIE)
  
• [07]陳曉, 江建慧*. 動態可配置的兩階段虛擬機容錯分配方法. 電子科技大學學報, 2016, 45(3): 442-447
  
• [08]張穎, 江建慧*, 李華偉, 李曉維. 基於信號跳變時間可調整的容錯路由器. 同濟大學學報（自然科學版）, 2015, 43(2): 305-311
  
• [09]陳林博, 江建慧, 張丹青. 用多密鑰加密方法防禦面向返回編程的攻擊. 高技術通訊, 2014, 24(4): 355-364
  
• [10]陳林博, 江建慧, 張丹青. 基於雙棧的緩衝區溢出攻擊的防禦. 同濟大學學報（自然科學版）, 2012, 40(3): 452-458
  
• [11]周煥盛, 江建慧*. 一個多維信息安全指標體系及等級保護量化模型. 中國科學技術大學學報, 2012, 42(1): 67-76
  
• [12]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)
  
• [13]印傑, 江建慧. 冗餘多執行緒結構的重命名暫存器配對共享分配策略. 計算機研究與發展, 2011, 48(3): 516-527
  
• [14]陳林博, 江建慧, 張丹青, 帥春燕. 基於多版本冗餘進程的容侵系統. 清華大學學報（自然科學版），2011, 51(S1): 1519-1526
  
• [15]楊洋, 帥春燕, 江建慧. 基於堆疊分析的緩衝區溢出漏洞檢測方法. 計算機研究與發展, 2011, 47(S): 291-295
  
• [16]江建慧, 章力源, 金濤, 陳川. 基於k循環隨機序列的動態緩衝區溢出防禦. 同濟大學學報（自然科學版）, 2010, 38(6): 917-924
  
• [17]田春岐, 江建慧, 胡治國, 李峰. 一種基於聚集超級節點的P2P網路信任模型. 計算機學報, 2010, 33(2): 345-355
  
• [18]王真, 江建慧, 員春欣. 高性能處理器的差錯校正技術. 計算機研究與發展, 2008, 45(2): 358-366
  
• [19]江建慧, 朱為國. 嵌入式存儲器的內建自測試和內建自修復. 同濟大學學報（自然科學版）, 2004, 32(8): 1050-1056
  
• [20]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)
  
• [21]江建慧, 閔應驊, 彭澄廉. N為偶數的並發差錯可定位N-模冗餘結構. 計算機學報, 2002, 25(8): 837-844
  
• [22]江建慧. 交替互補定位器及其用於雙模比較冗餘結構的差錯定位. 計算機研究與發展, 2001, 38(6): 754-764
  
• [23]江建慧, 施鴻寶. 具有故障定位能力的健壯故障安全系統. 電子學報, 2000, 28(8): 35-38
  
• [24]江建慧, 閔應驊, 施鴻寶. 一種擴展故障安全系統理論. 電路與系統學報, 1999, 4(4): 1-9
  
• [25]Zhongshen Chen, Ying Zhang, Zebo Peng, Jianhui Jiang. A deterministic-path routing algorithm for tolerating many faults on wafer-level NoC. The 22nd IEEE/IFIP Design, Automation, and Test in Europe Conference and Exhibition, Florence, Italy, Mar 2019 (CCF-B)
  
• [26]Ying Zhang, Krishnendu Chakrabarty*, Huawei Li, Jianhui Jiang*. Software-based online self-testing of network-on-chip using bounded model checking. Proceedings of 48th IEEEInternational Test Conference, Fort Worth, Texas,USA, Oct 2017 (CCF-B)
  
• [27]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
  
• [28]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)
  
• [29]Linbo Chen,Jianhui Jiang* andDanqing Zhang.Code reuse prevention throughcontrol flow lazily check. Proceedings of IEEE 18th Pacific Rim International Symposium on Dependable Computing, Niigata, Japan, Dec 2012, pp. 51-60
  
• [30]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
  
• [31]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
  
• [32]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
  
• [33]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
  
• [34]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]華為技術有限公司項目（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年，負責人

[20]鐵道部科技基金項目（J92X015）：多處理機和VLSI/WSI陣列的自動重構技術及其性能評價，1992年~1994年，負責人