This paper presents an extension of CIM to include a unique class representing the anticipated fault set and develops a software package for static security analysis based on CIM.
本文在对公共信息模型研究的基础上,根据CIM规定的语法和语义,对CIM进行了扩展,设计了预想故障集特有的类,并提出了一个基于CIM通用的静态安全分析软件。
This paper presents an extension of CIM to include a unique class representing the anticipated fault set and develops a software package for static security analysis based on CIM.
本文在对公共信息模型研究的基础上,根据CIM规定的语法和语义,对CIM进行了扩展,设计了预想故障集特有的类,并提出了一个基于CIM通用的静态安全分析软件。
应用推荐