一种嵌入式系统中软硬件故障的划分方法  

A Software/Hardware Fault Partitioning Method in Embedded System

作　　者：帅桂华[1] 慕晓冬[1] 梁洪波[1] 常瑞花[1] 

机构地区：[1]第二炮兵工程学院,陕西西安710025

出　　处：《火力与指挥控制》2009年第8期38-40,共3页Fire Control & Command Control

基　　金：第二炮兵科研项目

摘　　要：软硬件故障是嵌入式系统可靠性的关键问题之一,如何划分软硬件故障对于整个系统的可靠性研究来说是至关重要的,也是最基本的一步。给出了软硬件故障的基本定义,并与单纯的软件故障和单纯的硬件故障进行了对比,总结了软硬件故障的基本特点。在此基础上,归纳了几条软硬件故障的划分原则,提出了一种软硬件故障的划分流程,并通过形式化方法对某装备的具体软硬件故障进行了划分,为进一步的研究提供了有力的依据。Software/hardware fault is one of the key-questions in embedded system, it＇s crucial and basic to the whole system of reliability that how to partition software/hardware fault. In this paper, software/hardware fault is defined. Comparing with the single hardware fault and the single software fault, the characteristics are summed up. Based on these, some software/hardware fault partitioning principle are concluded, and one of software/hardware fault partitioning flow is introduced, and a material software/hardware fault in the equipment is partitioned by formal method. According as these, the next research is feasible.

关 键 词：嵌入式系统 软硬件故障 形式化划分方法 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]