Prover Extractor

用于自动处理、检查和生成基于继电器的联锁系统原理图

关于 Prover Extractor

Prover Extractor是用于自动处理、检查和生成基于继电器的联锁(RBI)系统原理图的工具。 该工具的一个主要特点是从继电器电路原理图中提取元件和互联数据,以实现检查设计和设计指南一致性,并得以执行基于继电器的联锁系统的形式化验证。

Prover Extractor支持Bentley Microstation和Autodesk AutoCAD,它已被应用于检查由瑞典公司Trafikverket维护的,一些当今最大的基于继电器的联锁系统。

优势和用法

  • 自动检查设计指南提高了继电器联锁系统电路图的可维护性
  • 自动生成布线、机架和电缆连接图,可节省 RBI 系统组装的成本和时间
  • 自动生成组件数据库和变更管理,可节省时间和成本
  • 计算机化检查和生成提高了复杂 RBI 系统的质量和一致性
  • 针对 RBI 系统对安全要求进行形式化验证,可提高质量并节省时间和成本
  • 根据组件数据库交叉检查继电器联锁系统电路图,可节省成本和时间

点击查看放大截图

查找触点和线圈并按照以下参考内容进行导航,显示工程图错误。

查看绘图元素的含义。

提取带有详细信息的组件列表。

提取电线列表。

显示版本之间的更改。