中文摘要：

为了辅助安全仪表系统的功能安全管理,对安全生命周期中安全完整性水平选择、安全要求规范及安全完整性水平验证进行了分析,提出了功能安全管理软件的设计方案。安全完整性水平选择有风险图和风险矩阵,而安全完整性水平验证采用了Markov模型,并考虑了结构约束。采用C#语言和Access数据库进行了软件的开发实现。软件既可以评估安全功能的安全性也可评估其平均误停车时间,并生成多种报告。功能安全管理软件为科学的功能安全管理提供了工具与参考,帮助用户全面了解安全仪表系统的安全性与可用性,从而进行科学的功能安全管理。

英文摘要：

For enhancing functional safety management on safety instrumented systems, a design of functional safety management software is presented based on the analysis of safety integrity level（SIL） ,safety requirement specification and safety integrity verification, which are included in safety life cycle. Hazard matrix and risk graph are two typical methods for SIL selection. Safety integrity verification uses Markov models and architecture constraints are also taken into account. The software is developed using C#. It can be used to assess not only safety but also availability for safety instrumented functions. Several types of report can be generated. The functional safety management software is a good tool and reference for correct functional safety management, helping users understanding the safety and availability of safety instrumented systems.