基于时空Petri网的复杂软件系统可信建模与分析

系统仿真学报 ›› 2016, Vol. 28 ›› Issue (8): 1740-1747.

基于时空Petri网的复杂软件系统可信建模与分析

李刚^1,2, 韩龙美¹, 朱永利^1,2

1.华北电力大学控制与计算机工程学院,保定 071003;
2.新能源电力系统国家重点实验室(华北电力大学),北京 102206

收稿日期:2015-05-12 修回日期:2015-08-24 出版日期:2016-08-08 发布日期:2020-08-17
作者简介:李刚(1980-),男,河北枣强,博士,副教授,研究方向为软件工程、系统仿真。
基金资助:
国家自然科学基金(51407076),河北省自然科学基金(F2014502050),河北省高等学校科学研究项目(Z2013007),中央高校基本科研业务费专项资金(2015ZD28)

Trusted Modeling And Analysis of Complex Software Systems Based on Spatial-temporal Petri Nets

Li Gang^1,2, Han Longmei¹, Zhu Yongli^1,2

1. School of Control and Computer Engineering, North China Electric Power University, Baoding 071003, China;
2. State Key Laboratory of Alternate Electric Power System with Renewable Energy Sources (NCEPU), Beijing 102206, China

Received:2015-05-12 Revised:2015-08-24 Online:2016-08-08 Published:2020-08-17

摘要/Abstract

摘要： 复杂软件系统的复杂度不仅由于软件自身耦合关联,互联网环境也产生巨大影响,它已不能脱离外界环境而独立存在。Petri网利用库所和变迁满足分布式系统建模,支持并发和异步,但基础petri网不能对具有时间约束的复杂软件系统特征进行完备地描述。提出了一种时空Petri网的建模方法,对复杂软件从协同学和软件行为学入手,建立其可信度分析模型,并考虑外界环境对复杂软件的影响,以时空特性为约束条件,分析复杂软件在外界环境影响下的可信度。以复杂网络软件系统为分析对象,仿真结果表明,该模型能够对具有时空特性的复杂软件系统进行可信性分析。

关键词: 复杂软件系统, 可信度量, 时空Petri网, 建模与仿真

Abstract: Complexity of complex software system is not only due to the coupling correlation software itself, but also the Internet environment has great influence on the complex software system, and it has not existed independently from the external environment. Petri net uses of place and transition meet the modeling of distributed system, support concurrency and asynchronous, but the basic Petri net can't completely describe the characteristic of complex software systems with time constraints. A Petri net modeling method based on spatial and temporal was proposed. From aspects of synergetic and software behavior, constraints on the characteristics of spatial and temporal, this method established credibility analysis model of complex software system, and considered the influence of external environment for complex software systems, and analyzed credibility of complex software system under the environment influence. In complex network software system as the analysis object, the simulation results show that this model is able to analyze the credibility of the spatial-temporal complex software system.

Key words: complex software system, trusted measurement, spatial-temporal Petri net, modeling and simulation

中图分类号:

TP391.9

李刚, 韩龙美, 朱永利. 基于时空Petri网的复杂软件系统可信建模与分析[J]. 系统仿真学报, 2016, 28(8): 1740-1747.

Li Gang, Han Longmei, Zhu Yongli. Trusted Modeling And Analysis of Complex Software Systems Based on Spatial-temporal Petri Nets[J]. Journal of System Simulation, 2016, 28(8): 1740-1747.

参考文献 12

[1]	王怀民, 吴文峻, 毛新军, 等. 复杂软件系统的成长性构造与适应性演化[J]. 中国科学: 信息科学, 2014, 44(6): 743-761.
[2]	Velmourougan S, Dhavachelvan P, Baskaran R, et al.Software development Life cycle model to build software applications with usability[C]// Advances in Computing, Communications and Informatics (ICACCI, 2014 International Conference on, New Delhi, India: IEEE, 2014: 271-276.
[3]	Xiaoyong Li, Huadong Ma, Feng Zhou, et al.Service Operator-Aware Trust Scheme for Resource Matchmaking across Multiple Clouds[J]. Parallel and Distributed Systems, IEEE Transactions on (S1045-9219), 2015, 26(5): 1419-1429.
[4]	Mei Rong.A model for CPS software system trustworthiness evaluation based on attributes classifying[C]// Computer Science & Education (ICCSE), 2013 8th International Conference on. Colombo, Sri Lanka: IEEE, 2013: 1309-1314.
[5]	Youn Won Keun, Hong Seung Bum, Oh Kyung Ryoon, et al.Software certification of safety-critical avionic systems: DO-178C and its impacts[J]. Aerospace and Electronic Systems Magazine, IEEE (S0885-8985), 2015, 30(4): 4-13.
[6]	金鑫, 刘勇, 林闯, 等. 基于随机Petri网模型的企业网安全分析[J]. 系统仿真学报, 2008, 20(增2): 176-180.
[7]	陈思, 王曙燕, 孙家泽. 基于云模型的可信软件可靠性度量模型[J]. 计算机应用研究, 2014, 31(9): 2729-2731.
[8]	闫永霞. Petri网在计算机网络实时性分析中的应用[J]. 电子技术与软件工程, 2015, 4(1): 15-16.
[9]	黄敏, 魏伟. 一种有时间约束的复杂Petri网建模方法[J]. 中南大学学报(自然科学版), 2012, 43(3): 1027-1032.
[10]	陈火旺, 王戟, 董威. 高可信软件工程技术[J]. 电子学报, 2003, 31(12A): 1933-1938.
[11]	蒋昌俊. Petri网的行为理论及其应用 [M]. 北京: 高等教育出版社, 2003.
[12]	杨健维, 何正友. 基于时间约束Petri网的电网警报处理及故障诊断[J]. 电力系统保护与控制, 2012, 40(1): 77-84, 90.

[1]	李锋, 魏莹. 社会学习和参照点效应对企业产品决策的影响[J]. 系统仿真学报, 2022, 34(2): 234-246.
[2]	樊长佳, 杜炎秋, 梁笛, 胡凯, 黄葭燕. COVID-19期间上海市应急医疗资源配置建模与仿真[J]. 系统仿真学报, 2022, 34(1): 93-103.
[3]	司光亚, 王艳正. 新一代大型计算机兵棋系统面临的挑战与思考[J]. 系统仿真学报, 2021, 33(9): 2010-2016.
[4]	李文翔, 李晔, 董洁霜, 李一鸣. 引入碳交易机制的新能源汽车发展路径研究[J]. 系统仿真学报, 2021, 33(6): 1451-1465.
[5]	王凌, 吴楚格, 范文慧. 边缘计算资源分配与任务调度优化综述[J]. 系统仿真学报, 2021, 33(3): 509-520.
[6]	李锋, 魏莹. 复杂网络对羊群效应现象影响的仿真研究[J]. 系统仿真学报, 2021, 33(3): 539-553.
[7]	张琪, 曾俊杰, 许凯, 秦龙, 尹全军. 基于机器学习的计算机生成兵力行为建模研究综述[J]. 系统仿真学报, 2021, 33(2): 280-287.
[8]	周玉臣, 林圣琳, 马萍, 李伟, 杨明. 武器装备效能评估研究进展[J]. 系统仿真学报, 2020, 32(8): 1413-1424.
[9]	于道林, 朱文海, 庆骁, 施国强. 军工制造业数字化转型的系统方法论[J]. 系统仿真学报, 2020, 32(3): 347-352.
[10]	王剑, 司徒陈麒, 袁胜强. 基于多主体和前景理论的应急风险决策仿真研究[J]. 系统仿真学报, 2020, 32(3): 353-361.
[11]	李锋, 魏莹. 时序网络视角下网络舆情的演化模型研究[J]. 系统仿真学报, 2020, 32(3): 394-403.
[12]	梁彩云, 李宏新, 隋岩峰, 栾旭, 石峰. 航空发动机虚拟采办的构建和发展设想[J]. 系统仿真学报, 2020, 32(12): 2485-2493.
[13]	李伟, 周玉臣, 林圣琳, 马萍, 杨明. 仿真模型验证方法综述[J]. 系统仿真学报, 2019, 31(7): 1249-1256.
[14]	郭勇陈, 沈洋. 中国海上能源通道安全性多主体建模与仿真[J]. 系统仿真学报, 2019, 31(4): 655-670.
[15]	李燕, 何怡刚. 基于萤火虫算法纯电动汽车参数匹配优化[J]. 系统仿真学报, 2019, 31(4): 795-801.