基于Petri网的软硬件故障建模方法研究

针对计算机系统中软件和硬件相互作用而引发的故障分析问题，提出了基于Petri网的软硬件故障模型，用以表达软件故障和硬件故障相互作用的复杂过程，在此基础上给出了软件、硬件和软硬件故障模式的形式化定义。根据软硬件故障模式的特征，基于故障的传播过程提出了软硬件故障识别算法。实例结果表明模型和算法可以准确的分析和识别软硬件故障，从而为计算机系统的可靠性分析提供了新的途径。

Software and Hardware Fault Modeling Based on Petri Net

To analyze the fault deriving from the interactions between software and hardware in computer systems, a software and hardware fault model based on Petri Net is presented, which represents the complex interactive process between software fault and hardware fault. Based on the model, formalized software and hardware fault modes are defined to get distinguished from other fault modes. Furthermore, according to the characteristics of software and hardware faults, a fault identification algorithm is designed by means of the propagating process of software and hardware faults. Case verification indicates that the proposed model and algorithm can analyze and identify software and hardware faults accurately. As a result, it provides a new approach for reliability analysis of computer systems.