国家科技支撑计划(2006BAK0102)
- 作品数:2 被引量:17H指数:1
- 相关作者:郭海涛阳宪惠更多>>
- 相关机构:清华大学更多>>
- 发文基金:国家自然科学基金国家科技支撑计划更多>>
- 相关领域:自动化与计算机技术化学工程更多>>
- 功能安全管理软件系统设计与实现被引量:1
- 2007年
- 为了辅助安全仪表系统的功能安全管理,对安全生命周期中安全完整性水平选择、安全要求规范及安全完整性水平验证进行了分析,提出了功能安全管理软件的设计方案。安全完整性水平选择有风险图和风险矩阵,而安全完整性水平验证采用了Markov模型,并考虑了结构约束。采用C#语言和Access数据库进行了软件的开发实现。软件既可以评估安全功能的安全性也可评估其平均误停车时间,并生成多种报告。功能安全管理软件为科学的功能安全管理提供了工具与参考,帮助用户全面了解安全仪表系统的安全性与可用性,从而进行科学的功能安全管理。
- 郭海涛阳宪惠
- 关键词:安全仪表系统IEC61508
- 安全系统定量可靠性评估的Markov模型被引量:16
- 2008年
- 为了能够定量评估安全系统的可靠性,并考虑影响安全性、可用性的诸多因素,提出用Markov模型定量计算安全系统可靠性指标的方法。通过状态转移矩阵预先迭代相乘来降低计算量,并给出了使计算量最小的最佳迭代次数。计算结果表明:要求时失效概率随迭代次数增大而增大,且在最佳迭代次数误差仅为1%,说明该方法是保守又安全的,有良好的计算精度。功能测试周期增大1倍后,安全完整性下降了一个水平,故应选择正确的功能测试周期以保证达到目标安全完整性水平。
- 郭海涛阳宪惠
- 关键词:安全系统MARKOV模型可用性IEC