Analysis of vulnerability propagation for the all-optical network based on Bio-PEPA

被引:2
|
作者
Zhao, Zhong-Nan [1 ,2 ]
Wang, Jian [1 ]
Guo, Hong-Wei [3 ]
机构
[1] Harbin Univ Sci & Technol, Sch Comp Sci & Technol, Harbin, Heilongjiang, Peoples R China
[2] Harbin Engn Univ, Sch Comp Sci & Technol, Harbin, Heilongjiang, Peoples R China
[3] Heilongjiang Inst Technol, Dept Math, Harbin, Heilongjiang, Peoples R China
基金
中国国家自然科学基金; 高等学校博士学科点专项科研基金;
关键词
All-optical network; Formal modeling; Vulnerability propagation; Bio-PEPA; ATTACK PROPAGATION; PLACEMENT;
D O I
10.1007/s11276-019-01947-2
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Aiming at the vulnerability propagation of all-optical networks, combining with the characteristics of the all-optical network, a formal modeling and analysis method for vulnerability propagation based on Bio-PEPA is proposed in this paper. First of all, the main characteristics that influence the vulnerability propagation are analyzed. Then, the optical fibers, optical amplifiers and optical switches are abstract into three different clusters, and the propagation behavior of vulnerability in intra-cluster and inter-cluster are described accurately. In addition, Ordinary Differential Equations is used for model parsing. Finally, through testing the main factors of vulnerability propagation, such as the number of nodes with potential vulnerability, system detection and repair rate, it is shown that the model constructed in this paper can reflect the vulnerability propagation trend of all-optical networks reasonably. At the same time, the proposed method can avoid the state space explosion problem of traditional modeling methods.
引用
收藏
页码:3513 / 3529
页数:17
相关论文
共 50 条
  • [1] Analysis of vulnerability propagation for the all-optical network based on Bio-PEPA
    Zhong-Nan Zhao
    Jian Wang
    Hong-Wei Guo
    Wireless Networks, 2019, 25 : 3513 - 3529
  • [2] A vulnerability propagation model of distributed virtualized systems based on bio-PEPA
    Lv H.-W.
    Wang H.-Q.
    Lin J.-Y.
    Feng G.-S.
    Guo F.-F.
    Jisuanji Xuebao/Chinese Journal of Computers, 2016, 39 (02): : 391 - 404
  • [3] A bio-pepa based vulnerability diffusion model for WSN
    Lv, H. (lvhongwu@hrbeu.edu.cn), 1600, Trade Science Inc (08):
  • [4] Conservation of Mass Analysis for Bio-PEPA
    Clark, Allan
    Gilmore, Stephen
    Guerriero, Maria Luisa
    Hillston, Jane
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2013, 296 : 107 - 126
  • [5] Bio-PEPA: A framework for the modelling and analysis of biological systems
    Ciocchetta, Federica
    Hillston, Jane
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (33-34) : 3065 - 3084
  • [6] Immune System Modeling and Analysis using Bio-PEPA
    Moldovan, Roxana Dorina
    Todoran, Eneia Nicolae
    2015 IEEE 11TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING (ICCP), 2015, : 475 - 482
  • [7] A semantic equivalence for Bio-PEPA based on discretisation of continuous values
    Galpin, Vashti
    Hillston, Jane
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (21) : 2142 - 2161
  • [8] Modelling and Analysis of the NF-κB Pathway in Bio-PEPA
    Ciocchetta, Federica
    Degasperi, Andrea
    Heath, John K.
    Hillston, Jane
    TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XII, 2010, 5945 : 229 - +
  • [9] Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network
    Akman, Ozgur E.
    Ciocchetta, Federica
    Degasperi, Andrea
    Guerriero, Maria Luisa
    COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS, 2009, 5688 : 52 - +
  • [10] An all-optical forward propagation multilayer neural network
    Saxena, I
    Fiesler, E
    FROM NATURAL TO ARTIFICIAL NEURAL COMPUTATION, 1995, 930 : 807 - 814