Development and Verification of a Log-based Recovery Module in Embedded Systems

碩士 === 國立臺北大學 === 電機工程學系 === 101 === Embedded systems have been widespread for novel technologies which bring people more convenience and hence become more relevant to our life. When embedded systems are utilized on safety-critical applications, their availability and reliability issues must be addr...

Full description

Bibliographic Details
Main Authors: Yang-Lun Kuo, 郭仰倫
Other Authors: Yung-Yuan Chen
Format: Others
Language:zh-TW
Published: 2013
Online Access:http://ndltd.ncl.edu.tw/handle/77290428651969806157
Description
Summary:碩士 === 國立臺北大學 === 電機工程學系 === 101 === Embedded systems have been widespread for novel technologies which bring people more convenience and hence become more relevant to our life. When embedded systems are utilized on safety-critical applications, their availability and reliability issues must be addressed and systems must be protected by effective techniques. One primary cause of the embedded system crash is the data corruption error. In this study, the embedded system crashes caused by data corruption errors are resolved by an autonomous recovery software methodology (ARSM). ARSM is composed by system monitor, bad block salvage, autonomous recovery mechanism and OS initial backup. ARSM performs all-operation system monitoring. Once any application software and operation system crash is detected, the autonomous recovery mechanism will be activated to recover the embedded system back to normal operation. For verification of the ARSM, we adopt nine applications to be the case demonstration, and generate data corruption errors to validate the efficiency of the ARSM.