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

A Software/Hardware Fault Partitioning Method in Embedded System

软硬件故障是嵌入式系统可靠性的关键问题之一,如何划分软硬件故障对于整个系统的可靠性研究来说是至关重要的,也是最基本的一步。给出了软硬件故障的基本定义,并与单纯的软件故障和单纯的硬件故障进行了对比,总结了软硬件故障的基本特点。在此基础上,归纳了几条软硬件故障的划分原则,提出了一种软硬件故障的划分流程,并通过形式化方法对某装备的具体软硬件故障进行了划分,为进一步的研究提供了有力的依据。

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.