首页    期刊浏览 2024年07月09日 星期二
登录注册

文章基本信息

  • 标题:Designing an Efficient and Extensible Robustness Benchmark of a Real-Time Operating System
  • 本地全文:下载
  • 作者:Zheng-Mao Zhou ; Zhou-Rong Zhu ; Ming Cai
  • 期刊名称:Cybernetics and Information Technologies
  • 印刷版ISSN:1311-9702
  • 电子版ISSN:1314-4081
  • 出版年度:2015
  • 卷号:15
  • 期号:1
  • DOI:10.1515/cait-2015-0008
  • 出版社:Bulgarian Academy of Science
  • 摘要:An important step in the development of a Real-Time Operating System (RTOS) is the validation of its tolerance properties. An abnormal input (fault injection) has become one of the most efficient ways to test the software robustness. In this paper we have designed a comprehensive robustness benchmark to evaluate the current popular RTOSs by faults injection. Firstly, we provide a set of uniform application program interfaces to ensure that the benchmark can be easily ported to a new RTOS. Then a package testing method has been used to improve the testing efficiency. Finally, a comprehensive robustness evaluation model is provided for the quantitative evaluation of RTOS robustness. Three popular RTOSs (Ucos2.62, Vxworks5.4 and Rtems4.10) have been evaluated with the help of our benchmark and we have found that Rtems performs best in robust evaluation, while Vxworks performs worst.
  • 关键词:RTOS; robustness; fault injection; package testing.
国家哲学社会科学文献中心版权所有