您好,欢迎来到五一七教育网。
搜索
您的当前位置:首页变电站综合自动化系统的软件可靠性研究

变电站综合自动化系统的软件可靠性研究

来源:五一七教育网
维普资讯 http://www.cqvip.com

第34卷第18期 2006年9月16日 继电器 RELAY Vo1.34 No.18 Sep.16,2006 31 变电站综合自动化系统的软件可靠性研究 刘洋 ,罗毅 ,易秀成 ,涂光瑜 ,陈维莉 ,江伟 (1.华中科技大学电气与电子工程学院,湖北武汉430074; 2.杭州易龙电气技术有限公司,浙江杭州310000) 摘要:提出在变电站综合自动化系统的软件开发中运用软件可靠性工程的理论,以保证和提高软件系统的可 靠性的观点。建立了基于改进的JM模型的变电站综合自动化系统软件可靠性模型,改进模型在原有的JM 模型基础上定义了故障消除概率,从而克服了原模型对于排错过程估计过于乐观的不足。该模型可以根据软 件测试中搜集的故障数据,预测出软件系统可靠性增长的趋势,从而得出软件可以达到的可靠性指标及达到 该指标所需要的测试时间。算例说明了该模型的可行性与有效性。 关键词:变电站综合自动化系统;软件开发;软件可靠性;JM模型;软件可靠性预测 中图分类号:TM76 文献标识码:A 文章编号:1003-4897(2006)18-003l—D4 0引言 随着我国电力工业的发展,对变电站的安全、经 对设计和编码的质量的检测。大型的软件系统在运 济运行的要求越来越高,实现变电站综合自动化已 经成为电力发展的趋势。当前,计算机系统已被大 量应用于变电站的运行与管理,成为变电站综合自 动化系统的核心,其可靠性成为关系电网安全可靠 运行的关键之一。尽管计算机系统的硬件复杂程度 在逐渐增加,但统计表明硬件可靠性随着硬件技术 (尤其是VLSI)的不断发展而得到很大提高。与此 同时,变电站综合自动化水平的提高极大地增加了 软件开发的规模和复杂度,软件故障逐渐成为实时 系统发生灾难性事故的主要隐患。美加8・14大停 电的调查报告证实FE(First Energy)的软件故障导 致调度员对系统状态失去监视是事故的主要原因之 …因此在新形势下,运用软件可靠性的理论来 加强对变电站综合自动化系统SAS(Substation Auto. mation System)的软件开发的管理,成为减小这一安 一行之后一旦出错,其损失将是巨大的,因此在投运前 必须进行大量测试和评估以确保软件的可靠。 本文针对软件开发阶段,建立了基于改进的JM 模型的变电站综合自动化系统软件可靠性模型,预 测出软件系统可靠性增长的曲线,定量分析了软件 可靠性的指标,并通过算例证明了该模型在变电站 综合自动化系统软件开发中的可行性与有效性。 l软件可靠性 软件可靠性是软件质量的关键因素。1983年 美国IEEE计算机学会软件工程技术委员会将其定 义为: 1)在规定的条件下,在规定的时问内,软件不 引起系统故障的概率。该概率是系统输入和系统使 用的函数,也是软件中存在的故障的函数。 2)在规定的时问周期内,在所述条件下程序执 行要求的功能的能力。 。全隐患的有效途径。 软件可靠性的研究始于上世纪70年代,现已在 计算机、控制、航天、军事等领域得到较为广泛而深 入的研究,然而在电力系统中的研究尚处于起步阶 段。文献[2~4]从不同的角度分析了软件可靠性 研究在电力系统中的应用前景,但是都只停留在定 性的阶段,没有阐明如何定量地对软件系统进行可 靠性评估和预测。文献[5]认为应将软件作为构成 电网调度自动化系统的设备之一,并考核其可靠性 水平,文中介绍了软件可靠性模型和失效率的计算, 为进一步量化软件可靠性的评价和预测奠定了基 础。软件测试是软件开发阶段的主要任务之一,是 其主要指标有:软件中的初始故障数;经测试排 错后软件中的剩余故障数;经预测得到的下一次故 障的发生时问。 与硬件不同,由于没有损耗,软件不存在设备的 浴盆曲线。绝大部分的软件可靠性模型属于软件可 靠性增长模型SRGM(Software Reliability Growth Mode1),本文介绍的改进的JM模型也属于此范畴。 SRGM以软件运行和测试期间得到的故障数据为输 入,应用统计和随机过程的理论和方法,对软件中剩 余的缺陷数目进行评估,并且预测软件在未来一段 时间内可靠性增长情况。 维普资讯 http://www.cqvip.com

32 继电器 2变电站综合自动化系统的软件可靠性模 型 2.1 SAS软件可靠性研究的必要性与可行性 数据要求也较为简单。但是其假设2)不完善,因而 缺乏广泛适用性。本文对假设2)做出修改,建立一 个适用于变电站综合自动化系统的改进的JM可靠 性模型。 较之常规的变电站自动化系统,变电站综合自 动化系统的主要优越性体现在其借助通信,实现各 个断路器间隔中的保护测控单元、变电站计算机系 2.3.1故障消除概率的定义 在软件的开发和测试阶段,修改一处代码可能 消除故障,也有可能引入新的故障。如果改正根故 障可以消除很多故障,改正叶子故障只能消除一个 统、电网控制中心自动化系统之间的信息交换和信 息共享,从而提高变电站运行的可靠性。可靠的通 信一方面依赖于可靠的lED装置、计算机硬件、传 故障;同样,引入一个根故障会引入多个故障,引入 一输介质、接口设备、网络拓扑结构以及相关的抗干扰 个叶子故障会引入一个故障 J。于是,将故障的 技术,另一方面依赖于实现各种功能的软件系统的 引入看作是负的消除数,那么软件故障消除数可当 可靠运行。衡量软件系统的质量需要相关的数学模 成随机变量,并假设它服从正态分布,则可以定义故 型和指标,而软件可靠性模型恰好能满足这种需要, 障消除的概率密度: 它能定性和定量地评价软件系统的可靠性,评价和 p( )=— 1 e (一 ≤ ≤ )(2) 预测可靠性走向,在软件产品的开发、运行和维护的 各个阶段都能发挥其指导性作用。 其中: 为改正故障数的数学期望;8为改正故障数 本文具体针对软件开发阶段建立软件可靠性模 的方差。 型,为判断产品的质量达标与否提供理论依据。 当 >0时表示测试过程顺利,故障减少;/z<0 2.2 JM模型介绍 时表示引入了新的故障,可靠性降低;/z=0表示改 JM模型(Jelinski and Moranda Mode1)是Z.Je— 正无效,故障数不变。 、8的值可由测试记录数据 linski和P.Moranda于1972年提出的,它把故障间 用概率方法估算出。设 为每次改正的消除数。 隔时间看成一种随机过程,符合一定的分布,分布参 数依赖于各间隔时间内程序中的残留故障数。模型 = 基本假设如下: 砉 8=√ 耋c 一 c3 2.3.2改进的JM模型 1)软件中的初始故障个数为一个未知但固定 的常数,用Ⅳ表示。 将假设2)改为:故障一旦查出即进行改正,每 2)故障一旦被查出即被完全排除,且不引入新 次改正后,Ⅳ一 。根据假设,当第一个故障被排除 的故障,于是每次排错之后,Ⅳ就减1。 以后,故障率就由Ⅳ 变为(Ⅳ一 ) ,以此类推。 3)任何时候的故障率都与软件中的故障剩余 代入式(1)就可得到改进的故障密度函数: 个数成正比,其单位故障率用 表示。 t )= [N-/z (i一1)]exp{一 [N一 设t ,t ,…,t 表示相继出现的并被改正的故障 一1(i一1)]t } (4) 之间的时间区间样本,则第i次故障发生的时间服 获取一组观测值的似然函数可以表示成L= 从参数 [Ⅳ一(i一1)]的负指数分布,其故障密度 (t )。两边取对数,lnL=∑lnf,(t )。于是JM模 函数可以表示为: 型可表示成为: t )=咖[N一(i一1)]exp{一 [N一(i一1)]t } lnL=∑ln/ [N一 一。(i一1)]}_ (1) 该模型一直是学者研究的热点,如文献[6]研 ∑ [Ⅳ一 (i一1)It (5) 究了参数极大似然估计的存在性问题,并讨论了软 令 件可靠性的置信限;文献[7]对JM模型做出了修 改,假设不同的故障有不同的故障率并建立模型等。 『 =o 2.3 一种适用于变电站综合自动化系统的软件可 靠性模型 l =o JM模型的数学表示简单,假设比较合乎直觉, 整理得: 维普资讯 http://www.cqvip.com

刘洋,等变电站综合自动化系统的软件可靠性研究 33 西= 间;初始故障数为估计出的软件设计和编码中存在 i:1 :l Ⅳ∑At 一∑ l( 一1)・At n [ : 】= Ⅳ ∑At i=l 的原始故障个数。由于该模型的参数方程是非严格 单调的,本文采用了步长为0.1的试探性数值求解 法,以保证在较短时间内求得参数的满意解。 首先在系统测试过程中获得所需的数据,然后 经过模型分析、计算,对某变电站综合自动化系统的 测试结果,绘制出故障拟合及预测曲线图,见图2。 ∑ △ 其中:At =t —t ,t0 0 o一  从上式可以得出初始故障数Ⅳ和单位故障率 ∑ 的最大似然估计值。 — ,L .1 3算例及分析 一 l 、 ●/ 本文根据某变电站综合自动化系统软件的测试 △ 6 、 数据,利用基于改进的JM模型的软件可靠性模型预 测出单位故障率,软件设计中存在的初始故障数及其 查出时间。模型的仿真软件为Matlab6.5,其算法流 程如图1所示。其中,当前累积故障数表示到当前时 间为止系统累积发生故障的次数;下一故障发生率为 监测程序根据当前状况预测下一故障发生的概率; 下一故障时间表示预测下一故障最有可能发生的时 连接数据库,获取测试数据 ● 当前累积故障 ̄gErrorNum。当前错误消除数为 肌 Elim,求解瓦 Num,,保存至 . ● ErrorNum 求解 i “一f‘ 一 ‘ 一 ,保存至 Sumti.保存最近一次失效时间到t。 + 令 m)= + +1 南Erro….rNum・+ t0 r“H(ErrorNum一1)to x-Sumt + 以步长为0.1迭代求解,得到满意解 存至N,记为初始故障数 I N/ r l博单位故 : Erro丽rNum l + 计算下一故障发生率 NextRatio= ・(N-“ ・ErrorNum) ● 计算下一次故障时间 +,一Sumti .ErrorNum+l ‘o N NextRati0×Ⅳ ± 图1算法流程图 Fig.1 Flow chart of the algorithm 从图2中可以看出随着测试时间的增加,故障查出 数量越来越多,曲线趋于饱和。测试终止后软件故 障的更正工作很少,即认为软件的故障率将恒定不 变。经过求解可以得到算例的初始故障数为17,单 位故障率为0.009 4,最后一次故障查出时间为 360.510 6天 36tl 72.2 lo8.3 144 4 180.5 2l66 252.72888 324.9 36l t/CPU单竹 图2算例的故障拟合及预测曲线图 Fig.2 Curve of fault fitting and forecasting 通过对变电站综合自动化系统的软件可靠性的 模型的研究,可以做以下工作: a.对所开发的软件进行可靠性预测,并根据可 靠性指标判断其是否能满足实际运行需要。实时系 统的CPU为全天候工作,因此对于平均无故障时间 MTBF(Mean Time Between Failures)的要求相对较 高。根据变电站综合自动化系统的现场需求,应保 证MTBF在10 000 h以上。算例得到单位故障率的 极大似然估计为0.009 4,表示当剩余故障数为1 时,软件的故障率为0.009 4。根据经典可靠性的理 论可得MTBF为106.383 0天,共计2 553.2 h,显然 此时不满足现场需要,还需进一步排错。当排除最 后一个初始故障后,MTBF将远大于10 000 h,即表 示测试361天后该软件满足现场运行的需求,可以 投入市场。 b.可以利用该模型估算测试成本。其计算方法 参考文献[10]。在t时刻投放软件时期望的成本一 收益函数为: rC】Nexp(一咖 )+(C4一C3一 )(D—t)+ c(t):{(c:+c ) ,0≤ ≤。 【C1Nexp(一4,t)+(C2+C5)t+P(t),t>D 维普资讯 http://www.cqvip.com

34 继电器 其中:c 为投放每个错误的平均损失及修复成本, c 为执行每单位时间测试所花CPU时间的成本, c 表示软件已投放后人工所获收益,c 为每单位时 间在应用中运行软件的成本,C 为测试期间每单 位时间人工的成本。算例中估算出在测试阶段排除 所有初始故障的成本为103 950元。 c.确定软件最佳投放时间,即将软件产品交付 用户使用或投放市场的最佳时间。从实质上讲,测 试终止时间和投放时间是一个问题,测试一旦终止, 也就意味着产品可以投放市场了。结论a得到的是 软件的可靠性指标,b得到的是软件测试对软件开 发总成本构成的影响。而最佳投放时间则是在综合 考虑经济因素与可靠性指标的情况下确定的最优测 试终止时间。其算法可以将MTBF≥10 000作为成 本一收益函数的一个约束条件,再求出min{c(t)} 所对应的时间t ,则t 为最佳投放时间。由于在本 算例中要满足可靠性指标就必须排除最后一个初始 故障,所以软件最佳的投放时间为361天。 4结语 针对目前电力系统对软件可靠性的研究相对薄 弱的情况,本文对变电站综合自动化系统软件的开 发测试阶段建立了软件可靠性模型并提出了相应的 算法,提出的改进JM模型在原有JM模型的基础上 引入了故障消除概率,从而克服了原模型对于排错 过程估计过于乐观的不足。该算法能估计出软件初 始故障数、单位故障率,并能预测出软件下一故障发 生的概率及最可能出现的时间,为判断产品的质量 达标与否提供理论依据。算例证实该软件可靠性模 型的可行性和有效性。 参考文献: [1] 胡学浩.美加联合电网大面积停电事故的反思与启示 [J].电网技术,2003,27(9):2-5. HU Xue—hao.Rethinking and Enlightenment of Large Scope Blackout in Interconnected Noah America Power Grid[J].Power System Technology,2003,27(9):2-5. [2]徐立子.变电站自动化系统的可靠性分析[J].电网 技术,2002,26(8):68-72. XU Li—zi.Reliability Analysis of Substation Automation System[J].Power System Technology,2002,26(8):68. 72. [3] 所旭,张萍.微机继电保护软件可靠性探讨[J].继电 器,2004,32(12):43—46. SUO Xu,ZHANG Ping.Research on The Reliability of Di ̄tM Protective Relay Software[J].Relay,2004,32 (12):43—46. [4] 丁茂生,王钢,李晓华.电网调度自动化系统可靠性研 究(一)[A].电力系统及其自动化专业第二十一届学 术对年会论文集.南宁:2005.19 25. DING Mao—sheng,WANG Gang,LI Xiao—hua.Reliabili— ty of Di ̄tM Protective Relay Software[A].Reliability Study on Energy Management System.Proceedings of 21th CUS—EPSA.Nanning:2005.19—25. [5] 陈家鼎,张韧,吕波.JM模型的统计推断[J].应用概 率统计,2001,17:403—409. CHEN Jia—ding,ZHANG Ren,Lti Bo.Statistical Infer— ence in J—M Model[J].Applied Probability and Statis— tics,2001,17:403—409. [6]Ho Tsu—fens,Chan Wah—chun,Chung Chyan—goei.A Quantum Modiifcation to the Jelinski—Moranda Software Reliability Model『Z]. [7] 方木云,屈玉贵,赵保华.软件可靠性JM模型完全排 错假设的修改[J].小型微型计算机系统,2001,22 (2):199-200. FANG Mu—yun,QU Yu—gui,ZHAO Bao—hua.An Im— provement on the Assumption of Thorough Fauhs—Removal in the JM Reliability Model[J].Mini—Micro System, 2001,22(2):199—200. [8] 曾芬芳,孙建华,伍星,等.监控系统的软件可靠性建 模、度量与预测[J].计算机工程与应用,2002. ZENG Fen—fang,SUN Jian—hua,WU Xing,et a1.Software Reliability Modeling,Measuring and Forecasting in Com— purer Supervisory System[J].Computer Engineering and Application,2002. [9] 徐仁佐,等.软件可靠性模型及应用[M].北京:清华 大学出版社,1994. XU Ren—ZUO,et a1.Software Reliability Model and Appli— cation[M].Bering:Tsinghua University Press,1994. 收稿日期:2006-04-03 作者简介: 刘 洋(1982一),女,硕士研究生,研究方向为变电站综 合自动化;E—mail:judithl130@tom.com 罗毅(1966一),男,副教授,从事EMS和DMS的研究; 易秀成(1965一),男,工程师,从事电力系统自动化技术 的研究工作。 (下转第51页continued on page 51) 维普资讯 http://www.cqvip.com

王玉斌,等收稿日期:2006-02—10; 作者简介: 三相电压不对称时谐波和无功电流的准确检测新方法 5l 修回日期:2006-06—14 现代电力电子技术及应用;E—mail:yb_wang@sdu.edu.cn 吕 燕(1980一),女,硕士研究生,研究方向为现代电 力电子技术及应用。 王玉斌(1967一),男,副教授,博士生,主要研究方向为 New precision detection method of harmonics and reactive current under asymmetrical three-phase voltages WANG Yu—bin ,Lti Yan ,LI Ying-jun (1.Shandong University,Jinan 250061,China;2、Jinan University,Jinan 250022,China) Abstract: Based on mathematical deduction and analysis,the problems are pointed out that concern the detection of harmonics and fundamental positive—sequence active&reactive current components with instantaneous reactive power theory under asymmetircal three— phase voltages。A new precision method to detect these current components is presented and analyzed by mathematical deduction in this paper.In this new method,an ideal fundamental symmetrical system,of which voltages are equal to the fundamentl positaive—se— quence voltages of the original system,is constructed fist,trhen harmonics and corresponding current components can be detected accu— rately.Simulation results show that the proposed method can accurately detect harmonics,active current and reactive current of funda— mentl when tahree—phase voltage is unbalanced and distorted. Key words: instantaneous reactive power;harmonics;fundamental positive—sequence; reactive current;detection method (上接第l7页continued from page 17) Abstract:The configuration and setting of transformer protection is very impoartant to ensure the safety of power equipment.This pa— per introduces the system connection and transformer protection conigfuration of 750 kV Guanting to Lanzhoudong substation.The ap— plication principle on the conigfuration and setting of this 750 kV transformer protection is analysed and discussed in dat ̄1.The prob- lem needing to regard is also discussed for others reference.Since there are so much contradiction in the selectivity and sensitivity of transformer protection setting,the principle to ensure the safety of power equipment should be chiefly take into account in order to a— chieve a resonable coniguratifon and setting, Key words:750 kV;protection conigfuration;setting;transformer (上接第34页continued rfom page 34) Studies on software reliability for substation automation system LIU Yang ,LUO Yi ,YI Xiu.cheng ,TU Guang—yu ,CHEN Wei..1i,Ji.ang Wei (1.Huazhong University of Science and Technology,Wuhan 430074,China; 2.Hangzhou Yilong power Technology Corporation,Hangzhou 310000,China) Abstract:The software fault is becoming one of the main reasons resulting in disasters in real—time system.To guarantee and improve the software reliability orf substation automation system(SAS),it brings software reliability engineering to bear during the software de— velopment period.A software reliability model for substation automation system based on improved JM model is set up in this paper. Compared with the old JM model,it defines fault eliminating probability in the improved one,which makes the assumptions become more accordant with practice.It forecasts the reliability improving curye of the software system according to the fault data collected in the process of software test,and then concludes the reliable index that the software can achieve and the software test time to reach the reliable index.The computation results show the validity and eficiency of tfhe method in the software development of substation automa— tion system. Key words:substation automation system; software development;software reliability;JM model;software reliability forecas— 

因篇幅问题不能全部显示,请点此查看更多更全内容

Copyright © 2019- 517ttc.cn 版权所有 赣ICP备2024042791号-8

违法及侵权请联系:TEL:199 18 7713 E-MAIL:2724546146@qq.com

本站由北京市万商天勤律师事务所王兴未律师提供法律服务