实时仿真系统可信性验证

摘要

实时仿真系统可信性验证是实时仿真理论研究及工程应用的重要内容。主要研究了实时仿真系统可信性验证,给出了验证的基本步骤,提出了从实时性、逻辑计算正确性及稳定性三个方面验证实时仿真系统可信性的观点;然后提出了三个指标来验证实时性,给出了各指标的定量计算模型;并研究了实时仿真系统逻辑计算正确性的相关问题,给出了逻辑计算正确性验证的基本步骤;最后分析了实时仿真系统稳定性验证。