專利名稱:核電站數(shù)字化儀控系統(tǒng)軟件驗(yàn)證和確認(rèn)過(guò)程的文檔管理系統(tǒng)的制作方法
技術(shù)領(lǐng)域:
本實(shí)用新型涉及一種文檔管理系統(tǒng),尤其涉及一種核電站數(shù)字化儀控系統(tǒng)軟件驗(yàn)證和確認(rèn)(V&V)過(guò)程的文檔管理系統(tǒng)。
背景技術(shù):
儀控系統(tǒng)是核電站運(yùn)行、操作與監(jiān)控的中樞神經(jīng)系統(tǒng),是確保核電站安全可靠運(yùn)行的重要裝備,并幫助調(diào)整應(yīng)對(duì)核電站運(yùn)行和維護(hù)的需要。目前,全世界約40%的運(yùn)行反應(yīng)堆已全部更新或包含部分?jǐn)?shù)字化儀控系統(tǒng)。目前在建的核電站或?qū)⑴d建的核電站,都將使用數(shù)字化儀控系統(tǒng)。核電站數(shù)字化儀控系統(tǒng),控制著整個(gè)核電站從常規(guī)島到核島幾乎所有的閥門、開關(guān)、繼電器等,數(shù)據(jù)在系統(tǒng)中進(jìn)行集中顯示、計(jì)算處理并自動(dòng)驅(qū)動(dòng)執(zhí)行機(jī)構(gòu),具有高可靠性、 開放性、靈活性、協(xié)調(diào)性、易于維護(hù)、控制功能齊全等特點(diǎn)。它是核電站的大腦、神經(jīng)中樞、運(yùn)行中心和安全屏障,是整個(gè)核電站最關(guān)鍵、最核心技術(shù)的集中體現(xiàn),是核電站關(guān)鍵核心技術(shù)的載體,也是大型核電裝備現(xiàn)代化程度的重要標(biāo)志,是核電站四大關(guān)鍵性成套設(shè)備之一。數(shù)字化儀控系統(tǒng)需要有超出模擬儀控系統(tǒng)額外的設(shè)計(jì)和評(píng)測(cè)的辦法。數(shù)字化系統(tǒng)和模擬系統(tǒng)之間的主要差別是軟件。為了獲得高可信度的軟件,優(yōu)質(zhì)的并且符合嚴(yán)格標(biāo)準(zhǔn)規(guī)范和滿足設(shè)計(jì)要求的軟件工程開發(fā)程序是必要的。而只有嚴(yán)格執(zhí)行貫穿生存周期過(guò)程的軟件V&V方法才能保證軟件工程的高質(zhì)量。IEEE1012-1998中對(duì)核電站安全級(jí)軟件提出了獨(dú)立V&V活動(dòng)的要求。而且,美國(guó)核管會(huì)也要求核電站安全級(jí)軟件的V&V必須由獨(dú)立的V&V小組完成。 可見(jiàn)軟件V&V是核電站安全級(jí)軟件設(shè)計(jì)的關(guān)鍵部分。V&V活動(dòng)貫穿軟件開發(fā)的全過(guò)程。在軟件開發(fā)不同階段的V&V過(guò)程,任何一項(xiàng)活動(dòng)都會(huì)生成一份或多份文檔,而且兩個(gè)階段之間的文檔并不是獨(dú)立的,而是存在一定的驗(yàn)證或確認(rèn)的關(guān)系,下一階段的活動(dòng)需根據(jù)前一階段或更早之前的活動(dòng)形成的文檔來(lái)進(jìn)行,同時(shí)還對(duì)之前的文檔進(jìn)行驗(yàn)證和確認(rèn)活動(dòng),以確保每一開發(fā)階段的活動(dòng)都是準(zhǔn)確、完整、前后一致、可跟蹤、并符合標(biāo)準(zhǔn)法規(guī)的。核電站數(shù)字化儀控系統(tǒng)軟件的V&V過(guò)程將產(chǎn)生大量的文檔,如何組織、驗(yàn)證這些文檔將成為V&V開發(fā)人員的繁重任務(wù)。處理這些文檔之間的關(guān)系,花費(fèi)了 V&V開發(fā)人員大量的時(shí)間和精力,使得V&V開發(fā)人員無(wú)法進(jìn)行準(zhǔn)確而高效的V&V活動(dòng),導(dǎo)致工作效率不高, 還延長(zhǎng)了軟件的開發(fā)周期。
實(shí)用新型內(nèi)容因此,針對(duì)上述存在的技術(shù)問(wèn)題,本實(shí)用新型提供一種核電站數(shù)字化儀控系統(tǒng)軟件V&V過(guò)程的文檔管理系統(tǒng),其實(shí)現(xiàn)了自動(dòng)處理軟件V&V過(guò)程中文檔的關(guān)系的功能,并以圖示形式進(jìn)行表示,指導(dǎo)V&V開發(fā)人員進(jìn)行最核心的軟件V&V。為解決此技術(shù)問(wèn)題,本實(shí)用新型采取以下方案核電站數(shù)字化儀控系統(tǒng)軟件V&V過(guò)程的文檔管理系統(tǒng),包括安裝有V&V算法程序的硬件設(shè)備、安裝有客戶端軟件的用戶PC 機(jī),以及服務(wù)器,所述硬件設(shè)備與用戶PC機(jī)、服務(wù)器之間通過(guò)網(wǎng)絡(luò)線相互連接。進(jìn)一步的,所述硬件設(shè)備為安裝有V&V算法的ARM嵌入式終端,該終端包括ARM Cortex M3處理器、電壓調(diào)整器、電源管理器、microSD Crad接口、USB2. 0接口、以太網(wǎng)接口和OLED液晶顯示模塊。進(jìn)一步的,所述服務(wù)器為Siar印oint服務(wù)器。安裝有V&V算法程序的ARM嵌入式終端通過(guò)以太網(wǎng)與Shar印oint服務(wù)器和安裝有用戶端軟件的用戶PC機(jī)連接通訊。對(duì)于核電站數(shù)字化儀控系統(tǒng)軟件V&V過(guò)程產(chǎn)生的大量文檔,只需將所有按標(biāo)準(zhǔn)格式命名的文檔上傳至Siarepoint服務(wù)器中。運(yùn)行客戶端軟件, 并將嵌入式終端與之相連,在客戶端軟件設(shè)置一些相應(yīng)的參數(shù),ARM嵌入式終端再根據(jù)這些參數(shù)讀取Siar印oint服務(wù)器中的文檔,通過(guò)ARM嵌入式終端上運(yùn)行的V&V算法程序,產(chǎn)生分析報(bào)告通過(guò)以太網(wǎng)傳給客戶端,同時(shí)分析報(bào)告也可保存在本地的SD卡或者通過(guò)USB接口傳到其他存儲(chǔ)設(shè)備。OLED顯示器可以通過(guò)文字或圖形顯示V&V算法程序的執(zhí)行情況??蛻舳塑浖筛鶕?jù)獲取的分析報(bào)告以圖形方式顯示所有文檔之間的驗(yàn)證與確認(rèn)關(guān)系。通過(guò)采用前述技術(shù)方案,本實(shí)用新型的有益效果是本實(shí)用新型的文檔管理系統(tǒng)采用安裝有V&V算法程序的ARM嵌入式終端通過(guò)以太網(wǎng)與具有較強(qiáng)文檔處理能力的 Siar印oint服務(wù)器和安裝有客戶端軟件的用戶PC機(jī)連接通訊。對(duì)于核電站數(shù)字化儀控系統(tǒng)軟件V&V過(guò)程產(chǎn)生的大量文檔,只需將所有按標(biāo)準(zhǔn)格式命名的文檔上傳至Siarepoint服務(wù)器中,運(yùn)行客戶端軟件設(shè)置相應(yīng)的參數(shù),ARM嵌入式終端再根據(jù)這些參數(shù)讀取已上傳至服務(wù)器中的文檔,通過(guò)ARM嵌入式終端上運(yùn)行的V&V算法程序,產(chǎn)生分析報(bào)告通過(guò)以太網(wǎng)傳給客戶端,同時(shí)分析報(bào)告也可保存在本地的SD卡或者通過(guò)USB接口傳到其他存儲(chǔ)設(shè)備??蛻舳塑浖鶕?jù)獲取的分析報(bào)告即可以圖形方式顯示所有文檔之間的驗(yàn)證與確認(rèn)關(guān)系,使文檔之間的驗(yàn)證和確認(rèn)關(guān)系一目了然。同時(shí),文檔中涉及到的法規(guī)法律、標(biāo)準(zhǔn)政策,將自動(dòng)識(shí)別并顯示地表明這種鏈接關(guān)系,指導(dǎo)V&V開發(fā)人員進(jìn)行最核心的驗(yàn)證與確認(rèn),從而節(jié)約V&V開發(fā)人員的開發(fā)時(shí)間并提高工作效率,并且大大縮短了軟件的開發(fā)周期。
圖1是本實(shí)用新型實(shí)施例的結(jié)構(gòu)示意圖;圖2是本實(shí)用新型嵌入式終端的硬件框架示意圖。
具體實(shí)施方式
現(xiàn)結(jié)合附圖和具體實(shí)施例對(duì)本實(shí)用新型進(jìn)一步說(shuō)明。參考圖1、圖2,本實(shí)用新型實(shí)施例公開一種核電站儀控系統(tǒng)軟件V&V過(guò)程的文檔管理系統(tǒng),包括運(yùn)行V&V算法程序的ARM嵌入式硬件設(shè)備1、安裝有客戶端軟件的用戶PC 機(jī)2,以及Siar印oint服務(wù)器3。由于本實(shí)用新型的系統(tǒng)是處理大量文檔之間的關(guān)系,采用 Sharepoint服務(wù)器能夠?qū)崿F(xiàn)文檔、項(xiàng)目和任務(wù)上的輕松協(xié)作。所述硬件設(shè)備1與用戶PC機(jī) 2、服務(wù)器3之間通過(guò)網(wǎng)絡(luò)線相互連接通訊。所述硬件設(shè)備1為運(yùn)行V&V算法的ARM嵌入式終端,該嵌入式終端負(fù)責(zé)支撐V&V 算法程序的運(yùn)行、選擇和通過(guò)以太網(wǎng)與用戶PC機(jī)2、服務(wù)器3進(jìn)行通訊,該終端包括ARMCortex M3處理器11、電壓調(diào)整器13、電源管理器14、microSD Crad接口 16、USB2. 0接口 17、以太網(wǎng)接口 15和OLED液晶顯示模塊12。V&V算法程序固化在ARM Cortex M3處理器片式Flash中。以太網(wǎng)接口用于與服務(wù)器和用戶PC機(jī)連接通訊。核電站數(shù)字化儀控系統(tǒng)V&V算法程序,運(yùn)行于ARM嵌入式處理器之上。根據(jù)客戶端軟件設(shè)置相應(yīng)的參數(shù),ARM嵌入式終端通過(guò)以太網(wǎng)讀取Siar印oint服務(wù)器中的文檔,按照V&V算法程序自動(dòng)生成所有文檔關(guān)系結(jié)構(gòu)的分析報(bào)告,并通過(guò)網(wǎng)絡(luò)給客戶端PC機(jī)??蛻舳塑浖\(yùn)行于用戶PC機(jī)上,主要用來(lái)配置整個(gè)系統(tǒng)的參數(shù),獲得運(yùn)行于ARM 嵌入式終端的V&V算法軟件生成的關(guān)系結(jié)構(gòu)分析報(bào)告,并以圖形方式顯示在用戶PC機(jī)上, 供ν&ν開發(fā)人員使用。用戶也可以從ARM嵌入式終端取出SD卡或USB存儲(chǔ)設(shè)備,從中讀取 V&V分析報(bào)告,并以圖形方式顯示在PC機(jī)上。本實(shí)用新型系統(tǒng)中的ARM嵌入式終端通過(guò)以太網(wǎng)與Siar印oint服務(wù)器和用戶PC 機(jī)相互連接通訊,對(duì)于核電站數(shù)字化儀控系統(tǒng)軟件V&V過(guò)程產(chǎn)生的大量文檔,只需將所有按標(biāo)準(zhǔn)格式命名的文檔上傳至Siarepoint服務(wù)器中。運(yùn)行客戶端軟件并設(shè)置相應(yīng)的參數(shù), ARM嵌入式終端再根據(jù)這些參數(shù)讀取已上傳至服務(wù)器中的文檔,通過(guò)ARM嵌入式終端上運(yùn)行的V&V算法程序,產(chǎn)生分析報(bào)告通過(guò)以太網(wǎng)傳給客戶端,同時(shí)分析報(bào)告也可保存在本地的SD卡或者通過(guò)USB接口傳到其他存儲(chǔ)設(shè)備。OLED顯示器可以通過(guò)文字或圖形顯示V&V 程序的執(zhí)行情況??蛻舳塑浖鶕?jù)獲取的分析報(bào)告即可以圖形方式顯示所有文檔之間的驗(yàn)證與確認(rèn)關(guān)系,使文檔之間的驗(yàn)證和確認(rèn)關(guān)系一目了然。產(chǎn)生的分析報(bào)告指導(dǎo)V&V開發(fā)人員進(jìn)行最核心的驗(yàn)證與確認(rèn),從而節(jié)約V&V開發(fā)人員的開發(fā)時(shí)間并提高工作效率。盡管結(jié)合優(yōu)選實(shí)施方案具體展示和介紹了本實(shí)用新型,具體實(shí)現(xiàn)該技術(shù)方案方法和途徑很多,以上所述僅是本實(shí)用新型的優(yōu)選實(shí)施方式,但所屬領(lǐng)域的技術(shù)人員應(yīng)該明白, 在不脫離所附權(quán)利要求書所限定的本實(shí)用新型的精神和范圍內(nèi),在形式上和細(xì)節(jié)上可以對(duì)本實(shí)用新型做出各種變化,均為本實(shí)用新型的保護(hù)范圍。
權(quán)利要求1.核電站數(shù)字化儀控系統(tǒng)軟件驗(yàn)證和確認(rèn)(V&V)過(guò)程的文檔管理系統(tǒng),其特征在于 包括ARM Cortex M3處理器、電壓調(diào)整器、電源管理器、microSD Crad接口、USB2. 0接口、以太網(wǎng)接口和OLED液晶顯示模塊。
2.根據(jù)權(quán)利要求1所述的核電站數(shù)字化儀控系統(tǒng)軟件V&V過(guò)程的文檔管理系統(tǒng),其特征在于所述硬件設(shè)備為安裝有V&V算法程序的ARM嵌入式終端,該終端包括ARM Cortex M3處理器、電壓調(diào)整器、電源管理器、microSD Crad接口、USB2. 0接口、以太網(wǎng)接口和OLED 液晶顯示模塊。
3.根據(jù)權(quán)利要求1所述的核電站數(shù)字化儀控系統(tǒng)軟件V&V過(guò)程的文檔管理系統(tǒng),其特征在于所述服務(wù)器為Siar印oint服務(wù)器。
專利摘要本實(shí)用新型公開一種核電站數(shù)字化儀控系統(tǒng)軟件驗(yàn)證和確認(rèn)(Verificationandvalidation,V&V)過(guò)程的文檔管理系統(tǒng),包括安裝有V&V算法程序和通訊程序的硬件設(shè)備、安裝有客戶端軟件的用戶PC機(jī),以及Sharepoint服務(wù)器,所述硬件設(shè)備與用戶PC機(jī)、服務(wù)器之間通過(guò)網(wǎng)絡(luò)線相互連接,所述硬件設(shè)備為安裝有V&V算法程序的ARM嵌入式終端,該終端包括ARMCortexM3處理器、電壓調(diào)整器、電源管理器、microSDCrad接口、USB2.0接口、以太網(wǎng)接口和OLED液晶顯示模塊。本實(shí)用新型實(shí)現(xiàn)了自動(dòng)處理核電站數(shù)字化儀控系統(tǒng)軟件V&V過(guò)程中的文檔的關(guān)系,自動(dòng)生成文檔關(guān)系報(bào)告并以圖示形式顯示,使文檔之間的驗(yàn)證和確認(rèn)關(guān)系一目了然,指導(dǎo)V&V開發(fā)人員進(jìn)行最核心的驗(yàn)證與確認(rèn),從而節(jié)約V&V開發(fā)人員的開發(fā)時(shí)間提高工作效率。
文檔編號(hào)G06F11/36GK202171799SQ201120239990
公開日2012年3月21日 申請(qǐng)日期2011年7月8日 優(yōu)先權(quán)日2011年7月8日
發(fā)明者吳一純, 繆惠芳, 蔡崗全, 鄭劍香, 陳少敏 申請(qǐng)人:廈門大學(xué)