基于STPA方法的平交道口安全需求分析

现代平交道口控制系统多为由计算机组成的基于通信的控制系统,该类型系统中的危险致因大多源于系统组件间的复杂交互场景未得到充分辨识和控制。为了避免平交道口事故的发生,提出一套基于系统理论过程分析(STPA)的铁路信号系统安全分析方法。借助对传统STPA方法的改进及XSTAMPP软件,以平交道口控制系统为案例进行了安全分析。研究结果实现了安全需求可根据危险分析结果自动生成,解决了传统STPA过程过于依赖人工的问题;分析得到的平交道口控制系统安全需求被自动转化为线性时序逻辑(LTL)语言描述的形式化规范,避免了传统STPA分析结果用自然语言描述可能存在的歧义性,为基于模型的系统设计、测试和验证提供参考。

工业互联网安全监管类平台能力评价体系研究

为科学有效评价工业互联网安全监管类平台能力建设成效,引导后续相关单位构建科学合理的平台能力建设模型,促进平台建设完成后发挥实效,赋能工业互联网网络安全监督与管理工作,需建立工业互联网安全监管类平台能力评价体系。为此,首先提出了工业互联网安全监管类平台评价体系构建的基本原则。其次,从功能建设、覆盖范围、运营服务、扩展能力4个方面、12个维度构建了评价体系基本框架。最后,针对各项评价指标提出了可定量、定性分析的具体指标说明及评价方法。该研究为平台建设企业、行业组织、监管单位等开展事前方案规划、事中建设管理、事后能力评价提供参考依据。