Study of Cognitive Model for Survivable System Based on High-order Multi-type π Calculus

Authors

Guosheng Zhao, 1. College of Computer Science and Information Engineering, Harbin Normal University, Harbin 150025, China;;
Zhang Nan, 1. College of Computer Science and Information Engineering, Harbin Normal University, Harbin 150025, China;;
Wang Jian, 2. School of Computer Science and Technology, Harbin University of Science and Technology, Harbin 150001, China;

Abstract

Abstract: A cognitive model for survivable system with a multilayer cognitive ability was proposed, and based on high-order multi-type π calculus, combining formal modeling of cognitive model with quantitative analysis of cognitive performance, thus can obtain the quantitative evaluation of system cognitive performance after formal modeling of system operation state, system service and internal structure. A cognitive model for survivable system with a multilayer cognitive ability was proposed. Based on high-order multi-type π calculus, formal modeling of cognitive model for survivable system in two aspects was taken. By using the tool MWB, the tests were achieved about system availability, instantaneous availability, steady-state availability and high-priority tasks throughput in different attacks.

Recommended Citation

Zhao, Guosheng; Nan, Zhang; and Jian, Wang (2020) "Study of Cognitive Model for Survivable System Based on High-order Multi-type π Calculus," Journal of System Simulation: Vol. 28: Iss. 2, Article 3.
Available at: https://dc-china-simulation.researchcommons.org/journal/vol28/iss2/3

First Page

275

Revised Date

2014-11-28

DOI Link

https://doi.org/

Last Page

282

CLC

TP302

Recommended Citation

Zhao Guosheng, Zhang Nan, Wang Jian. Study of Cognitive Model for Survivable System Based on High-order Multi-type π Calculus[J]. Journal of System Simulation, 2016, 28(2): 275-282.