###

DOI:

计算机系统应用英文版:2013,22(1):74-78

View/Add Comment 过刊浏览高级检索 HTML

←前一篇 | 后一篇→

码上扫一扫！

下载全文

嵌入式系统软件可靠性设计与测试方法

李金麒¹, 徐建平²

(1.上海理工大学光电信息与计算机工程学院, 上海 200093;2.上海工业自动化仪表研究院, 上海 200233)

Design and Test Method for the Reliability of Embedded System Software

LI Jin-Qi¹, XU Jian-Ping²

(1.School of Optical-Electrical and Computer Engineering, University of Shanghai For Science and Technology, Shanghai 200093, China;2.Shanghai Institute of Process Automation Instrumentation, Shanghai 200233, China)

摘要

图/表

参考文献

相似文献

本文已被：浏览 1873次下载 5336次
Received:June 03, 2012 Revised:August 26, 2012

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

中文关键词: 嵌入式系统可靠性设计 ARM 可靠性测试 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.

keywords: embedded system reliability design ARM reliability testing LDRA testbed

文章编号： 中图分类号： 文献标志码：

基金项目:

Author Name	Affiliation
LI Jin-Qi	School of Optical-Electrical and Computer Engineering, University of Shanghai For Science and Technology, Shanghai 200093, China
XU Jian-Ping	Shanghai Institute of Process Automation Instrumentation, Shanghai 200233, China

Author Name	Affiliation
LI Jin-Qi	School of Optical-Electrical and Computer Engineering, University of Shanghai For Science and Technology, Shanghai 200093, China
XU Jian-Ping	Shanghai Institute of Process Automation Instrumentation, Shanghai 200233, China

引用文本：
李金麒,徐建平.嵌入式系统软件可靠性设计与测试方法.计算机系统应用,2013,22(1):74-78
LI Jin-Qi,XU Jian-Ping.Design and Test Method for the Reliability of Embedded System Software.COMPUTER SYSTEMS APPLICATIONS,2013,22(1):74-78