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