B方法在變配電所實時控制系統(tǒng)的可靠性設(shè)計中的應(yīng)用.pdf

1、隨著電力系統(tǒng)的飛速發(fā)展,變配電所綜合自動化得到越來越廣泛的應(yīng)用.以計算機控制、計算機通信技術(shù)和電力自動裝置為基礎(chǔ)的微機保護系統(tǒng)作為變配電所自動化系統(tǒng)的核心部分,克服了傳統(tǒng)電力系統(tǒng)功能性差、可靠性差和管理不便等缺陷,實現(xiàn)了無人值班系統(tǒng).電力系統(tǒng)關(guān)系到整個電網(wǎng)安全可靠地供電,它對系統(tǒng)可靠性的要求很高.B方法是目前在工業(yè)界應(yīng)用廣泛的形式化方法之一,它建立在需要對實際操作進行驗證分析的基礎(chǔ)上,從而保證模型設(shè)計的正確性和系統(tǒng)功能的可靠性.

2、 本文基于變配電所實時控制系統(tǒng)的工程背景,為提高系統(tǒng)的可靠性,采用B方法完成了系統(tǒng)的模型設(shè)計和實現(xiàn).文章首先在全面了解B方法規(guī)約機制、驗證理論和開發(fā)過程的基礎(chǔ)上,提煉出B方法提高軟件可靠性的有利因素.然后介紹了變配電所的背景知識,并抽取其微保單元的模塊功能如下:電流選擇性速斷、過流、過壓、低壓、母聯(lián)自投等.通過對這些功能的分析,利用B方法對這個分布式系統(tǒng)的各個單元進行模型設(shè)計;同時考慮故障定位的準(zhǔn)確性,為依靠單元間的相互協(xié)作而設(shè)計的保護