肖永全 張國

1西安西瑞保護控制設備有限責任公司 陜西 710000

2長慶油田公司礦區事業部 陜西 710000

0 引言

在嵌入式實際應用過程中，因為嵌入式系統其獨特性和實時性要求，基本上沒有虛擬內存等機制存在，整個內存空間對用戶程序開放的。所以不恰當的操作，往往會修改其代碼段甚至系統內核，從而導致缺陷缺陷甚至系統崩潰。而對代碼段只讀區域進行檢測保護，是保護一個嵌入式系統可靠性的可行的實現方法。

1 基本技術

1.1 vxworks簡介

VxWorks操作系統是美國WindRiver公司于1983年設計開發的一種嵌入式實時操作系統(RTOS)，是嵌入式開發環境的關鍵組成部分。良好的持續發展能力、高性能的內核以及友好的用戶開發環境，在嵌入式實時操作系統領域占據一席之地。它以其良好的可靠性和卓越的實時性被廣泛地應用在通信、軍事、航空、航天等高精尖技術及實時性要求極高的領域中，如衛星通訊、軍事演習、彈道制導、飛機導航等。

1.2 編譯鏈接過程

Vxworks系統使用linux系統的GNU工具鏈，其中包括GCC編譯器和LD鏈接器。其編譯生成的二進制文件格式符合ELF格式，其系統加載規則符合ELF規定。

1.3 ELF文件簡析

ELF(可執行連接格式)是UNIX系統實驗室(USL)作為應用程序二進制接口(Application Binary Interface(ABI))而開發和發布的。工具接口標準委員會(TIS)選擇了正在發展中的ELF標準作為工作在32位INTEL體系上不同操作系統之間可移植的二進制文件格式。ELF文件現在已經成為Linux系統下最主要最流行的可執行文件格式。Gcc的默認輸出格式就是elf。而VxWorks下生成的程序映像就是ELF格式，如圖1所示。

圖1 ELF文件格式布局

首先是文件頭和程序頭表，然后依次各個段排列在后。其中每個段的描述均在節頭表(section header table)中。比如要查找代碼段信息，需要查找ELF文件頭中Text段的偏移量和長度。

1.4 CRC校驗公式

由于CRC-32的可靠性，把CRC-32用于重要數據存儲傳輸十分合適，所以在通信、計算機等領域運用十分廣泛。

對代碼段采用CRC-32校驗，其中生成多項式為：

若余式為零則認為存儲無差錯；若余式不為零則存儲有差錯。

2 實現方法

在宿主機生成目標印象ELF的之后，編制腳本objdump從而解析出其代碼段偏移地址 TextSectionOffset和長度TextSectionSize。在目標機加載運行后，啟動tCheckTextSection任務，定期進行代碼段校驗，如校驗值和初始校驗值不相符，則應該進行異常處理(圖2)。

在系統加載后，數據段TextSection的值會發生變化，而代碼段應該穩定，如果發生變化，則可以斷定內存越界錯誤。而這種錯誤在自動控制設備中，往往是致命的錯誤，需要及時處理，否則將造成被控制對象誤操作，從而給工業生產帶來損失。

圖2 tCheckTextSection流程示意

在系統加載后，數據段TextSection的值會發生變化，而代碼段應該穩定，如果發生變化，則可以斷定內存越界錯誤。而這種錯誤在自動控制設備中，往往是致命的錯誤，需要及時處理，否則將造成被控制對象誤操作，從而給工業生產帶來損失。

因為本系統是智能電網電力自動化設備，控制對象是國家電網，如果系統錯誤動作將會造成錯誤供電或者錯誤斷電，影響很大。目前本系統采用的異常處理，即立刻停止所有后續操作，并且使系統進入安全模式。在安全模式中對系統進行最小化動作處理后系統重新加載代碼段。

3 下一步工作

在實際工程實踐中，此方法證明可以穩定有效的保證代碼段的完整性，在下一步的工作中，但是沒有對代碼段的內部結構進行分析。其可以繼續細分為系統內核，核心任務，應用任務。可以對其進行重要性，優先級排序后，當次要模塊被修改后，只需要重新加載其代碼而不是整個系統映像重新加載一遍。

[1]Wind River System.VxWorks_BSP_Reference www.wind_river.com.2004.

[2]基于 PowerPC的嵌入式 Linux.北京航空航天大學出版社.2004.