Page 224 - 《软件学报》2021年第6期

1798 Journal of Software 软件学报 Vol.32, No.6, June 2021

[22] Luo CX, Wang R, Guan Y, Li XJ, Shi ZP, Song XY. CPS integrated modeling method for real-time data. Ruan Jian Xue Bao/
Journal of Software, 2019,30(7):1966−1979 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/30/1966.htm
[23] Ye F, Xia Y, Shen ZX, Zhu YC. CPS modeling method based on dynamic behavior modeling. Journal of System Simulation, 2016,
28(05):1003−1008,1016 (in Chinese with English abstract).
[24] Zhang ZH, Zhu Y, Xiao FX. Modelling and analysis of real-time and reliability for WSN-based CPS. Int’l Journal of Internet
Protocol Technology (IJIPT), 2019,12(2).
[25] Su Q, Wang T, Chen TM, Chen RR. CPS security modeling and validation based on time automaton. Information Security
Research, 2017,3(7):601−609 (in Chinese with English abstract).
[26] Zhang J, Wang L, Fan HB. Modeling and analysis of CPS physical entity spatio-temporal state. Computer Engineering and
Applications, 2018,54(14):41−44 (in Chinese with English abstract).
[27] Zhao HZ, Cheng S, Yue H. Using CSTPNs to model traffic control CPS. IET Software, 2017,11(3):116−125.

附中文参考文献:
[9] 董云卫,王广仁,张凡,高磊.AADL 模型可靠性分析评估工具.软件学报,2011,22(6):1252−1266. http://www.jos.org.cn/1000-9825/
4014.htm [doi: 10.3724/SP.J.1001.2011.04014]
[12] 杨志斌,胡凯,赵永望,马殿富,Jean-Paul BODEVEIX.基于时间抽象状态机的 AADL 模型验证.软件学报,2015,26(2):202−222.
http://www.jos.org.cn/1000-9825/4776.htm [doi: 10.13328/j.cnki.jos.004776]
[14] 祝义,黄志球,曹子宁,周航,刘亚萍.一种基于形式化规约生成软件体系结构模型的方法.软件学报,2010,21(11):2738−2751.
http://www.jos.org.cn/1000-9825/3701.htm [doi: 10.3724/SP.J.1001.2010.03701]
[15] 许金淼,杨志斌,黄志球,谢健,周勇.系统架构描述语言 AADL 的功能行为建模扩展.计算机科学与探索,2019,13(10):1638−1653.
[16] 李蜜,庄毅,胡镡文.一种结合 AADL 与 Z 的嵌入式软件可靠性建模与评估方法.计算机科学,2019,46(8):217−223.
[17] 曹雪岳,曹子宁,卜星晨.面向 CPS 的混成 AADL 建模与模型转换.计算机技术与发展,2019,29(10):35−40.
[19] 刘骁,谢红梅.AADL 行为模型时间一致性验证方法.计算机技术与发展,2017,27(7):1−5.
[21] 侯刚.信息物理系统软件的形式建模、验证与分析[博士学位论文].大连:大连理工大学,2018.
[22] 罗晨霞,王瑞,关永,李晓娟,施智平,SONG XY.面向实时数据的 CPS 一体化建模方法.软件学报,2019,30(7):1966−1979.
http://www. jos.org.cn/1000-9825/5753.htm [doi: 10.13328/j.cnki.jos.005753]
[23] 叶枫,夏阳,申朝祥,朱云超.基于动态行为建模的 CPS 计算实体建模方法.系统仿真学报,2016,28(5):1003−1008,1016.
[25] 苏琪,王婷,陈铁明,陈蓉蓉.基于时间自动机的 CPS 安全建模和验证.信息安全研究,2017,3(7):601−609.
[26] 张晶,王亮,范洪博.CPS 系统物理实体时空一致性建模与分析.计算机工程与应用,2018,54(14):41−44.

陈小颖(1997－),女,硕士,CCF 学生会员, 赵宇(1997－),男,硕士,CCF 学生会员,主
主要研究领 域为软件工程 , 形式化方 要研究领域为软件工程,软件缺陷预测,机
法,CPS 系统. 器学习.

祝义(1976－),男,博士,教授,CCF 专业会 王金永(1983－),男,博士生,CCF 学生会
员,主要研究领域为软件工程,形式化方 员,主要研究领域为时空约束系统规约,协
法,CPS 系统,智能软件开发. 同无人驾驶安全性分析,形式化模型检测.