摘要：从电力生产管理系统应用情况来看，当前系统运行质量不稳定，其功能应用存在可信问题，对电力企业经营管理必然会造成一定阻碍。为促进电力生产管理系统运行稳定，国内很多企业都在进行可信构造方法探索。因此电力生产管理系统可信构造方法研究具有一定实践应用价值，值得相关电力生产部分研究探索。本文主要对可信构造工作模式进行研究，以供相关人员参考。
关键词：电力生产管理系统；可信构造方法；探究
引言
随着电力生产自动化发展越来越快，由计算机软件进行自动控制的电气生产设备越来越多，自动化、智能化和信息化发展极大的促进了电力企业的生产水平，提高了电力生产效率。但同时电力生产软件的可信性问题也愈加明显。这是因为在软件的编制过程中，会出现很多难以发现的漏洞或缺陷，而在实际生产中会因为这些漏洞或问题影响到生产自动化的整体运行，严重影响了电力生产系统的可靠运行。为此，必须要提高电力生产管理系统的可信性，加强系统的可信构造方法研究。
一、可信构造工作模式
在研究电力生产管理系统可信构造方法方面，必须拥有技术平台支持，利用可信技术进行可信构造方法开发应用。当前可信构造相关技术和理论研究成果逐渐增多，这对国内企业电力生产管理系统可信构造工作模式探索具有一定积极作用。在可信构造方法方法技术支持平台确定之后，电力企业需要从可行属性、分级、取证与证明四方面进行可信构造方法研究，为电力生产管理系统可信构造方法建设提供参考。在电力生产管理系统可信构造过程中，要进行电力生产管理系统建设。相对于其他行业而言，电力生产企业经营管理具有一定独特性，其生产管理质量与系统实施效果存在密切联系。因此在电力生产管理系统构建过程中需要建立相应配套设施，为系统全面管理提供基础保障。在电力生产管理系统可信构造工作模式运用方面，电力企业必须加强管理人员培训工作，并对如何开展管理系统建设工作进行施工方案制定，为电力生产管理系统建设提供优质条件。
二、可信分析
（一）可信属性
对系统进行可信分析之前，需要根据系统的应用需求确定可信属性模型，即实际应用中关注的系统的可信属性的集合，然后才能进行进一步的可信分析，电力行业关注的可信属性一般包括：可用性、可靠性、安全性、可维护性、可生存性、实时性等。针对系统不同的应用环境和应用需求，以及电力生产的不同时期，所关注的可信属性及关注程度也各不相同。例如：若系统主要对电厂发电设备进行管理，则实时性和可靠性比较重要；若系统主要用于辅助领导进行数据的统计分析和趋势预测，则易用性和稳定性更加重要一些。因此我们要充分分析系统的应用环境和需求，提取对各类可信属性的具体要求，定义可信属性模型。
（二）可信分级
结合电力行业特点，将可信级别定义为从低到高的五个级别:不可信级、可用级、实用级、标准级证明级。对于不能够进行可信分析或者未通过可信分析的资源，定义为不可信资源；通过基本的可信分析，软件基本达到预期的功能，定义为可用级；通过可信分析,并已经处于实际运行状态，有实际的应用示范工程，运行效果良好，,定义为实用级；不仅通过可信分析并有成功的应用示范工程，而且通过权威的标准化组织的认证，成为一定范围(如行业、国家或者国际)内的规范标准，定义为标准级；资源不仅通过可信分析，而且能够使用形式化工具进行证明，定义为证明级。显然，证明级是可信分级中的最高级别，但是实际应用中，资源可信性的完全证明一般是比较困难的。
（三）可信证据度量和获取
软件可信性就是指软件对于各个可信属性的满足程度，因此在可信属性模型确定之后，我们可以按照模型中的可信属性对系统进行可信分析，主要是基于可信证据模型，从目标系统中提取相关的可信证据，确定每个可信属性的满足程度。可信证据模型中提供了如何度量可信属性及如何提取相应的可信证据，包含了丰富的领域知识和行业特点。
期刊文章分类查询,尽在期刊图书馆结合电力行业的实际应用说明如何对可信属性进行度量并获取相关的证据，可信证据的提取可能使用一些测试工具进行客观的评估，也可能需要使用调查表格来获取用户评价等一些主观的证据。
1.实现层
这里主要对实现层的证据进行度量和获取,实现层主要是指系统底层的实现代码、模型和文档等。例如:对于系统代码正确性的度量，我们可以使用一些工具对代码是否存在死锁和内存泄露等问题进行检查，提取代码的正确性证据。对于代码规范性的度量，我们也可以使用一些工具对代码的是否按照标准缩进、是否按照标准命名、是否添加注释等问题进行检查，提取代码的规范性证据。
2.功能层
这里主要对功能层的证据进行度量和获取，功能层的含义是指资源是否能够达到预期的目标，满足用户的功能；也可以通过计算可测试的功能比率，来度量和提取功能的可评估性证据。
3.框架层
这里主要对框架层的证据进行度量和获取，框架层的含义是指系统整体是否能够很好的与用户或其他应用进行交互，是否能够很容易的安装、维护和集成，是否具备很好的兼容性。例如：可以通过计算系统可以兼容的需求平台比例，来度量和提取软件的兼容性证据；也可以通过调查用户容易使用的功能的比例，来度量和提取软件的易用性证据。
4.规范层
这里主要对规范层的证据进行度量和获取，规范层的含义是指系统遵循的编码规范、过程管理规范等各种规范。例如：确定软件开发过程是否遵循ISO9000标准或者CMMI标准，度量和提取软件开发的认可性证据；确定系统应用于个人、企业范围或国家/国际范围，度量和获取软件应用的广泛性证据。
（四）可信证明
在电力生产管理系统可信证明过程中，可能会无法获取足够的可信资源，因此需要通过各种规则预防可信证明过时。电力生产管理系统可信证明过程中所应用到的一些规则需要存储在电力资源库内，在规则之下进行证明资源分析。在电力生产管理系统可信证明过程中，需要对规则进行描述，通过形式化模型描述系统软件，从而产生形式化系统。在证明规则指导下，技术人员需要对电力生产管理系统可信性进行推演分析、证明。在可信分析报告获取方面，操作人员需要以合成规则为指导，对电力生产管理系统软件可信性证明情况进行研究分析。从系统软件可信证明理论基础层面来看，电力生产管理系统形式化模型主要有推演方法与形式化方法，操作人员可以利用通信顺序进程方法分解系统模型，将系统形式化模型转化为语言形式。电力企业可以将通信顺序进程作为行为规范语言，使电力生产管理系统形式化，有利于明确系统软件在不同应用环境下的行为，对系统可信性推演具有一定重要意义。在通信顺序进程形式化方法运用方面，需要将电力生产管理系统形式化模型转变成形式化句子，句法元素包括连接器与实体。
三、结束语
21世纪是高科技迅速发展的时代，是信息化时代，计算机技术的应用极大的促进了社会各行各业的现代化发展，为可信软件带来很大的市场。计算机软件的可信性对于企业控制管理生产进度，保证企业完成预期生产目标有着很大的作用。尤其是对于电力企业等关系着国民生产和社会经济发展的重要支柱产业，确保其生产管理系统的可信性、安全性就显得更加重要。
参考文献
[1]徐道磊,张靖,薛晓茹.基于电力生产管理系统的可信构造方法研究[J].智能城市,2018(23).
[2]谢斌,彭晨,张浩,et al.基于网络攻击节点可信度的电力系统状态估计[J].仪器仪表学报,2018(3).
[3]郭振宇,何杰.基于PMS 2.0系统设备资产运维精益管控的研究[J].中国电力企业管理,2018(2).
[4]梁智强,林丹生.基于电力系统的信息安全风险评估机制研究[J].信息网络安全,2017(4).
论文作者:李晓聪
论文发表刊物:《基层建设》2019年第27期
论文发表时间:2020/1/2
标签：可信论文; 电力论文; 系统论文; 生产管理系统论文; 证据论文; 度量论文; 可信性论文; 《基层建设》2019年第27期论文;