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...
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 |
Similar Items
-
subtask mining in search log
by: Chung-Lun Kuo, et al.
Published: (2014) -
Study of the Recovery Techniques and SDR Platform Verification for Communication Signals Distortion
by: An-Lun Teng, et al.
Published: (2019) -
Architecture-Based Verification of Dependable Embedded Systems
by: Johnsen, Andreas
Published: (2013) -
Verification of Component-based Embedded System Designs
by: Karlsson, Daniel
Published: (2006) -
A MECHANISM BASED ON LOGS WITH META-INFORMATION FOR THE VERIFICATION OF CONTRACTS IN DISTRIBUTED SYSTEMS
by: PEDRO DE GOES CARNAVAL ROCHA
Published: (2014)