軟件控制的數字裝置和儀表的附加檢查和試驗

 軟件控制的數字裝置和儀表的附加檢查和試驗

    1．植入軟件的裝置和儀表

    按要求審查所提供的文件，檢查制造廠家是否已經聲明有植入的軟件，即該軟件用于特定的軟

硬件環(huán)境而且在安全印封之后不能通過任何接口或以任何方式被修改或上傳。

    檢查是否有安全措施的說明并提供一個相關例證。

    檢查是否有一個軟件標識將其明確定義為法制相關軟件，而且該軟件能按制造廠家所提交文件

中的要求執(zhí)行法制相關功能。

    檢查儀表是否能簡易地提供該軟件標識。

    2．含有可編程或可下載軟件的裝置和儀表

    (a)軟件資料

    檢查制造廠家是否按規(guī)定提供檢驗法制相關軟件所需的全部相關資料。

    (b)軟件保護

    (1)加殼軟件（禁止訪問操作系統(tǒng)或為用戶設計的程序）

    檢查是否提供一成套指令（例如通過功能鍵或外部接口獲取的指令）并對各指令有簡單描述。

    檢查制造廠家是否提交過一份關于一整套指令的書面聲明。

    (2)可由用戶訪問的操作系統(tǒng)或程序

    檢查是否按法制相關軟件（受法制控制的程序模塊及型式特定參數）要求對機器代碼進行邏輯

校驗或簽章。

    檢查如果用文本編輯器來偽造代碼，還能否啟動法制相關軟件。

    (3)除(1)和(2)以外的情形

    檢查是否所有設備特定參數都受到安全保護，例如通過邏輯校驗的方式。

    檢查是否為保護設備特定參數采用了數據檢查跟蹤，并具有這方面的說明。

    進行實際現場測試，以驗證文件中涉及的保護措施和功能是否正常工作。

    (c)軟件接口

    檢查法制相關軟件的程序模塊是否被明確定義并通過已經確定的防護軟件接口與相關軟件模

塊分離開。

    檢查防護軟件接口本身是否為法制相關軟件。

    檢查可以通過防護軟件接口發(fā)布的法制相關軟件的功能是否有明確定義和說明。

    檢查可以通過防護軟件接口交換的參數是否有明確定義和說明。

    檢查功能和參數的說明是否準確完整。

    檢查文件中說明的各功能和參數是否與本建議的要求相矛盾。

    檢查在軟件防護方面是否對應用程序（例如軟件資料）有相應的說明。

    (d)軟件標識

    檢查法制相關軟件的程序模塊和型式特定參數在儀表運行時是否有相應的軟件標識。

    檢查手動指令是否定義軟件標識并能與型式認證時確定的相關標識相匹配。

    檢查法制相關軟件的所有相關程序模塊和型式特定參數是否都適用該軟件標識。

    實際現場檢查其它簽章的邏輯校驗是否按文件中的要求來實現。

    檢查是否存在有效的數據檢查跟蹤。

    3．數據存儲設備

    審查提交的文件并確認制造廠家已經預知一件設備，無論內置還是外接形式，可用于長期保存

法制相關參數。如果這樣：

    檢查一臺植入軟件的設備或帶有可編程／可下載軟件的設備上是否有用于數據存儲的軟件。

    檢查是否能正確存儲和提取到數據。

    檢查所存儲的數據是否包含重現早期稱重狀態(tài)所必需的全部相關信息，相關信息包括毛重或凈

重值和皮重值（在適用的情況下還包括皮重與預設皮重間的差值）、小數位、單位（例如kg可以編

譯）、數據組的標識、儀表或承載器的識別號（如果數據存儲設備連接了多塊儀表或承載器），以及

所存儲數據組的邏輯校驗或其它簽章。

    檢查所存儲的數據是否足以防止意外或人為的變化。

    檢查在將數據傳輸到一個存儲設備的過程中的保護措施，至少有一個奇偶校驗。

    對于帶有植入軟件的存儲設備，檢查數據的保護措施，至少有一個奇偶校驗。

    對于帶有可編程或可下載軟件的存儲設備，檢查數據是否有充分的邏輯校驗或簽章的保護措施

（至少2位，例如用帶隱性多項式的CRC-16校驗碼）。

    檢查所存儲的數據是否能被識別和顯示出來，識別號被保存起來以便日后使用并在正式事務文

件上記錄下來，即需要保留打印輸出文檔。

    檢查用于一次交易的數據是否能被自動存儲，即數據的存儲不由操作人員的意志決定。

    檢查需以識別的方式進行驗證的存儲數據組是否能受法制管理約束在一臺設備上被顯示并打

印出來。