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

Abstract

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

CLC Number:

TP391.9

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.

References 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]	Guoqiang Shi, Zewei Liu, Tingyu Lin, Zhao Xu, Xingyi Yang, Liqin Guo, Zhengxuan Jia. Open Cloud Architecture Design for Complex Product Modeling and Simulation System [J]. Journal of System Simulation, 2022, 34(3): 442-451.
[2]	Feng Li, Ying Wei. Product Decisions in Presence of Social Learning and Reference Point Effect [J]. Journal of System Simulation, 2022, 34(2): 234-246.
[3]	Fan Changjia, Du Yanqiu, Liang Di, Hu Kai, Huang Jiayan. Modeling and Simulation of Emergency Medical Resources Allocation in Shanghai during COVID-19 [J]. Journal of System Simulation, 2022, 34(1): 93-103.
[4]	Si Guangya, Wang Yanzheng. Challenges and Reflection on Next-generation Large-scale Computer Wargame System [J]. Journal of System Simulation, 2021, 33(9): 2010-2016.
[5]	Cao Qi, Xiang Qun, Wang Wenzheng. Research on Component-based Modeling of Simulation Entity for Logistics and Equipment Support [J]. Journal of System Simulation, 2021, 33(6): 1233-1240.
[6]	Li Wenxiang, Li Ye, Dong Jieshuang, Li Yiming. Development Paths of New Energy Vehicles Incorporating CO₂ Emissions Trading Scheme [J]. Journal of System Simulation, 2021, 33(6): 1451-1465.
[7]	Zheng Lingsha, Jiang Bing, Zhao Zhe, Yang Zhaoxu. Research on Time Performance Simulation and Analysis Technology of Aviation Complex Embedded System [J]. Journal of System Simulation, 2021, 33(6): 1489-1499.
[8]	Zhang Lin, Lu Han. Discussing Digital Twin from of Modeling and Simulation [J]. Journal of System Simulation, 2021, 33(5): 995-1007.
[9]	Duan Hong, Qiu Xiaogang, Xie Xu, Ju Rusheng. Study on Composition of Simulation Discipline Knowledge Areas [J]. Journal of System Simulation, 2021, 33(4): 763-772.
[10]	Wang Ling, Wu Chuge, Fan Wenhui. A Survey of Edge Computing Resource Allocation and Task Scheduling Optimization [J]. Journal of System Simulation, 2021, 33(3): 509-520.
[11]	Li Feng, Wei Ying. Simulation Analysis of Impact of Complex Network on Herd Effect [J]. Journal of System Simulation, 2021, 33(3): 539-553.
[12]	Chu Yang, Liu Zhi, Dou Lintao. Modeling and Simulation Technology of Flight Maneuver for Large Scale battlefield [J]. Journal of System Simulation, 2021, 33(3): 613-621.
[13]	Wang Junfeng, Zhang Yufan, Shao Yaoqi, Li Shiqi. Research on Simulation Data Mapping for Production Performance Digital Twin [J]. Journal of System Simulation, 2021, 33(10): 2470-2477.
[14]	Zhou Yuchen, Lin Shengling, Ma Ping, Li Wei, Yang Ming. Research Progress on Weapon and Equipment Effectiveness Evaluation [J]. Journal of System Simulation, 2020, 32(8): 1413-1424.
[15]	Yu Daolin, Zhu Wenhai, Qing Xiao, Shi Guoqiang. System Methodology of Digital Transformation in Military Manufacturing Industry [J]. Journal of System Simulation, 2020, 32(3): 347-352.