摘要：现在有很多电力生产的管理系统存在着不能如期完成实施、运行不稳定和功能可用性不强等可信问题，那么如何让电力生产管理系统达到可信、分级、可信证据度量和获取证明，如何在规则指导下进行可信构造，如何在电力生产管理系统的发展中加大系统可信性研究，针对以上问题，本文就如何应用可信构造方法提高电力生产管理系统效率开展研究，为运用可信分析方法升级演化电力生产管理系统建立坚实的基础。
关键词：系统管理的分析；可信构造分析
引言
随着电力生产自动化发展越来越快，由计算机软件进行自动控制的电气生产设备越来越多，自动化、智能化和信息化发展极大的促进了电力企业的生产水平，提高了电力生产效率。但同时电力生产软件的可信性问题也愈加明显。这是因为在软件的编制过程中会出现很多难以发现的漏洞或缺陷，而在实际生产中会因为这些漏洞或问题影响到生产自动化的整体运行，严重影响了电力生产系统的可靠性。为此，必须要提高电力生产管理系统的可信性，加强系统的可信构造方法研究。
1可信构造方法的工作模式
在电力生产管理系统的可信构造方法的研究中，首先需要明确其技术支持平台，也就是可信技术。目前，关于可信构造的理论研究与技术方法已经取得了一定的成就，为我们构造可信性的工作模式提供了有力的技术支持。在确定了可信构造方法的技术支持平台后，笔者将可信构造方法的研究分为四部分，即生产管理系统的构建、系统实施过程管理、可信评估和可信证明。若要对电力生产管理系统进行可信构造，首先就需要建立起一定的电力生产管理系统。由于电力企业生产相较于其他企业的生产有着很大的不同，其独特的行业特点使得电力生产管理系统的运行质量在很大程度上依赖于系统的实施过程。为此，在构建电力生产管理系统时，还必须要配套的相应建立起系统实施过程管理系统，只有这样，才能真正实现系统的科学全面管理。另外，对电力生产管理的相关人员进行系统的培训可以加快系统的构建与实施，制定具体的系统实施方案也可以在很大程度上帮助系统的建立，为系统可信构造创造有利条件。
2可信分析
首先建立可信分析的逻辑架构，可信分析主要包括可信评估和可信证明两个部分，根据可信评估和可信证明的结果能够生成最终的可信分析报告，对系统可信性给出分析结论。
2.1可信属性
对系统进行可信分析之前，需要根据系统的应用需求确定可信属性模型，即实际应用中关注的系统的可信属性的集合，然后才能进行进一步的可信分析。电力行业关注的可信属性一般包括：可用性、可靠性、安全性、可维护性、可生存性、实时性等等，针对系统不同的应用环境和应用需求，以及电力生产的不同时期，所关注的可信属性及关注程度也各不相同。因此，我们首先要充分分析系统的应用环境和需求，提取对各类可信属性的具体要求，定义可信属性模型。
2.2可信分级
结合电力行业特点，将可信级别定义为从低到高的五个级别：不可信级、可用级、实用级、标准级、证明级。对于不能够进行可信分析或者未通过可信分析的资源，定义为不可信资源；通过基本的可信分析，软件基本达到预期的功能，定义为可用级；通过可信分析，并已经处于实际运行状态，有实际的应用示范工程，运行效果良好，定义为实用级；不仅通过可信分析并有成功的应用示范工程，而且通过权威的标准化组织的认证，成为一定范围(如行业、国家或者国际)内的规范标准，定义为标准级；资源不仅通过可信分析，而且能够使用形式化工具进行证明，定义为证明级。
期刊文章分类查询,尽在期刊图书馆显然，证明级是可信分级中的最高级别，但是，实际应用中，资源可信性的完全证明一般是比较困难的。
2.3可信证据度量和获取
软件可信性就是指软件对于各个可信属性的满足程度，下面结合电力行业的实际应用，按照四个层次举例说明如何对可信属性进行度量并获取相关的证据，可信证据的提取可能使用一些测试工具进行客观的评估，也可能需要使用调查表格来获取用户评价等一些主观的证据。
2.3.1实现层。这里主要对实现层的证据进行度量和获取，实现层主要是指系统底层的实现代码、模型和文档等等，例如：对于系统代码正确性的度量，我们可以使用一些工具对代码是否存在漏洞、死锁和内存泄露等问题进行检查，提取代码的正确性证据；对于代码规范性的度量，我们也可以使用一些工具对代码的是否按照标准缩进、是否按照标准命名、是否添加注释等问题进行检查，提取代码的规范性证据。
2.3.2功能层。这里主要对功能层的证据进行度量和获取，功能层的含义是指资源是否能够达到预期的目标，满足用户的功能；也可以通过计算可测试的功能比率，来度量和提取功能的可评估性证据。
2.3.3框架层。这里主要对框架层的证据进行度量和获取，框架层的含义是指系统整体是否能够很好的与用户或其他应用进行交互，是否能够很容易的安装、维护和集成，是否具备很好的兼容性，例如：可以通过计算系统可以兼容的需求平台比例，来度量和提取软件的兼容性证据，也可以通过调查用户容易使用的功能的比例，来度量和提取软件的易用性证据。
2.3.4规范层。这里主要对规范层的证据进行度量和获取，规范层的含义是指系统遵循的编码规范、过程管理规范等各种规范，例如：确定软件开发过程是否遵循IS09000标准或者CMMI标准，度量和提取软件开发的认可性证据；确定系统应用于个人、企业范围或国家，国际范围，度量和获取软件应用的广泛性证据。
2.4可信证明
在前面介绍的可信分级中将证明级认定为最高可信级别，可见系统可信性的完全证明是非常困难的，很多时候并不能够获取足够的所需资源，可信的证明和可信的评估是同时进行的，很多可信证据的获取过程也能够提取系统的形式化证明资源，我们这里采用一系列的规则来控制可信证明的过程，在证明分析规则指导下提取证明所需要的资源；在描述规则指导下，基于形式化模型对系统进行形式化的描述，生成系统的形式化表示；在证明规则的指导下进行推演，对系统的可信性进行证明；最后在合成规则的指导下，根据系统可信性的证明情况，生成系统的可信分析报告，这里所使用的规则都是保存在电力资源库之中的，这些规则同样包含了丰富的行业知识。
3结束语
21世纪是一个高科技迅速发展的时代，是一个信息化时代，计算机技术的应用极大的促进了社会各行各业的现代化发展，与此同时也就为可信软件带来很大的市场。计算机软件的可信性对于企业控制管理生产进度，保证企业完成预期生产目标有着很大的作用。尤其是对于电力企业等关系着国民生产和社会经济发展的重要支柱产业，确保其生产管理系统的可信性、安全性就显得更加重要。本文对电力生产管理系统的可信构造方法做出了一些研究，希望能够起到抛砖引玉的效果，为广大同行开发可信软件系统提供一些帮助。
参考文献
[1]欧阳建权；王怀民；史殿习.普适计算的可信研究[J].计算机应用研究；2008；25；2；院3521~3524.
[2]张扬勇.我国电力企业信息化及其水平评价研究[J].福州院福州大学管理科学与工程学院2006.
[3]陈火旺，王戟，董威高可信软件工程技术[Ｊ]．
论文作者:郝刚
论文发表刊物:《电力设备》2017年第13期
论文发表时间:2017/9/19
标签：可信论文; 系统论文; 可信性论文; 度量论文; 电力论文; 证据论文; 生产管理系统论文; 《电力设备》2017年第13期论文;