基于电力生产管理系统的可信构造方法研究

徐道磊 张 靖 薛晓茹

国网安徽省电力有限公司信息通信分公司，安徽合肥 230000

自进入信息时代以来，人们对计算系统的依赖性逐渐增强，对软件需求量也越来越多。当软件系统逐渐扩大时便会出现漏洞或者缺陷问题，从而对系统运行效果造成负面影响。例如，在电力生产经营管理方面，当前很多企业都在进行电力生产管理系统开发应用。虽然电力生产管理系统能够为企业电力经营管理提供便利，但在实际运行过程中依然会出现无法上线运行或者不能如期完成任务现象，从而影响到企业电力经营效益。目前，电力生产管理系统开发应用过程中存在的软件可行性问题相对较多，需要利用可信技术研究成果进行可信构造方法探索，以保障系统软件高效、稳定运行。

1 可信构造工作模式

在研究电力生产管理系统可信构造方法方面，必须拥有技术平台支持，利用可信技术进行可信构造方法开发应用。当前可信构造相关技术和理论研究成果逐渐增多，这对国内企业电力生产管理系统可信构造工作模式探索具有一定积极作用。可维持、可靠与可生存等属于可信属性常见内容，电力企业在可信属性研究过程中都会关注这些内容。当电力生产时期、系统应用环境及需求发生转变时，可信属性关注点也会发生改变。因此，在可信属性分析过程中首先需要对系统应用需求及应用环境进行了解，在各种可信属性要求提取之后进行模型构建。在可信构造方法技术支持平台确定之后，电力企业需要从可行属性、分级、取证与证明这4方面进行可信构造方法研究，为电力生产管理系统可信构造方法建设提供参考。在电力生产管理系统可信构造过程中，首先必须进行电力生产管理系统建设。相对于其他行业而言，电力生产企业经营管理具有一定的独特性，其生产管理质量与系统实施效果存在密切联系[1]。因此，在电力生产管理系统构建过程中需要建立相应配套设施，为系统全面管理提供基础保障。在电力生产管理系统可信构造工作模式运用方面，电力企业必须加强管理人员培训工作，并对如何开展管理系统建设工作进行施工方案制定，为电力生产管理系统建设提供优质条件。

2 可信构造方法应用研究

2.1 可信属性与分级

在电力生产管理系统可信构造方法应用研究方面，必须进行可信分析逻辑架构建设，从可信证明与评估2个方面获取分析报告，为系统软件运行可信性提供参考。在电力生产管理系统可行分析工作开展前，首先需要对系统应用需求进行分析，对系统可信属性集合进行密切关注，明确可信属性模型。从电力行业角度来看，电力生产管理系统可信属性主要有安全性、可用性与实时性等，不同属性关注程度也不一样。因此，在电力生产管理系统可信属性运用方面必须对系统运用需求与应用环境进行研究分析，明确各种可信属性具体内容，从而确定可信属性模型。在电力生产管理系统可信级别确定方面，必须根据电力行业特点进行可信分级处理，包括不可信、可用、实用、标准与证明5个等级。若系统没有通过可信分析资源则可将其划分为不可信级，当系统符合电力生产经营管理预期功能时可确定为可用级。若系统软件运行质量较好可分为实用级，若系统经权威组织认证，并在电力行业范围内成为规范时可称为标准级，若系统经形式化工具证明且符合可信分析之后，可称之为证明级。由于电力生产管理系统完全证明存在较大难度，因此，系统软件可信分级过程中难以达到证明级。

2.2 可信取证

在电力生产管理系统可信构造过程中，电力企业可以通过表格方式对用户评价进行调查研究，对现实证明进行取证，包括文档、代码或者模型等。比如，在系统代码度量方面，技术人员需要利用检测工具检查系统代码是否存在问题，对代码规范性证明进行提取。在系统软件可信取证过程中，需要对系统预期功能效果进行判断，明确系统功能是否能够达到用户需求，符合预期标准，利用计算测试方式对系统软件功能性评估进行取证。在系统框架可信提取证明方面，需要对系统交换、安装与维护等进行计算分析，判断系统软件是否达到高度兼容性，并对系统兼容性证明进行提取[2]。在电力生产管理系统规范证明提取过程中，需要对系统管理、编码与运行等的规范进行研究分析。比如在电力生产系统软件开发应用方面，需要对系统规范标准及相关软件开发认可性证明进行提取。在可信证据提取过程中，必须利用一些测试工具进行评估分析，包括主观评估与客观评估。在框架层可信取证过程中，需要利用计算系统获取兼容需求平台比例，从而获得兼容性证据。在具体操作方面，需要对系统安装、兼容性与维护情况等进行评估分析，研究系统兼容性证据获取过程中兼容的需求平台比例。在易用性证据获取方面，需要根据调查用户使用功能比例。在规范层可信取证方面，首先需要明确系统应用范围，然后利用质量和获取软件获得广泛性证据。

2.3 可信证明

在电力生产管理系统可信证明过程中，可能会无法获取足够的可信资源，因此，需要通过各种规则预防可信证明时，电力生产管理系统可信证明过程中所应用到的一些规则需要存储在电力资源库内，在规则之下进行证明资源分析。在电力生产管理系统可信证明过程中，需要对规则进行描述，通过形式化模型描述系统软件，从而产生形式化系统。在证明规则指导下，技术人员需要对电力生产管理系统可信性进行推演分析、证明。在可信分析报告获取方面，操作人员需要以合成规则为指导，对电力生产管理系统软件可信性证明情况进行研究分析。从系统软件可信证明理论基础层面来看，电力生产管理系统形式化模型主要有推演方法与形式化方法，操作人员可以利用通信顺序进程方法分解系统模型，将系统形式化模型转化为语言形式。电力企业可以将通信顺序进程作为行为规范语言，使电力生产管理系统形式化，有利于明确系统软件在不同应用环境下的行为，对系统可信性推演具有一定重要意义。在通信顺序进程形式化方法运用方面，需要将电力生产管理系统形式化模型转变成形式化句子，句法元素包括连接器与实体。

2.4 可信构造方法应用案例分析

在可信构造方法应用方面，首先需要建立可信构造环境，包括相关可信测量工具与可信资源库等，能够将电厂需求量进行建模。然后，需要选取可信资源库中原有可信资源形成系统，通过管理工作指导进行系统应用，从而提升系统可信性。在具体操作方面，技术人员需要利用可信建模工具进行流程模型、数据模型及业务模型构建，通过可信资源库中可欣资源选择、改造生产电力生产管理系统[3]。在电力生产管理系统运行过程中，需要实施过程管理工具提供指导，通过可信分析演化工具评估系统运行可行性，明确系统关键可信属性，并对系统可信级别制约因素进行研究。应用实例如图1所示。

图1 应用实例

3 结语

在信息技术快速发展的今天，当今社会各行业的可信软件需求量逐渐增长。电力企业在计算机技术发展过程中，也对电力生产管理系统可信属性提出了新的要求，如何提高系统软件安全可靠成为企业必须面临的重点问题。尤其是在电力市场环境日益严峻的当下，电力企业更加需要利用可信构造方法提升企业核心竞争力。在电力生产管理系统软件可信构造方法应用研究过程中，电力企业需要对可信证明进行研究分析，通过可信构造方法提高系统软件运行质量。