Analyzing Effect of Demand Rate on Safety of Systems with Periodic Proof-tests

摘要

对在决策的一个重要角色根本系统生命周期上演的安全系统戏的量的安全评价，即，设计，推广和阶段外面。大多数安全评价方法认为仅仅系统参数例如配置，冒险率，范围，修理率，与周期的试验一起的等等(或检查) 。不考虑到需求率将与低需求为应用给悲观安全估计，评价例如核电厂，化学工厂，等等。在这篇论文， IEC 61508 的一个基本模型被使用。基本模型被扩大合并进程需求和行为电子 -- 或基于计算机的系统追随者诊断或试验。一个新安全索引，实际需求(PFAD ) 上的失败的概率基于扩大模型和需求率被建议。周期的试验使模型成为 semi-Markovian，因此片明智的连续时间 Markov 链(CTMC ) 基于方法被用来导出基本或聚集的状态的吝啬的州的可能性。基于这些州的可能性在需求(PFD )(IEC 61508 ) 和 PFAD 上决定失败的概率的方法被描述。在例子， PFD 和 PFAD 的安全索引被比较。需求上的失败的关键词概率-没有通过保险箱- Markov 模型-连续时间 Markov 链- IEC 61508 -诊断-修理-试验-需求-安全系统 Manoj Kumar 从工程与技术的教师在电子学和通讯工程与度毕业了， Jamia Millia Islamia ，新德里，在 1998 。自从 1998，他在 Bhabha 原子研究中心(BARC ) 的控制乐器学分割作为一个科学官员一直在工作， Mumbai。当前，他是在印度工学院(IIT ) 孟买的一个博士候选人，印度。他的研究兴趣包括嵌入的 / 计算机的设计和开发基于的控制系统，表演，可靠性，和安全分析。A. K。Verma 收到了 B.Tech (爱人) 和博士(Engg ) 从电力工程的部门的学位， IIT Kharagpur。自从 1988，他作为一个教师与 IIT 孟买。他当前是在可靠性工程的一个教授，在 IIT 孟买的电力工程的部门。他让超过 130 研究论文到他的信用并且在 IIT 孟买监督了十八篇博士论文和七十篇 Master_s 论文。他是 IETE 技术评论， Performability 工程的国际杂志，可靠性的国际杂志，质量和设计的安全的电子学，通讯与信息技术的优秀管理上的特刊的一个客人编辑，并且在各种各样的杂志的编委上。他是各种各样的国际会议， ICQRC 2001， ICMD 2002， ICQRIT 2003， ICQRIT 2006 和 ICRESH 2005 的一个保护人的一个会议主席。他在模糊可靠性工程上写作了一本书：概念和应用。他是 IEEE 的一个高级成员和 IETE 的生活家伙。他可靠性工程上的研究兴趣在软件工程，计算，维护，和力量包括学科交差的应用程序系统。A。Srividya 在 1982 收到了她的 B.E 学位， M.Tech。在在 1985 设计的可靠性的度，和从 IIT 孟买的在 1994 的博士度。自从 1988，她作为一个教师与 IIT 孟买并且当前是在可靠性工程的一个教授，在 IIT 孟买的电力工程的部门。她在各种各样的国际、国家的杂志有超过 28 份出版物。她在会议出版了超过 60 篇论文。她有 supervised/co-supervised 在 IIT 孟买的十四篇博士论文和三十四篇 master_s 论文。她是 ISTE 和 ISPS 的一个生活成员。她是可靠性，安全和危险上的国际会议的会议主席 2005 (在风险的进展通知了技术) 。她在在优秀可靠性和控制上编辑并且考察象国际会议一样的各种各样的国际会议的论文录是有帮助的 2001，多媒体和设计上的国际会议 2002 并且优秀可靠性和信息技术上的国际会议 2003。她是在由可靠性工程，质量与操作管理的社会设计教育与研究奖品的可靠性的领导的一个接受者。她的研究兴趣包括概率的安全评价，可靠性在系统设计集中了维护，和可靠性。