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

Research on a Trusted Construction Method for Electric Power Production Management System

作　　者：包铁[1] 刘淑芬[1] 王晓燕[1] 

机构地区：[1]吉林大学计算机科学与技术学院,吉林长春130012

出　　处：《电子学报》2010年第9期2166-2171,共6页Acta Electronica Sinica

基　　金：国家自然科学基金(No.60973041);国家863高技术研究发展重点项目(No.2009AA010314);吉林大学科学前沿与交叉学科创新项目(No.200903176)

摘　　要：现有电力生产管理系统存在不能如期完成实施、运行不稳定和功能可用性不强等可信问题.本文提出一种由系统构建、系统实施过程管理、可信评估、可信证明四个部分组成,并在规则指导下进行可信构造的方法.本文提出的这种可信构造方法,经过实际应用证明能够有效提升电力生产管理系统的开发效率与质量,为系统的可信构建、可信分析及升级演化建立坚实的基础.The current electric power production management system has some problems,for example,it cannot accomplish implementation in time,run steadily and provide strong functions.This paper provides a trusted construction method which is constructed under the guidance of the rules,and the method includes four parts：system construction,system implementation process management,trusted evaluation and proof.After the practical application,it proved that the trusted construction method could effectively enhance the development efficiency and quality of electric power production management system,and establish a solid foundation for building the trusted system,analyzing,updating and evolving it.

关 键 词：软件工程 可信软件 可信构造 信息管理系统 电力生产 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]