首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   8篇
  免费   0篇
综合类   8篇
  2005年   1篇
  2003年   1篇
  2002年   4篇
  2001年   2篇
排序方式: 共有8条查询结果,搜索用时 0 毫秒
1
1.
铁路车站计算机联锁软件的安全性评估策略   总被引:1,自引:0,他引:1  
安全控制系统的行为直接关系人身和大宗财产的安全,如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题。应从软件可靠性和安全性含义的讨论中,明确它们之间的区别。在此基础上,提出一种能定量反映计算机联锁安全软件安全性的评估策略,最后论述了对某制式铁路车站计算机联锁安全软件进行分级测试后,利用J-M可靠性模型对其进行安全性定量分析的方法。  相似文献   
2.
铁路信号系统作为安全关键系统。它的失效可能带来灾难性的后果或重大经济损失,因此,安全关键系统的软件开发对可靠性和安全性的要求非常苛刻,而需求分析及描述是软件生命周期的一个重要环节,它所确立的系统逻辑模型是设计和实现目标系统的基础,提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法,希望代替以往继电器接点电路表示的逻辑关系处理方式。  相似文献   
3.
联锁软件安全性评估及有关参数的选取   总被引:1,自引:0,他引:1  
首先定义了联锁软件的风险度量和安全性,然后提出了最不利环境下的联锁软件分级风险度量以及相应的安全性投放准则等概念。在考虑有关标准对计算机联锁系统的事故后果严重性进行分级和最不利环境下的计算机联锁软件风险的基础上,讨论了联锁软件安全性投放准则中可接受阈值组的确定和联锁软件事故后果参数的选取方法,并加以实际应用。  相似文献   
4.
形式化故障树分析建模和软件安全性测试   总被引:15,自引:1,他引:14  
阐述了安全性需求的形式化故障树表示技术,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论。  相似文献   
5.
铁路区间自动闭塞系统的可靠性和安全性的测试与评估是铁路安全控制领域广为关注的焦点 ,开发区间自动闭塞系统可靠性和安全性自动测试与评估平台是解决这一问题的有效途径 .因此 ,结合作者正在参加研究开发的区间自动闭塞系统可靠性和安全性自动测试与评估平台 ,介绍了铁路区间自动闭塞系统的基本原理 ,抽象出铁路区间自动闭塞系统面向对象模型 ,详尽阐述了利用轨道作为传输通道的仿真模型中所采用的仿真技术 ,并给出了自动闭塞系统可靠性和安全性自动测试与评估平台的总体设计框图 .  相似文献   
6.
介绍了铁路区间信号安全性测试系统的研制背景,讨论了测试用基础数据的特征和客户机/服务器型数据库框架结构,提出了区间测试专用的静态数据库设计策略;同时,论述了专用数据库技术(包括数据的安全性和完整性)的一般性质特征,并结合具体测试系统的要求,说明了用于铁路区间信号测试系统使用的数据的生成与处理方式。  相似文献   
7.
城市道路交通仿真系统混合Petri网建模   总被引:6,自引:0,他引:6  
城市道路交通系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征,混合Petri网可以很好地描述城市道路交通网的静态属性及动态行为,为此给出了混合Petri网建模实例,并对模型进行了仿真运行分析,最后介绍了城市道路交通仿真系统的仿真策略与仿真流程图。  相似文献   
8.
引入一种变结构有色Petri网模型及其相应的结构变化机制,阐述两种结构变化方式及其相应算法.一种是修正结构方法CBM(change—by—modification),一种是添加子网方法CBC(change—by—composition).结合铁路车站信号联锁中的进路自动解锁建模,讨论了该模型的具体应用。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号