软件学院

School Of Software

Introduction:

Name:Hehua Zhang
Borth:1982.6
Postion:Associate Professor
Email:zhanghehua@tsinghua.edu.com
Teaching course:Design of DSLs (for graduate students)


Education background:

Sep, 2004 – Jan, 2010  PhD, Department of Computer science and Technology, Tsinghua university
Sep, 2001 – July. 2004  Master, School of Computer Science and Technology, Jilin university
Sep, 1997 – July,2001  Bachelor, Department of Computer Science and Technology, Jilin university


Experience:

April, 2010 – March, 2011  Post Doctor, Institut National de Recherche en Informatique et en Automatique (INRIA), France
Aug, 2011 – now  Lecturer, School of Software, Tsinghua university


Areas of Research Interests/ Research Projects:

Domain specific languages
Code checking of engineering domain models
Modeling for embedded software and embedded systems


Research Status:

National Standard Program: Engineering domain-oriented information model sharing——Part 1: Domain information model framework. Jan, 2015 – June, 2017.
National Standard Program:Engineering domain-oriented information model sharing——Part 2: Domain information service interface. Jan, 2015 – June, 2017.
National Standard Program: Engineering domain-oriented information model sharing——Part 3:testing methodology. Jan, 2015 – June, 2017.
Tsinghua National Lab (TNList) Research Program: Domain knowledge based semantic checking of BIM models. Jan, 2016 - Dec, 2016. finished.
Tsinghua University Initiative Scientific Research Program: Mixed synchronous-asynchronous modeling methods of embedded systems. Jan, 2014 - Dec, 2016. (Person in charge). finished.
NSFC program (Young Scientists fund):Domain specific semantic checking for the component models of embedded systems. Jan, 2013 – Dec, 2015 (Person in charge). finished.
NSFC program (Major research plan): Testing environment and typical applications for trustworthiness of embedded software systems. Jan, 2013.1- Dec, 2016. finished.
The National Key Technology R&D Program (Funded byMOST):R& D of Plantform for developing trustworthy embedded software systems.  Sep, 2012 – Sep, 2014. finished.
National 973 program:Verifiability theory of components on Product design software systems. Jan, 2010 - Dec, 2015 .finished.
NSFC program(General program):Domain specific verification environment for trustworthiness of embedded software systems. Jan, 2011—Dec, 2011, finished.
NSFC program(Key program):Trustworthy modeling and verification of embedded software based on theorem proving. Jan, 2008.-Dec, 2010, finished.


Academic Achievement:

Selected Journal publications in recent 5 years:
Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distrib. Syst. 26(8): 2220-2232 (2015).
Yu Jiang, Hehua Zhang, Zonghui Li, Yangdong Deng, Xiaoyu Song, Ming Gu, Jia-Guang Sun:Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. IEEE Transactions on Industrial Electronics 62(2): 1270-1278 (2015) .
Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun. Symbolic Analysis of Programmable Logic Controllers. IEEE Transactions on Computers, 63(10), p2563-2575, 2014.
Xi Lin, Hehua Zhang, Ming Gu:OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models. J. Applied Mathematics 2013: 934349:1-934349:11 (2013).
Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun. Bayesian Network Based Reliability Analysis of PLC Systems. IEEE Transactions on Industrial Electronics, 60(11), p5325-5336, 2013

Selected Conference publications in recent 5 years:
Jianqiao Gu, Hehua Zhang, and Ming Gu.Automatic Integrity Checking of IFC Models relative to building Regulations. In Proceedings of the International Conference on Internet Multimedia Computing and Service (ICIMCS'16), 52-56(2016).
Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun,Xiaoyu Song, Ming Gu, Jiaguang Sun. Tsmart-GalsBlock: A Toolkit for Modeling,Validation, and Synthesis of Multi-clocked Embedded Systems. Proceeding of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2014), Hongkong, China, 2014.
HanLiu, Hehua Zhang, YuJiang, Xiaoyu Song, Ming Gu, Jiaguang Sun.  Application-specific Architecture Selection for Embedded Systems via Schedulability Analysis. The 8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014), P131-134,2014.
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun. iDola: Bridge Modeling to Verification and Implementation of Interrupt-driven Systems.The 8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014), P193-200, 2014.
Yu Jiang, Hehua Zhang, Han Liu, William N.N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun. System Reliability Calculation Based on the Run-time Analysis of Ladder Program. Proceeding of the 21st ACM SIGSOFT International Symposium on Foundations of Software Engineering(FSE 2013), Saint Petersburg, Russian, p703-706, 2013.
Yu Jiang, Zhonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun. Design and Optimization of Multi-clocked Embedded Systems Using Formal Technique. Proceeding of the 21st ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2013), Saint Petersburg, Russian, p695-698, 2013.
Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiangguang Sun. Sequential Dependency and Reliability Analysis of Embedded System. Proceeding of the 18th ACM Asia and South Pacific Design Automation Conference (ASP-DAC 2013), Yokohama, Japan, p423-428, 2013.
Yu Jiang, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun. Verification and Implementation of the Protocol Standard in Train Control System. Proceeding of the 37th IEEE Annual International Computer, Software & Applications Conference, Kyoto (COMPSAC 2013), Japan, p549-558, 2013.
Fan Wu, Hehua Zhang,Ming Gu. DOPROPC: a domain property pattern system helping to specify control system. Proceeding of the 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), P695-698, 2013.