核電站數位化儀控系統軟體驗證和確認過程的文檔管理系統的製作方法

2023-06-23 21:08:06 1

專利名稱：核電站數位化儀控系統軟體驗證和確認過程的文檔管理系統的製作方法
技術領域：
本實用新型涉及一種文檔管理系統，尤其涉及一種核電站數位化儀控系統軟體驗證和確認(V&V)過程的文檔管理系統。
背景技術：
儀控系統是核電站運行、操作與監控的中樞神經系統，是確保核電站安全可靠運行的重要裝備，並幫助調整應對核電站運行和維護的需要。目前，全世界約40%的運行反應堆已全部更新或包含部分數位化儀控系統。目前在建的核電站或將興建的核電站，都將使用數位化儀控系統。核電站數位化儀控系統，控制著整個核電站從常規島到核島幾乎所有的閥門、開關、繼電器等，數據在系統中進行集中顯示、計算處理並自動驅動執行機構，具有高可靠性、 開放性、靈活性、協調性、易於維護、控制功能齊全等特點。它是核電站的大腦、神經中樞、運行中心和安全屏障，是整個核電站最關鍵、最核心技術的集中體現，是核電站關鍵核心技術的載體，也是大型核電裝備現代化程度的重要標誌，是核電站四大關鍵性成套設備之一。數位化儀控系統需要有超出模擬儀控系統額外的設計和評測的辦法。數位化系統和模擬系統之間的主要差別是軟體。為了獲得高可信度的軟體，優質的並且符合嚴格標準規範和滿足設計要求的軟體工程開發程序是必要的。而只有嚴格執行貫穿生存周期過程的軟體V&V方法才能保證軟體工程的高質量。IEEE1012-1998中對核電站安全級軟體提出了獨立V&V活動的要求。而且，美國核管會也要求核電站安全級軟體的V&V必須由獨立的V&V小組完成。 可見軟體V&V是核電站安全級軟體設計的關鍵部分。V&V活動貫穿軟體開發的全過程。在軟體開發不同階段的V&V過程，任何一項活動都會生成一份或多份文檔，而且兩個階段之間的文檔並不是獨立的，而是存在一定的驗證或確認的關係，下一階段的活動需根據前一階段或更早之前的活動形成的文檔來進行，同時還對之前的文檔進行驗證和確認活動，以確保每一開發階段的活動都是準確、完整、前後一致、可跟蹤、並符合標準法規的。核電站數位化儀控系統軟體的V&V過程將產生大量的文檔，如何組織、驗證這些文檔將成為V&V開發人員的繁重任務。處理這些文檔之間的關係，花費了 V&V開發人員大量的時間和精力，使得V&V開發人員無法進行準確而高效的V&V活動，導致工作效率不高， 還延長了軟體的開發周期。

實用新型內容因此，針對上述存在的技術問題，本實用新型提供一種核電站數位化儀控系統軟體V&V過程的文檔管理系統，其實現了自動處理軟體V&V過程中文檔的關係的功能，並以圖示形式進行表示，指導V&V開發人員進行最核心的軟體V&V。為解決此技術問題，本實用新型採取以下方案核電站數位化儀控系統軟體V&V過程的文檔管理系統，包括安裝有V&V算法程序的硬體設備、安裝有客戶端軟體的用戶PC 機，以及伺服器，所述硬體設備與用戶PC機、伺服器之間通過網絡線相互連接。進一步的，所述硬體設備為安裝有V&V算法的ARM嵌入式終端，該終端包括ARM Cortex M3處理器、電壓調整器、電源管理器、microSD Crad接口、USB2. 0接口、乙太網接口和OLED液晶顯示模塊。進一步的，所述伺服器為Siar印oint伺服器。安裝有V&V算法程序的ARM嵌入式終端通過乙太網與Shar印oint伺服器和安裝有用戶端軟體的用戶PC機連接通訊。對於核電站數位化儀控系統軟體V&V過程產生的大量文檔，只需將所有按標準格式命名的文檔上傳至Siarepoint伺服器中。運行客戶端軟體， 並將嵌入式終端與之相連，在客戶端軟體設置一些相應的參數，ARM嵌入式終端再根據這些參數讀取Siar印oint伺服器中的文檔，通過ARM嵌入式終端上運行的V&V算法程序，產生分析報告通過乙太網傳給客戶端，同時分析報告也可保存在本地的SD卡或者通過USB接口傳到其他存儲設備。OLED顯示器可以通過文字或圖形顯示V&V算法程序的執行情況。客戶端軟體可根據獲取的分析報告以圖形方式顯示所有文檔之間的驗證與確認關係。通過採用前述技術方案，本實用新型的有益效果是本實用新型的文檔管理系統採用安裝有V&V算法程序的ARM嵌入式終端通過乙太網與具有較強文檔處理能力的 Siar印oint伺服器和安裝有客戶端軟體的用戶PC機連接通訊。對於核電站數位化儀控系統軟體V&V過程產生的大量文檔，只需將所有按標準格式命名的文檔上傳至Siarepoint伺服器中，運行客戶端軟體設置相應的參數，ARM嵌入式終端再根據這些參數讀取已上傳至伺服器中的文檔，通過ARM嵌入式終端上運行的V&V算法程序，產生分析報告通過乙太網傳給客戶端，同時分析報告也可保存在本地的SD卡或者通過USB接口傳到其他存儲設備。客戶端軟體根據獲取的分析報告即可以圖形方式顯示所有文檔之間的驗證與確認關係，使文檔之間的驗證和確認關係一目了然。同時，文檔中涉及到的法規法律、標準政策，將自動識別並顯示地表明這種連結關係，指導V&V開發人員進行最核心的驗證與確認，從而節約V&V開發人員的開發時間並提高工作效率，並且大大縮短了軟體的開發周期。

圖1是本實用新型實施例的結構示意圖；圖2是本實用新型嵌入式終端的硬體框架示意圖。
具體實施方式
現結合附圖和具體實施例對本實用新型進一步說明。參考圖1、圖2，本實用新型實施例公開一種核電站儀控系統軟體V&V過程的文檔管理系統，包括運行V&V算法程序的ARM嵌入式硬體設備1、安裝有客戶端軟體的用戶PC 機2，以及Siar印oint伺服器3。由於本實用新型的系統是處理大量文檔之間的關係，採用 Sharepoint伺服器能夠實現文檔、項目和任務上的輕鬆協作。所述硬體設備1與用戶PC機 2、伺服器3之間通過網絡線相互連接通訊。所述硬體設備1為運行V&V算法的ARM嵌入式終端，該嵌入式終端負責支撐V&V 算法程序的運行、選擇和通過乙太網與用戶PC機2、伺服器3進行通訊，該終端包括ARMCortex M3處理器11、電壓調整器13、電源管理器14、microSD Crad接口 16、USB2. 0接口 17、乙太網接口 15和OLED液晶顯示模塊12。V&V算法程序固化在ARM Cortex M3處理器片式Flash中。乙太網接口用於與伺服器和用戶PC機連接通訊。核電站數位化儀控系統V&V算法程序，運行於ARM嵌入式處理器之上。根據客戶端軟體設置相應的參數，ARM嵌入式終端通過乙太網讀取Siar印oint伺服器中的文檔，按照V&V算法程序自動生成所有文檔關係結構的分析報告，並通過網絡給客戶端PC機。客戶端軟體運行於用戶PC機上，主要用來配置整個系統的參數，獲得運行於ARM 嵌入式終端的V&V算法軟體生成的關係結構分析報告，並以圖形方式顯示在用戶PC機上， 供ν&ν開發人員使用。用戶也可以從ARM嵌入式終端取出SD卡或USB存儲設備，從中讀取 V&V分析報告，並以圖形方式顯示在PC機上。本實用新型系統中的ARM嵌入式終端通過乙太網與Siar印oint伺服器和用戶PC 機相互連接通訊，對於核電站數位化儀控系統軟體V&V過程產生的大量文檔，只需將所有按標準格式命名的文檔上傳至Siarepoint伺服器中。運行客戶端軟體並設置相應的參數， ARM嵌入式終端再根據這些參數讀取已上傳至伺服器中的文檔，通過ARM嵌入式終端上運行的V&V算法程序，產生分析報告通過乙太網傳給客戶端，同時分析報告也可保存在本地的SD卡或者通過USB接口傳到其他存儲設備。OLED顯示器可以通過文字或圖形顯示V&V 程序的執行情況。客戶端軟體根據獲取的分析報告即可以圖形方式顯示所有文檔之間的驗證與確認關係，使文檔之間的驗證和確認關係一目了然。產生的分析報告指導V&V開發人員進行最核心的驗證與確認，從而節約V&V開發人員的開發時間並提高工作效率。儘管結合優選實施方案具體展示和介紹了本實用新型，具體實現該技術方案方法和途徑很多，以上所述僅是本實用新型的優選實施方式，但所屬領域的技術人員應該明白， 在不脫離所附權利要求書所限定的本實用新型的精神和範圍內，在形式上和細節上可以對本實用新型做出各種變化，均為本實用新型的保護範圍。
權利要求1.核電站數位化儀控系統軟體驗證和確認(V&V)過程的文檔管理系統，其特徵在於 包括ARM Cortex M3處理器、電壓調整器、電源管理器、microSD Crad接口、USB2. 0接口、乙太網接口和OLED液晶顯示模塊。
2.根據權利要求1所述的核電站數位化儀控系統軟體V&V過程的文檔管理系統，其特徵在於所述硬體設備為安裝有V&V算法程序的ARM嵌入式終端，該終端包括ARM Cortex M3處理器、電壓調整器、電源管理器、microSD Crad接口、USB2. 0接口、乙太網接口和OLED 液晶顯示模塊。
3.根據權利要求1所述的核電站數位化儀控系統軟體V&V過程的文檔管理系統，其特徵在於所述伺服器為Siar印oint伺服器。
專利摘要本實用新型公開一種核電站數位化儀控系統軟體驗證和確認(Verificationandvalidation,V&V)過程的文檔管理系統，包括安裝有V&V算法程序和通訊程序的硬體設備、安裝有客戶端軟體的用戶PC機，以及Sharepoint伺服器，所述硬體設備與用戶PC機、伺服器之間通過網絡線相互連接，所述硬體設備為安裝有V&V算法程序的ARM嵌入式終端，該終端包括ARMCortexM3處理器、電壓調整器、電源管理器、microSDCrad接口、USB2.0接口、乙太網接口和OLED液晶顯示模塊。本實用新型實現了自動處理核電站數位化儀控系統軟體V&V過程中的文檔的關係，自動生成文檔關係報告並以圖示形式顯示，使文檔之間的驗證和確認關係一目了然，指導V&V開發人員進行最核心的驗證與確認，從而節約V&V開發人員的開發時間提高工作效率。
文檔編號G06F11/36GK202171799SQ201120239990
公開日2012年3月21日 申請日期2011年7月8日 優先權日2011年7月8日
發明者吳一純, 繆惠芳, 蔡崗全, 鄭劍香, 陳少敏 申請人:廈門大學