一種面向瞬時(shí)故障的容錯(cuò)技術(shù)的形式化方法 - 免費(fèi)下載

模擬電子資源 文件大小：1040 K

?? 資源詳細(xì)信息

文件格式
ZIP
所屬分類(lèi)
上傳用戶(hù)
上傳時(shí)間
文件大小
1040 K
所需積分
2 積分
推薦指數(shù)
????? (5/5)

?? 溫馨提示：本資源由用戶(hù) sp507 上傳分享，僅供學(xué)習(xí)交流使用。如有侵權(quán)，請(qǐng)聯(lián)系我們刪除。

資源簡(jiǎn)介

軟件發(fā)生瞬時(shí)故障時(shí)，可能會(huì)導(dǎo)致處理器狀態(tài)改變，致使程序執(zhí)行出現(xiàn)數(shù)據(jù)錯(cuò)誤或者控制流錯(cuò)誤。目前已有許多軟件、硬件以及混合的解決方案，主要的方法是重復(fù)計(jì)算和檢查副本的一致性。但是，生成正確的容錯(cuò)代碼十分困難，而且?guī)缀鯖](méi)有關(guān)于證明這些技術(shù)的正確性的研究。類(lèi)型化匯編語(yǔ)言（TAL）是一種標(biāo)準(zhǔn)的程序安全性證明的方式。本文概述了一種面向瞬時(shí)故障的軟硬結(jié)合的容錯(cuò)方法，以及對(duì)該方法的形式化方法，包括容錯(cuò)類(lèi)型化匯編語(yǔ)言、類(lèi)型系統(tǒng)和容錯(cuò)定理。形式化的目的是為了驗(yàn)證，只有通過(guò)驗(yàn)證的程序代碼才是類(lèi)型安全的。本文只簡(jiǎn)單介紹了程序的形式化方法。

源碼文件列表

?? 共 1 個(gè)源碼文件 點(diǎn)擊文件名可在線(xiàn)查看源代碼

??
溫馨提示：點(diǎn)擊文件名或"查看源碼"按鈕可在線(xiàn)瀏覽源代碼，支持語(yǔ)法高亮顯示。

立即下載此資源

提示：下載后請(qǐng)用壓縮軟件解壓，推薦使用 WinRAR 或 7-Zip

資源說(shuō)明

?? 下載說(shuō)明

  • 下載需消耗 2積分
  • 24小時(shí)內(nèi)重復(fù)下載不扣分
  • 支持?jǐn)帱c(diǎn)續(xù)傳
  • 資源永久有效

?? 使用說(shuō)明

  • 下載后用解壓軟件解壓
  • 推薦 WinRAR 或 7-Zip
  • 如有密碼請(qǐng)查看說(shuō)明
  • 解壓后即可使用

?? 積分獲取

  • 上傳資源獲得積分
  • 每日簽到免費(fèi)領(lǐng)取
  • 邀請(qǐng)好友注冊(cè)獎(jiǎng)勵(lì)
  • 查看詳情 →

相關(guān)標(biāo)簽

點(diǎn)擊標(biāo)簽查看更多相關(guān)資源：

相關(guān)資源推薦