《電子技術(shù)應(yīng)用》
您所在的位置:首頁(yè) > 嵌入式技術(shù) > 設(shè)計(jì)應(yīng)用 > Simics環(huán)境下故障注入的研究與實(shí)現(xiàn)
Simics環(huán)境下故障注入的研究與實(shí)現(xiàn)
2015年電子技術(shù)應(yīng)用第1期
韓德強(qiáng),馮云賀,王宗俠,高雪園
北京工業(yè)大學(xué) 計(jì)算機(jī)學(xué)院,北京100124
摘要: 主要論述了在Simics全系統(tǒng)仿真環(huán)境下,對(duì)VxWorks嵌入式操作系統(tǒng)的串口故障注入以及網(wǎng)絡(luò)故障注入的相關(guān)研究。Simics允許開發(fā)者根據(jù)需求自定義處理器、存儲(chǔ)器、板級(jí)硬件和復(fù)雜網(wǎng)絡(luò)系統(tǒng)等任意規(guī)模的硬件目標(biāo)設(shè)備模型。運(yùn)行在真實(shí)硬件目標(biāo)設(shè)備上的底層軟件、中間層軟件和上層軟件完全不用修改即可運(yùn)行在自定義的Simics硬件目標(biāo)設(shè)備模型上。因此,Simics不僅能夠進(jìn)行仿真硬件級(jí)的故障注入,同時(shí)還可以全面地檢測(cè)軟件的運(yùn)行狀態(tài)。
中圖分類號(hào): TP316.5
文獻(xiàn)標(biāo)識(shí)碼: A
文章編號(hào): 0258-7998(2015)01-0021-04
Research and implementation of fault injections under Simics environment
Han Deqiang,F(xiàn)eng Yunhe,Wang Zongxia,Gao Xueyuan
College of Computer,Beijing University of Technology,Beijing 100124,China
Abstract: This paper discusses the research of the VxWorks embedded operating system′s serial port fault injection and network fault injection under Simics full system simulation environment. Simics enables developers to customize processors, memory, board-level hardware and complex network systems and any-size hardware target device models based on their needs. The underlying software, middle-layer software and upper-layer software running on real hardware target devices can run on Simics target hardware device models without any modification. Therefore, Simics not only enables hardware-level fault injection simulation, but also can fully detect the operating state of the software.
Key words : full system simulation environment;Simics;VxWorks embedded operating system;fault injection

  

0 引言

  隨著嵌入式技術(shù)的不斷發(fā)展,嵌入式系統(tǒng)越來越多地應(yīng)用在工業(yè)控制、航空航天等對(duì)系統(tǒng)的可靠性和容錯(cuò)性要求極高的領(lǐng)域中。故障注入技術(shù)是評(píng)價(jià)嵌入式系統(tǒng)的可靠性與容錯(cuò)性的一項(xiàng)重要手段。該技術(shù)是一種可靠性驗(yàn)證技術(shù),通過受控實(shí)驗(yàn)向系統(tǒng)中刻意引入故障,并觀察系統(tǒng)中存在故障時(shí)的行為。故障注入技術(shù)一般分為基于物理硬件的故障注入、基于軟件的故障注入以及基于仿真的故障注入[1]。

  基于物理硬件的故障注入通過改變物理環(huán)境參數(shù)(重離子輻射、電磁干擾、激光照射、電源干擾等)干擾硬件或者通過改變集成電路芯片管腳輸入值以達(dá)到故障注入的效果[2]?;谲浖墓收献⑷朐谲浖?jí)生成故障,譬如通過應(yīng)用軟件生成故障、通過底層軟件(如操作系統(tǒng)等)生成故障。基于仿真的故障注入技術(shù)是在模擬測(cè)試的計(jì)算機(jī)原型上,通過在仿真過程中改變邏輯值達(dá)到故障注入的效果[2]。

  基于仿真的故障注入技術(shù)有很多優(yōu)點(diǎn)。第一,該類型的故障注入可以在不同的抽象層次上進(jìn)行仿真,支持不同的故障模式。第二,基于仿真的故障注入具有非入侵式特點(diǎn),從目標(biāo)系統(tǒng)的角度來看,它是即刻且透明地發(fā)生的。第三,基于仿真的故障注入能夠?qū)崿F(xiàn)目標(biāo)系統(tǒng)和故障注入機(jī)制的可觀測(cè)性以及可控制性。

  基于仿真的故障注入技術(shù)也有它的局限性。首先,建立一個(gè)目標(biāo)系統(tǒng)的模型通常會(huì)消耗大量的時(shí)間和精力,并且模擬的結(jié)果完全依賴于所建模型的質(zhì)量。其次,實(shí)際的設(shè)計(jì)缺陷可能不會(huì)出現(xiàn)在系統(tǒng)的仿真模型中。

  本文論述的串口和網(wǎng)絡(luò)相關(guān)的故障注入基于風(fēng)河系統(tǒng)公司提供的Model Library Intel Core i7 with X58 and ICH10 4.6(下文簡(jiǎn)稱x86-X58-ICH10)硬件目標(biāo)設(shè)備模型。該硬件目標(biāo)設(shè)備模型可以仿真一個(gè)具有Intel Core i7處理器、X58北橋高速芯片組以及ICH10南橋的硬件系統(tǒng)。開發(fā)者不必花費(fèi)大量的時(shí)間和精力創(chuàng)建硬件模型。該模型在發(fā)布之前經(jīng)過了縝密的內(nèi)部測(cè)試,即使在實(shí)際應(yīng)用中出現(xiàn)了bug,風(fēng)河系統(tǒng)公司也能夠及時(shí)修復(fù),因此該模型的質(zhì)量有保障。由此可見,使用x86-X58-ICH10硬件模型可以避免基于仿真的故障注入技術(shù)帶來的局限性。

1 串口相關(guān)的故障注入

  x86-X58-ICH10硬件模型使用的是NS16550 UART(Universal Asynchronous Receiver/Transmitter,通用異步收發(fā)器)。在Simics上查看NS16550的寄存器值,并參考NS16550數(shù)據(jù)手冊(cè),整理NS16550的寄存器詳細(xì)信息如表1所示[3]。

006.jpg

  開發(fā)者可以在Simics全系統(tǒng)仿真環(huán)境下,模擬串口相關(guān)的寄存器因受到外界物理環(huán)境因素干預(yù),寄存器值發(fā)生改變,從而引發(fā)寄存器級(jí)的故障。以LCR線路控制寄存器為例,說明此類故障注入的具體操作方法。LCR線路控制寄存器格式如表2所示。

007.jpg

  在Simics命令行窗口中查看com[0]對(duì)應(yīng)的LCR的值為3,即字符長(zhǎng)度為8:

  running> viper.mb.sb.com[0]->regs_lcr

  3

  修改LCR寄存器的值為1,即將原字符長(zhǎng)度由8設(shè)置為6,停止位設(shè)置為0。在VxWorks串口控制臺(tái)上執(zhí)行help指令,由于發(fā)送和接收字符長(zhǎng)度不匹配,所以串口接收字符顯示為亂碼,如圖1所示。

001.jpg

  running> viper.mb.sb.com[0]->regs_lcr = 1

  恢復(fù)LCR寄存器的值為3,串口控制臺(tái)可以正常接收help命令,如圖2所示。

002.jpg

  running> viper.mb.sb.com[0]->regs_lcr = 3

2 網(wǎng)絡(luò)相關(guān)的故障注入

  x86-X58-ICH10硬件模型可以支持多種以太網(wǎng)控制器[4],本文論述的是基于ICH10南橋內(nèi)嵌的82567LF-2[5]以太網(wǎng)控制器的故障注入。

  2.1 VxWorks操作系統(tǒng)訪問真實(shí)物理網(wǎng)絡(luò)的故障注入

  Simics支持多種方式與開發(fā)主機(jī)進(jìn)行真實(shí)物理網(wǎng)路互聯(lián),譬如端口轉(zhuǎn)發(fā)、網(wǎng)絡(luò)橋接、IP路由和主機(jī)直連等[6]。此處采用端口轉(zhuǎn)發(fā)的方式將x86-X58-ICH10硬件模型與真實(shí)物理網(wǎng)絡(luò)連接,并使用Simics命令行接口提供的相關(guān)命令進(jìn)行故障注入。

  首先,啟動(dòng)viper-vxworks-6.9.simics腳本,加載默認(rèn)IP地址為172.90.0.21的VxWorks文件,并在Simics命令行窗口中執(zhí)行如下命令:

  simics> connect-real-network 172.90.0.21

  No ethernet link found, created default_eth_switch0.

  Connected viper.mb.sb.eth_slot to default_eth_switch0

  Created instantiated ′std-service-node′ component ′default_

  service_node0′

  ……

  Real DNS enabled at fe80::2220:20ff:fe20:2000/64 on link

  default_eth_switch0.link.

  上述命令創(chuàng)建了具有類似交換機(jī)功能的以太網(wǎng)連接器default_eth_switch0,并將default_eth_switch0與硬件模型上的以太網(wǎng)接口相連。然后創(chuàng)建了標(biāo)準(zhǔn)服務(wù)節(jié)點(diǎn)組件default_service_node0,將之與default_eth_switch0相連,并將default_eth_switch0連接器的網(wǎng)關(guān)設(shè)置為172.90.0.1/24。接著完成了主機(jī)到運(yùn)行在硬件平臺(tái)上VxWorks之間的FTP、SSH、Telnet、HTTP的端口映射。最后在default_eth_

  switch0.link上啟動(dòng)了DNS功能。

  執(zhí)行如下命令,在VxWorks上添加到開發(fā)主機(jī)上的網(wǎng)關(guān):

  routec“add –net –netmask 255.255.255.0  172.21.28.208  172.90.0.1”

  啟動(dòng)Windows 7開發(fā)主機(jī)上的telnet服務(wù)。主機(jī)端開啟telnet服務(wù)后,在VxWorks執(zhí)行telnet“172.21.28.208”命令,登錄開發(fā)主機(jī),如圖3所示。

003.jpg

  在Simics命令行窗口中設(shè)置Wireshark軟件的安裝路徑,并啟動(dòng)Wireshark軟件,監(jiān)控default_eth_switch0的網(wǎng)絡(luò)狀態(tài)。

  running>prefs->wireshark_path="C:\\Program Files\\Wireshark"

  running>wireshark link = default_eth_switch0

  Starting capture on <the ethernet_switch ′default_eth_switch0′>

  對(duì)數(shù)據(jù)包接收控制寄存器RCTL進(jìn)行故障注入。RCTL是一個(gè)32位寄存器,負(fù)責(zé)控制MAC接收端的相關(guān)功能。在Simics命令行窗口中執(zhí)行如下命令,查看RCTL寄存器的值:

  running>viper.mb.sb.lan->csr_rctl

  67141634

  將RCTL寄存器的值轉(zhuǎn)化成16進(jìn)制為04008002H,查詢RCTL寄存器格式可知,RCTL的接收允許位(RCTL.EN)被設(shè)置為1,即允許接收網(wǎng)絡(luò)數(shù)據(jù)包。

  在VxWorks上執(zhí)行“telnet 172.21.28.110”命令,telnet到真實(shí)網(wǎng)絡(luò)中IP地址為172.21.28.110的Windows 7主機(jī),同時(shí)啟動(dòng)Wireshark軟件進(jìn)行抓包。telnet成功后,執(zhí)行chkdsk命令。在chkdsk命令的執(zhí)行過程中,執(zhí)行如下命令進(jìn)行故障注入,即重新賦值RCTL為04008000H,將接收允許位置0,不允許接收網(wǎng)絡(luò)數(shù)據(jù)包:

  running>viper.mb.sb.lan->csr_rctl = 0x4008000

004.jpg

  如圖4所示,在25 s時(shí)對(duì)RCTL寄存器進(jìn)行了故障注入。在25 s之前,網(wǎng)絡(luò)數(shù)據(jù)包能夠正常收發(fā)。故障注入完成后,VxWorks端不能正常接收網(wǎng)絡(luò)數(shù)據(jù)包,Windows 7主機(jī)端將間隔3 s、6 s、12 s、24 s后嘗試重新向VxWorks端發(fā)送數(shù)據(jù)包。具體地,在26 s左右時(shí),Windows 7主機(jī)端第一次嘗試向VxWorks端重新發(fā)送網(wǎng)絡(luò)數(shù)據(jù)包。然后在29 s、35 s、47 s、71 s左右時(shí),分別進(jìn)行了第2次、第3次、第4次和第5次重新向VxWorks端發(fā)送網(wǎng)絡(luò)數(shù)據(jù)包。而在26 s~71 s之間的時(shí)間段內(nèi),收發(fā)成功的網(wǎng)絡(luò)數(shù)據(jù)包數(shù)量為0。由于在第4次到第5次重新發(fā)送之間,恢復(fù)了RCTL寄存器的初始值,所以第5次重新發(fā)送網(wǎng)絡(luò)數(shù)據(jù)包成功。

  同樣,可以對(duì)網(wǎng)絡(luò)數(shù)據(jù)包發(fā)送控制寄存器TCTL進(jìn)行故障注入。其故障注入過程和結(jié)果與RCTL故障注入非常類似,在此不再贅述。

  2.2 VxWorks操作系統(tǒng)訪問虛擬網(wǎng)絡(luò)的故障注入

  啟動(dòng)viper- multi-vxworks-6.9.simics腳本,該腳本將加載兩個(gè)默認(rèn)IP地址為172.90.0.21的VxWorks映像文件VxWorks_A和VxWorks_B。

  首先,將VxWorks_B的IP地址設(shè)置為172.90.0.22,在VxWorks_B上執(zhí)行如下命令:

  ifconfig“gei0 172.90.0.22”

  在Simics命令行窗口中執(zhí)行如下命令,加載網(wǎng)絡(luò)連接器模塊:

  simics> load-module eth-links

  在Simics命令行窗口中使用命令創(chuàng)建集線器組件,并命名為myhub;然后將VxWorks_A和VxWorks_B的網(wǎng)絡(luò)接口與myhub連接,并查看myhub的運(yùn)行狀態(tài):

  simics> new-ethernet-hub myhub

  Created instantiated ′ethernet_hub′component ′myhub′

  simics> connect VxWorks_A.mb.sb.eth_slot myhub.device0

  simics> connect VxWorks_B.mb.sb.eth_slot myhub.device1

  simics>myhub.link.status

  在Simics命令行窗口中執(zhí)行如下命令,使用pcap-dump工具在myhub上抓取網(wǎng)絡(luò)數(shù)據(jù)包,并保存為.pcap格式的文件:

  simics>myhub.pcap-dump my_package.pcap

  Starting capture on <the ethernet_hub ′myhub′>

  simics> c

  接著在VxWorks_B上執(zhí)行如下命令,連續(xù)ping 20次VxWorks_A:

  ping“-c 20 172.90.0.21”

  然后停止使用pcap-dump抓包,執(zhí)行如下命令。抓取到的網(wǎng)絡(luò)數(shù)據(jù)包my_package.pcap文件保存在用戶設(shè)置的simics-workspace目錄下:

  running>pcap-dump-stop

  Stopping capture on <the ethernet_hub ′myhub′>

  在Simics命令行窗口中執(zhí)行如下命令,加載網(wǎng)絡(luò)流量注入組件,新建網(wǎng)絡(luò)數(shù)據(jù)包注入組件myinjector。使用Wireshark工具監(jiān)控myhub上的網(wǎng)絡(luò)數(shù)據(jù)包,并向myhub注入捕捉到的my_package.pcap網(wǎng)絡(luò)數(shù)據(jù)包:

  simics> load-module eth_injector_comp

  simics> new-eth-injector-comp name = myinjector

  Created instantiated ′eth_injector_comp′ component ′myinjector′

  simics>myhub.connect component = myinjector

  simics> c

  running>prefs->wireshark_path="C:\\Program Files\\Wireshark"

  running>myhub.wireshark

  Starting capture on <the ethernet_hub ′myhub′>

  running>myinjector.injector.start file = "my_package.pcap"

  然后,在VxWorks_B上執(zhí)行如下命令,telnet到VxWorks_A上,輸入用戶名target和密碼password。telnet登錄成功后,執(zhí)行help命令。help命令執(zhí)行完畢后,繼續(xù)執(zhí)行exit命令,退出telnet登錄。同時(shí),在Simics命令行窗口中執(zhí)行如下命令,停止向myhub注入my_package.pcap網(wǎng)絡(luò)數(shù)據(jù)包,并將Wireshark抓到的網(wǎng)絡(luò)數(shù)據(jù)包保存為inject_package.pcapng文件:

  running>pcap-dump-stop

  Stopping capture on <the ethernet_hub 'myhub'>

005.jpg

  使用Wireshark統(tǒng)計(jì)工具分析inject_package.pcapng文件的結(jié)果如圖5所示。圖中的實(shí)線代表myhub上流經(jīng)的總的數(shù)據(jù)包。由于my_package.pcap截獲的是執(zhí)行ping命令時(shí)的數(shù)據(jù)包,ping屬于ICMP協(xié)議,陰影部分表示外部注入的my_package.pcap數(shù)據(jù)包。脈沖狀的豎線表示VxWorks_B執(zhí)行telnet時(shí)流經(jīng)myhub上的數(shù)據(jù)包,這些數(shù)據(jù)包屬于TCP協(xié)議,非ICMP協(xié)議的數(shù)據(jù)包。

  由此可見,自定義的數(shù)據(jù)包可以成功注入到基于Simics的虛擬網(wǎng)絡(luò)中,用來模擬網(wǎng)絡(luò)過載等網(wǎng)絡(luò)故障。這種方法有助于開發(fā)者分析網(wǎng)絡(luò)故障、排除故障,提高網(wǎng)絡(luò)系統(tǒng)的穩(wěn)定性和健壯性。

3 總結(jié)

  本文主要論述了在Simics全系統(tǒng)仿真環(huán)境下,對(duì)VxWorks嵌入式操作系統(tǒng)的串口故障注入、VxWorks訪問真實(shí)網(wǎng)絡(luò)的故障注入以及VxWorks訪問真實(shí)網(wǎng)絡(luò)的故障注入的原理和具體實(shí)現(xiàn)方法。這種基于仿真的故障注入技術(shù)對(duì)于研究嵌入式系統(tǒng)的可靠性和容錯(cuò)性具有一定的參考意義。

參考文獻(xiàn)

  [1] 吳正輝,金豐,銀愷.某型起落架轉(zhuǎn)彎控制器余度設(shè)計(jì)及機(jī)內(nèi)測(cè)試[J].機(jī)械設(shè)計(jì)與研究,2013,29(3):116.

  [2] 李林虎.基于編譯中間代碼的關(guān)鍵變量容錯(cuò)技術(shù)[D].長(zhǎng)沙:國(guó)防科學(xué)技術(shù)大學(xué),2010.

  [3] National Semiconductor.NS16550N datasheet[Z].2003:1-5.

  [4] Wind River.Wind river Simics x86-X58-ICH10 target guide 4.6[Z].2014:7-8.

  [5] Intel.82567 GbE physical layer transceiver(PHY)[Z].2009:6-11.

  [6] Wind River.Wind river Simics ethernet networking user′s guide 4.6[Z].2012:6-11.


此內(nèi)容為AET網(wǎng)站原創(chuàng),未經(jīng)授權(quán)禁止轉(zhuǎn)載。