-
题名基于时序逻辑的仿真系统行为验证方法
- 1
-
-
作者
彭丹华
吴正雄
李廷鹏
耿宏峰
-
机构
中国人民解放军
电子信息系统复杂电磁环境效应国家重点实验室
-
出处
《现代电子技术》
2023年第5期175-179,共5页
-
文摘
仿真系统行为可信性评估是一项复杂的任务,需要综合利用多种方法、从多个角度对仿真系统的行为进行验证。针对仿真系统行为验证既需要具有客观性又需要考虑领域专家宝贵经验的需求,借鉴形式化验证技术的思想,提出基于时序逻辑的仿真系统行为验证方法。该方法首先根据真实系统和实测数据,结合专家经验,对所关注的仿真系统行为属性进行提取;其次,利用时序逻辑语言对提取的待验证属性进行形式化描述;然后,运行仿真系统并获得相应的输出数据,利用验证算法自动检验仿真数据是否满足给定的属性,从而实现行为验证;基于对武器装备体系对抗仿真领域的验证属性分析,选取度量区间时序逻辑作为属性的形式化描述语言;最后,通过一个防空对抗仿真系统的验证示例,表明了该方法的有效性。
-
关键词
仿真系统
行为验证
可信性评估
时序逻辑
行为属性提取
形式化描述
数据检验
-
Keywords
simulation system
behavior validation
credibility evaluation
temporal logic
behavior property extraction
formalization description
data verification
-
分类号
TN919-34
[电子电信—通信与信息系统]
-