個人簡介
徐田華，男，博士，副教授。分別在西安交通大學，上海交通大學和西安電子科技大學獲得學士、碩士和博士學位。2005年12月到2007年8月在軌道交通控制與安全家重點實驗室博士後流動站工作，研究列車控制系統規範的可信性建模與驗證。2009年11月到2010年4月在York大學（英國）計算機學院做訪問學者，參加歐洲INESS項目，協作開發模型驅動架構下的計算機聯鎖規範建模和自動化驗證理論和方法，以及Eclipse環境下的集成驗證平台。講授研究生課程—《模型驅動的安全系統設計》。研究方向
1. 基於模型驅動的安全系統設計2. 實時容錯軟體構件理論與方法
3. 列車控制領域建模語言（DSL-R）
科研項目
1. 自然基金重點項目--列車運行控制系統的仿真理論和方法（參加）2. 國家重點實驗室自主課題重點項目—基於模型驅動架構的複雜系統設計基礎理論與關鍵算法(主持)
3. 國家自然科學基金重點項目--列車運行控制系統的仿真理論和方法（參加）
學術著作
1. 專著唐濤，徐田華，趙林。列車運行控制系統規範建模與驗證，中國鐵道出版社，2010年6月。
2.學術論文
[1] Yan Cao, Tianhua Xu, Tao Tang, Haifeng Wang, Lin Zhao. Automatic Generation and Verification of Interlocking Tables Based on Domain Specific Language for Interlocking Systems (DSL-I), 2011 IEEE International Conference on Computer Science and Automation Enigneering (CSAE 2011). (Accepted).
[2] 謝雨飛，唐濤，徐田華，趙林。CTCS-3級列控系統規範的建模與形式化驗證方法研究。鐵道學報, 2011，5(33)，73-77。
[3]李開成，徐田華，唐濤。CTCS-3級列控系統避撞協定的建模、設計和實現。中國鐵道科學。2010，31（6）：86-91。
[4] Wumei Tang, Bin Ning, Tianhua Xu, Lin Zhao. Scenario-based modeling and verification for CTCS-3 system requirement specification. 2nd International Conference on Computer Engineering and Technology (ICCET),2010, Page(s): 400 -403
[5]Yufei Xie,Tao Tang, Tianhua Xu, Lin Zhao; Research on requirement management for complex systems. 2nd International Conference on Computer Engineering and Technology (ICCET), 2010 , Page(s): 113 -116
[6]XU Tianhua, TANG Tao, GAO ChunHai, CAI BaiGen. Dependability analysis of the data communication system in train control systems. Science in China, Vol. 52, Number 9. 2009: 2481-2784。
[7]Hongli Zhao, Tianhua Xu, Tao Tang. Towards modeling and evaluation of availability of communication based train control (CBTC) system. ICCTA '09. IEEE International Conference on Communications Technology and Applications 2009 , Page(s): 860 - 863
[8]Tianhua Xu, Tao Tang, Chunhai Gao, Baigen, Cai. Logic Verification of Collision Avoidance System in Train Control Systems.2009 IEEE Intelligent Vehicles Symposium (IEEE IV) 2009-6
[8]徐田華，唐濤。列車控制系統中數據通信子系統的幀丟失機率。中國鐵道科學。2008，29（3）：110-114。
[10]徐田華，趙紅禮。基於有色Petri網的ETCS無線通信可靠性分析。鐵道學報 2008-1
[11]徐田華，唐濤。基於有色Petri網的ETCS通信系統與列車間隔分析。系統仿真學報，2007,19(21):5038-5041。
[12]Tianhua Xu, Tao Tang. The modeling and analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) system with Colored Petri Nets. ISADS 2007,pp. 83-92.
3. 國家標準
[1]中華人民共和國國家標準 軌道交通 通信、信號和處理系統 第1部分：封閉式傳輸系統中的安全相關通信（GB/T 24339-2009/IEC 62280-1:2002），中國標準出版社，ISSN：155066.1-39192，2009年11月。
[2]中華人民共和國國家標準 軌道交通 通信、信號和處理系統 第2部分：開放式傳輸系統中的安全相關通信（GB/T 24339-2009/IEC 62280-2:2002），中國標準出版社，ISSN：155066.1-39139, 2009年11月。
