随机Petri网在嵌入式机载软件可靠性检测中的应用

"这篇论文研究了采用随机Petri网对嵌入式机载软件进行可靠性检测的方法，旨在解决由于软件复杂性和规模增加带来的可靠性问题。文章指出，随机Petri网可以用于模拟软件系统的行为，通过建模和仿真来检测设计中的典型缺陷。作者提出了具体的检测策略和判定准则，并提供了仿真验证算法，以支持对软件设计可靠性的评估。与其他可靠性检测方法对比，该方法表现出有效性。" 在嵌入式机载软件开发中，可靠性是至关重要的，因为这些软件通常是实时的，如机载航电系统软件。随着系统功能的增强，软件的规模和复杂度也随之增加，这使得设计的可靠性成为必须关注的问题。软件可靠性工程涉及需求获取、分析与设计、验证与评估等环节，而软件可靠性分析理论则采用系统分析方法来识别设计中的潜在问题。 论文提到了多种软件可靠性评估工具，包括SMERFS、SREToolKit、SRMP、SoRel、CASRE、ROBUST、JUMBL、SRATE、STToolKit等，以及国内的SRAT、CaSoR和SRES。这些工具代表了在模型驱动的可靠性工程研究方向上的进展。 本文的焦点在于利用随机Petri网（PN）这一建模工具，对嵌入式机载软件进行建模和仿真。随机Petri网是一种强大的离散事件建模方法，能有效模拟复杂系统的行为。通过构建软件系统的Petri网模型，可以分析其执行流程，检测可能存在的设计缺陷。论文提出了一个具体的检测策略，包括定义判定准则，然后通过仿真运行模型来确定系统是否有可能存在这些设计缺陷。这种方法的优势在于能够通过仿真过程来验证软件设计的可靠性。 作者还提供了一个软件设计运行流程的仿真验证算法，这有助于进一步确保软件设计的可靠性。通过与其他传统可靠性检测方法的比较，证明了随机Petri网方法的有效性和实用性。论文的结论是，这种方法为提高嵌入式机载软件的可靠性提供了一种有力的工具，特别是在面对复杂性和实时性挑战时。