孙海英

2009.09.01-2017.06.30  华东师范大学  计算机软件理论　博士

1998.09.01-2001.03.31  南京理工大学  计算机应用　　　硕士

1994.09.01-1998.06.30  南京理工大学  计算机应用　　　学士

2003.07.07-  华东师范大学 软件工程学院 教师

2001.04.01- 2003.07.01 华为南京研究所  软件工程师

　　安全关键软件是一类苛求质量无限接近完美的强实时嵌入式系统，常常被应用于诸如高铁、城轨、汽车、航空航天、医疗、核工业、能源等各个与国家基础设施相关的高端制造产业中，对国民经济和国防安全有着深远地影响。本人自2009年起专注于形式化语言构造、形式化需求验证、测试用例生成方法等方面的研究。先后主持并参与多项国家级省部级科研项目和企业项目，在CCF认定的核心国际会议和期刊上发表相关论文20余篇.

软件测试 测试自动生成

形式化建模 形式化验证

模型驱动的软件构造  

主要开设课程：

1、软件测试与验证

2、软件开发实践

3、软件测试工具

4、软件项目管理

5、软件工程与过程

6、软件质量保证

主要主持及参与的项目：

1、基于静态分析及主动学习协同的私有协议逆向， 国家重点研发计划项目，2023-2025

2、云－端架构信息物理系统高效可信构造关键技术研究，国家自然基金项目， 2022-2025

3、基于安全建模语言的软件需求形式化建模与验证技术，省部级纵向项目，2019-2022

4、用户意图的IoT服务逻辑自动生成方法，国家自然基金项目，2022-2025

5、不确定环境下信息物理系统高效可信构造关键技术研究，国家自然基金项目，2018-2021

6、安全计算机平台--GCC编译器优化与安全性分析研究技术，企业项目， 2020-2021

7、TSP安全计算机平台-编译器差异性分析，企业项目，2021-2022

2021-2023年发表论文列表

[1] Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun: Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices. Comput. J. 65(11): 2894-2908 2022.

[2] Cong Wang, Haiying Sun, Hui Dou, HongTao Chen，Jing Liu， MC/DC Test Case Automatic Generation for Safety-Critical Systems，QRS2022, 732-743.

[3] Chenchen Yang, Haiying Sun, Jing Liu, Jiexiang Kang, Wei Yin, Hui Wang, Tengfei Li, Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems, COMPSAC2021:874-883.

[4] Tengfei Li, Jing Liu, JieXiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang, STSL: A Novel Spatio-Temporal Specification Language for QRS2020, 309-319.

[5] Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang: A Novel Approach for Bounded Model Checking Through Full Parallelism. QRS 2022: 376-387. 

[6] Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, Chenchen Yang: Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language. QRS 2022: 388-399.

[7] Huiyu Liu, Jing Liu, Haiying Sun, Tengfei Li, John Zhang: Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems. QRS 2022: 549-560.

[8] Dong Wang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang: A Fully Parallel Approach of Model Checking Via Probe Machine. Int. J. Softw. Eng. Knowl. Eng. 31(11&12): 1761-1781,2021.

[9] Tengfei Li, Jing Liu, Haiying Sun, Xiaohong Chen, Ling Yin, Xia Mao, Junfeng Sun: Runtime Verification of Spatio-Temporal Specification Language. Mob. Networks Appl. 26(6): 2392-2406,2021.

[10] Tengfei Li, Jing Liu, Haiying Sun, Xiang Chen, Lipeng Zhang, Junfeng Sun, A spatio-temporal    specification language and its completeness & decidability. J. Cloud Comput. 9: 65 (2020)

[11] Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun: uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach. J. Syst. Softw. 167: 110617 (2020)

[12] Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han: Model Checking of Spatial Logic. APSEC 2020: 169-177