基于时序逻辑的仿真系统行为验证方法 |
| |
引用本文: | 彭丹华,吴正雄,李廷鹏,耿宏峰.基于时序逻辑的仿真系统行为验证方法[J].现代电子技术,2023(5):175-179. |
| |
作者姓名: | 彭丹华 吴正雄 李廷鹏 耿宏峰 |
| |
作者单位: | 1. 中国人民解放军63892部队;2. 电子信息系统复杂电磁环境效应国家重点实验室 |
| |
摘 要: | 仿真系统行为可信性评估是一项复杂的任务,需要综合利用多种方法、从多个角度对仿真系统的行为进行验证。针对仿真系统行为验证既需要具有客观性又需要考虑领域专家宝贵经验的需求,借鉴形式化验证技术的思想,提出基于时序逻辑的仿真系统行为验证方法。该方法首先根据真实系统和实测数据,结合专家经验,对所关注的仿真系统行为属性进行提取;其次,利用时序逻辑语言对提取的待验证属性进行形式化描述;然后,运行仿真系统并获得相应的输出数据,利用验证算法自动检验仿真数据是否满足给定的属性,从而实现行为验证;基于对武器装备体系对抗仿真领域的验证属性分析,选取度量区间时序逻辑作为属性的形式化描述语言;最后,通过一个防空对抗仿真系统的验证示例,表明了该方法的有效性。
|
关 键 词: | 仿真系统 行为验证 可信性评估 时序逻辑 行为属性提取 形式化描述 数据检验 |
|
|