基于高阶多型π演算的可生存系统认知模型研究  

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

作　　者：赵国生[1] 张楠[1] 王健[2] 

机构地区：[1]哈尔滨师范大学计算机科学与信息工程学院,黑龙江哈尔滨150025 [2]哈尔滨理工大学计算机科学与技术学院,黑龙江哈尔滨150001

出　　处：《系统仿真学报》2016年第2期275-282,共8页Journal of System Simulation

基　　金：国家自然科学基金(61202458;61403109);高等学校博士学科点专项科研基金(20112303120007)

摘　　要：提出一个具有多层感知能力的可生存系统认知模型。基于高阶多型π演算把认知模型的形式化建模与认知能力的量化分析同步结合,通过对系统运行状态和系统业务及内部结构形式化建模后进行认知能力的量化评估。提出一个具有多层感知能力的可生存系统认知模型;基于高阶多型π演算对可生存系统认知模型从两个角度进行形式化建模;利用MWB工具实现对不同攻击场景下的系统可用性、瞬时可用性、稳态可用性和高优先级任务吞吐量的试验。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.

关 键 词：可生存系统 认知模型 高阶多型π演算 形式化建模 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]