嵌入式系统软件可靠性设计与测试方法
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


Design and Test Method for the Reliability of Embedded System Software
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 增强出版
  • |
  • 文章评论
    摘要:

    通过设计与初始化ARM s3c2410内部的存储器保护系统MPU来保护睡眠任务的存储空间不受当前运行任务的非法访问, 有效增强了嵌入式系统软件的可靠性. 并利用LDRA Testbed测试套件对项目中的代码进行了静态分析、复杂度分析、图形化分析, 得出了各项测试结果, 准确地评估了所设计出的系统的可靠性, 并给出了优化建议.

    Abstract:

    Protected sleeping task's cache against illegal calling from currently running task by designing and initiating the MPU in ARM s3c2410. Effectively enhanced the reliability of embedded system software. Then carried on the static analysis, complexity analysis, and graphical analysis for code in the project using the LDRA Testbed, figured out each of the test results, accurately assessed the reliability of the system we designed, and provided suggestions to optimize it.

    参考文献
    相似文献
    引证文献
引用本文

李金麒,徐建平.嵌入式系统软件可靠性设计与测试方法.计算机系统应用,2013,22(1):74-78

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2012-06-03
  • 最后修改日期:2012-08-26
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号