期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于Petri网运行状态的组件化软件可靠性分析方法 被引量:2
1
作者 郑晓东 崔志明 陈建明 《计算机技术与发展》 2008年第4期5-8,共4页
通过分析软件系统的组件结构特征、运行状态和可靠性因素,提出了基于随机Petri网运行状态的可靠性分析方法。对构成软件系统的各组件的可靠性进行分析和评估,根据系统运行状态动态跟踪软件的可靠性,推导出整个软件系统的可靠性。与仅着... 通过分析软件系统的组件结构特征、运行状态和可靠性因素,提出了基于随机Petri网运行状态的可靠性分析方法。对构成软件系统的各组件的可靠性进行分析和评估,根据系统运行状态动态跟踪软件的可靠性,推导出整个软件系统的可靠性。与仅着眼于系统组件间的执行路径不同,该方法更关注于系统各个运行状态的可靠性。最后给出了一个实例研究。 展开更多
关键词 组件 软件可靠性 随机petri 运行状态
下载PDF
基于WLAN的CBTC系统中安全通信协议设计与验证 被引量:3
2
作者 陈永刚 罗雅允 贺欢欢 《兰州交通大学学报》 CAS 2015年第4期6-12,共7页
近年来,基于WLAN的CBTC(communication based train control,基于通信的列车运行控制)系统在城市轨道交通中的应用日益广泛.CBTC系统属于安全苛求系统,而基于WLAN技术的无线通信子系统属于开放传输系统,信息在传输过程中容易受各种未知... 近年来,基于WLAN的CBTC(communication based train control,基于通信的列车运行控制)系统在城市轨道交通中的应用日益广泛.CBTC系统属于安全苛求系统,而基于WLAN技术的无线通信子系统属于开放传输系统,信息在传输过程中容易受各种未知因素的干扰.为了确保相关数据的安全可靠传输,完成了一种具有安全防护功能的CBTC通信协议的设计.运用形式化建模语言CPN(colored Petri net,有色Petri网)对所设计的协议进行了建模描述.状态空间分析法验证结果表明所设计的协议正确,能够满足CBTC系统的应用需求. 展开更多
关键词 列车运行控制系统 安全通信协议 无线局域 有色petri 状态空间分析
下载PDF
SPN在网络安全保密系统可靠性分析中的应用 被引量:1
3
作者 林长春 罗朝平 +1 位作者 仇悦 张明清 《信息安全与通信保密》 2009年第1期107-110,113,共5页
文章针对网络安全保密系统的安全需求和运行特性,引入Petri网理论指导网络安全保密系统的可靠性建模与分析过程。首先详细描述了运用随机Petri网对网络安全保密系统进行可靠性建模与分析的具体方法和过程;然后给出一个实例,对系统的保... 文章针对网络安全保密系统的安全需求和运行特性,引入Petri网理论指导网络安全保密系统的可靠性建模与分析过程。首先详细描述了运用随机Petri网对网络安全保密系统进行可靠性建模与分析的具体方法和过程;然后给出一个实例,对系统的保密性服务子系统进行建模,并分析了该子系统在安全运行状态下的可靠性。通过对可靠性建模分析方法的应用,不仅实现了系统方案设计阶段可靠性的可评估性,而且提高了系统后期开发过程的可操作性。 展开更多
关键词 安全保密系统(NSSS~可靠性建模与分析 随机petri(spnl安全运行状态
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部