Fault-Tolerant Design of MiniCore Operating System Based on Servent/Exe-Flow Model
DOI:
CSTR:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    Computer systems require high reliability in space environment. Contrary to limited storage space for embedded real-time systems, considering the memory reliability and Fault-tolerant task, we propose a two level of fault-tolerant solution. The program consists of a periodic memory detecting and an error correcting mechanism of system-level and an improved master/slave version scheduling mechanisms of task-level. The experimental verification of the program is carried out in an embedded operating system named MiniCore which based on a service body/execution flow model(SEFM). The introduction of fault-tolerant mechanism increases the code size of MiniCore kernel by 33% and ensures the accuracy of the memory data, with the system's time performance declining slightly and the success rate and scheduling performance of task execution improving significantly.

    Reference
    Related
    Cited by
Get Citation

杨金彪,陈香兰.基于服务体/执行流模型的MiniCore系统的容错设计.计算机系统应用,2016,25(3):43-49

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:April 20,2015
  • Revised:September 09,2015
  • Adopted:
  • Online: March 17,2016
  • Published:
Article QR Code
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-3
Address:4# South Fourth Street, Zhongguancun,Haidian, Beijing,Postal Code:100190
Phone:010-62661041 Fax: Email:csa (a) iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063