陈小红




个人资料
部门： 软件工程学院
性别： 女
专业技术职务： 副教授
毕业院校： 中国科学院数学与系统科学研究院
学位： 博士
学历： 博士
联系电话：
电子邮箱： xhchen@sei.ecnu.edu.cn
办公地址： 上海市中山北路3663号理科大楼B1104
通讯地址： 上海市中山北路3663号理科大楼B1104
邮编： 200062
传真：


工作经历



教育经历





个人简介



社会兼职
软件学报审稿人
计算机学报审稿人
计算机研究与发展审稿人
APSEC2019国际会议程序委员




研究方向
理论研究：
关键词包括需求工程，基于知识的软件工程，形式化方法，信息物理融合系统，物联网，安全攸关系统，AI，具体来说，包括：
（1）基于环境建模的需求工程方法：一种面向信息物理系统（CPS）的基于环境知识的方法，系统的工作详见网站http://re4cps.org；
（2）形式化需求与验证：对自然语言需求、半形式化需求进行形式化，并基于仿真、测试、形式化验证的需求（系统）确认和验证技术，比如，基于模式语言的安全需求形式化与一致性验证工作，已经成功应用到轨道交通等安全攸关领域；
（3）软件自动生成技术：
人工智能物联网AIoT基于人工智能技术、形式化技术的物联网系统自动生成；
基于AI的动画自动生成技术研究：
3D仿真场景自动生成。
（4）模型的实时协同编辑。
目前在（3）上缺乏人手，若你AI技术很强，或者你懂嵌入式开发，或者你懂动画制作，或者你懂建模、仿真，欢迎联系我。



应用研究：
主要感兴趣的方向包括：
(1) 基于知识和AI技术辅助的软件自动生成技术，
(2) 基于原型的软件界面自动生成，
(3)人工智能（AI）在教育软件上的应用，包括基于图像识别、语音自动识别的儿童英语教育产品等，
(4）基于AI的动画自动生成和图像自动生成技术在各行业的应用。

非常欢迎感兴趣的人可以加入我的团队！有机会与我和我的合作者们合作！
主要的合作者包括：
（1）北京大学 金芝教授 http://www.sei.pku.edu.cn/people/zhijin
（2）英国开放大学 Yijun Yu副教授 http://mcs.open.ac.uk/yy66/index.php
（3）法国蔚蓝海岸大学 Frederic Mallet 教授http://www-sop.inria.fr/members/Frederic.Mallet/
（4）悉尼科技大学 Didar Zowghi教授 https://www.uts.edu.au/staff/didar.zowghi



开授课程
《软件需求》

《面向对象分析与设计》

《云计算》

《现代需求工程方法》




科研项目



学术成果
基于本体的需求问题描述：
Xiaohong Chen, Zhi Jin. Capturing Software Requirements From the Expected Interactions Between the Software and its Environment: an Ontology based Approach. International Journal of Software Engineering and Knowledge Engineering, 26(1): 15-39, 2016.(SCI)
陈小红, 尹斌, 金芝.从交互情景出发的需求捕获方法及其支撑工具.计算机学报，2011, 34(2):329-341.
陈小红,尹斌,金芝.基于问题框架方法的需求建模：一个本体制导的方法.软件学报，2011, 22(2):177-195.
Xiaohong Chen, Zhi Jin, and Lijun Yi. An Ontology of Problem Frames for Guiding Problem Frame Specification. Proceedings of Knowledge Science, Engineering and Management - Second International Conference, KSEM 2007. Lecture Notes in Computer Science, v 4798 LNAI, p 384-395, 2007.
陈小红，易利军，金芝.一个指导问题框架规范描述的本体，，2007年全国软件与应用学术会议，计算机科学，34(9A)，124-127页, 2007.
Xiaohong Chen, Bin Yin, Zhi Jin. DPTool: A Tool for Guiding the Problem Description and the Problem Projection. In proceeding of the 18th IEEE International Requirements Engineering Conference, p401-402, 2010.
Xiaohong Chen, and Zhi Jin. An Ontology-guided Process for Developing Problem Frame Specification: An Example. Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, IWAAPF'08 , p 36-39, 2008.
Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu. Problem Frames Construction from Feature Models. APSEC2013, 2013:164-171.
金芝，尹斌，陈小红，《一个基于问题框架本体的需求描述系统》，软件著作权登记号：2010SR000399，2009.


自动的问题分解-问题投影：
Zhengheng Yuan, Xiaohong Chen*, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin. Simplifying the Formal Verification of Safety Requirements in Zone Controllers through Problem Frames and Constraints based Projection. IEEE Transaction on Intelligent Transportation System. 2018, 19(11):3517 – 3528
Zhi Jin, Xiaohong Chen, and Didar Zowghi. Performing Projection in Problem Frames Using Scenarios. Proceedings of 16th Asia-Pacific software Engineering Conference, APSEC 2009, p249-256, 2009.
Xiaohong Chen, and Zhi Jin. A Scenario-Based Problem Decomposition. Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, p 1150-1155, 2008.


时间需求的建模与形式化验证：
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems by Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen and Tingliang Zhou. RE2019.
Xiaohong Chen,Ling Yin,Yijun Yu,Zhi Jin. Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems.ICFEM2017:54-70
尹玲,陈小红,刘静.信息物理融合系统的时间需求一致性分析。软件学报 2014,25(2): 400-418
陈小红,刘静. 基于环境的多形态时间需求建模方法. 计算机学报, 2013, 36(1):88-103. (EI)
Xiaohong Chen, Ronghua Ye, Haiying Sun, Hong Lu. Deriving Requirements Specification With Time: A Software Environment Ontology based Approach. COMPSAC 2013. 2013: 431-436.
Yuanyang Wang, Xiaohong Chen, Ling Yin. TimePF: A Tool for Modeling and Verifying Timing Requirements based on Problem Frames. APRES 2015, pp.149-154,2015.
Xiaohong Chen, Jing Liu, Mallet Frederic, Zhi Jin. Modeling Timing Requirements in Problem Frames Using CCSL. In proceedings of the 18th Asia-Pacific software Engineering Conference (APSEC 2011), pp.381-388, 2011.
Xiaohong Chen, Jing Liu, Zuohua Ding. On Constructing Software Environment Ontology for Time-Continuous Environment. In proceedings of the 2011 International Conference on Knowledge Science, Engineering and Management(KSEM2011), pp.148-159, 2011.
陈小红，贾少勇，尹玲，刘静，岳阳，基于问题框架方法的时间需求建模与验证系统，登记号：2015SR126936，2015.7.8获批


轨道交通系统：
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems by Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen and Tingliang Zhou. RE2019.
Zhengheng Yuan, Xiaohong Chen*, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin. Simplifying the Formal Verification of Safety Requirements in Zone Controllers through Problem Frames and Constraints based Projection. IEEE Transaction on Intelligent Transportation System. 2018, 19(11):3517 – 3528
Yan Wang, Wen Zhong, Xiaohong Chen*, Jing Liu. Predicting Accidents in Interlocking Systems: An SHA Model-Based Approach. International Journal of Performability Engineering. Volume 13, Number 6, pp. 897-912， 2017.
陈铭松,鲍勇翔,孙海英,缪炜恺,陈小红,周庭梁. 基于通信的列车控制系统可信构造：形式化方法研究,软件学报,2017.28（5）：1183-1203.
周庭梁，许婧，陈小红，赵时旻。基于因果关系的列控系统模型约减方法。同济学报,11(44):1702-1708, 2016
Yan Wang, Wen Zhong, Xiaohong Chen, Dehui Du. Modeling of Interlocking Systems based on Patterns.SEKE2018:292-298
Wen Zhong, Yan Wang and Xiaohong Chen. New Requirements Elicited from Accidents of Train Control System Simulated by Modelica. APRES 2017. 189-204.
Yan Wang, Wen Zhong, Xiaohong Chen, Jing Liu. Predicting Accidents in Interlocking Systems: an SHA Model based Approach. International Journal of Performability Engineering. Volume 13, Number 6, October 2017 - Paper 11 - pp. 897-912 DOI:10.23940/ijpe.17.06.p11.897912
Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen:
Safety Requirements Specification and Verification for Railway Interlocking Systems. COMPSAC 2016: 335-340.
Xiaohong Chen, Li Han, Jing Liu, Haiying Sun. Using safety requirement patterns to elicit requirements for railway interlocking systems. In proceedings of Requirements Engineering Conference workshop, RePa, 2016.
Jing Xu, Xiaohong Chen, Tingliang Zhou, Zhengheng Yuan and Kezhen Huang. Decomposing Automatic Train Control Verification System with Projection, Accepted, APSEC2015, 2015.


基于UML的需求工程：
文涛，陈小红。UML模型评价软件V1.0（登记号：2018SR095973）2018.2
一种基于差异比较对顺序图进行评价的方法（申请号：6.6）文涛，陈小红，中华人民共和国国家知识产权局，申请日期2018.3.22
一种基于差异比较对用例图进行评价的方法（申请号：5.5）文涛，陈小红，中华人民共和国国家知识产权局，申请日期2018.3.22
一种基于差异比较对分析类图进行评价的方法（申请号：4.6）文涛，陈小红，中华人民共和国国家知识产权局，申请日期2018.3.22
一种基于差异比较对设计类图进行评价的方法（申请号：4.0）文涛，陈小红，中华人民共和国国家知识产权局，申请日期2018.3.22


不确定环境和HCPS：
陈铭松,顾璠,徐思远,陈小红。不确定环境下基于价格时间自动机的智能大厦空调系统调度策略评估，2016,27(3):655-669，软件学报.
Yuanyang Wang, Xiaohong Chen, Haiying Sun, Mingsong Chen. Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach. Proceedings of International Conference on Software Engineering and Knowledge Engineering, July, pp.547-550, 2016.
Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du. Evaluating Energy Consumption for Cyber-Physical Energy System: an Environment Ontology-Based Approach. COMPSAC2015,pp.5-14, 2015.
Xiaohong Chen, Mingsong Chen. Extending the Four-Variable Model for Cyber-Physical Systems. In proceedings of 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2012), 2012:pp.31-36.


其他非功能需求：
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems by Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen and Tingliang Zhou
Yin Bin, Jin Zhi, Chen Xiaohong. An Approach for Selecting Implementation Strategies of Non-Functional Requirements. In proceedings of Internetware 2012.
Xiaohong Chen, Jing Liu. Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach. In proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering(SEKE2012), pp. 61-65, 2012.
需求的确认和验证：
[1]Automating ConsistencyVerification of Safety Requirements for Railway Interlocking Systemsby Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen andTingliang Zhou, RE 2019.
[2]Xiaohong Chen, Xi Wu, Mengyao Zhao, Haiying Sun. Verifyingthe Relationship Among Three Descriptions in Problem Frames Using CSP. TASE2019,p. 248-255.
[3]ChenXiaohong, Liu Jing, Liu Zhiming. Requirements monitoring for Internetware: aninteraction based approach. Science China Information Sciences.2013, 56:082106(15), doi: 10.1007/s11432-013-4909-3 (SEI)
[4]一种将SysML模型进行仿真验证的方法。钟雯，陈小红。专利申请号：.1，中华人民共和国国家知识产权局，申请时间2018.4.23
[5]一种基于活动图路径的仿真参数数据自动生成方法。钟雯，陈小红。专利申请号：1.0 ，中华人民共和国国家知识产权局，申请时间2018.5.9
[6]周浩，赵梦瑶，刘筱珊，陈小红，基于SysML模型的系统仿真软件V1.0（登记号2018SR**），2018年12月17日获批。
[7]孙海英,刘静,陈小红,杜德慧,周亭梁.基于形式化测试的实时系统变更后安全性验证,中国科学2014,44(1):70-90.
[8]Jie Liu,Jing Liu,MiaomiaoZhang,Haiying Sun,XiaohongChen,Dehui Du,Mingsong Chen:An Approach to Proving Proof Obligation of Hybrid Event B Based on DifferentialInvariants.COMPSAC(1)2017:138-143
[9]Zhike Wu, JingLiu,Xiaohong Chen, Mingsong Chen. AnApproach to Communicating Process Modeling ofMARTE.In proceedings of Internetware 2012.
[10]Jing Liu, Guobin Wang, XiaohongChen, Zuohua Ding. A Formal Framework of CPS. In proceedings of InternationalConference on Computer, Networks, Systems, and Industrial Applications (CNSI2012), 2012:775-780





荣誉及奖励