| 一種面向瞬時故障的容錯技術的形式化方法 | |
| 所屬分類：軟件 | |
| 上傳者：serena | |
| 標簽： 瞬時故障 容錯方法 | |
| 所需積分：1分積分不夠怎么辦？ | |
| 文檔介紹：軟件發(fā)生瞬時故障時，可能會導致處理器狀態(tài)改變，致使程序執(zhí)行出現(xiàn)數(shù)據(jù)錯誤或者控制流錯誤。目前已有許多軟件、硬件以及混合的解決方案，主要的方法是重復計算和檢查副本的一致性。但是，生成正確的容錯代碼十分困難，而且?guī)缀鯖]有關于證明這些技術的正確性的研究。類型化匯編語言（TAL）是一種標準的程序安全性證明的方式。本文概述了一種面向瞬時故障的軟硬結合的容錯方法，以及對該方法的形式化方法，包括容錯類型化匯編語言、類型系統(tǒng)和容錯定理。形式化的目的是為了驗證，只有通過驗證的程序代碼才是類型安全的。本文只簡單介紹了程序的形式化方法。 | |
| 現(xiàn)在下載 | |
| VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統(tǒng)工程研究所版權所有 京ICP備10017138號-2