离散信号事件驱动的自动测试系统仿真验证方法与实现
2023,31(7):64-70
摘要：为在设计早期对复杂自动测试系统进行充分验证从而加速其成熟并降低研发成本,对离散事件系统规范进行扩展和改进,在原子模型中引入了端口和故障模式,通过端口间的连接构成耦合模型,提出一种离散信号事件驱动的仿真调度算法,并给出一个C/S架构的支持远程交互的仿真验证实现方案；基于自研的SCATS自动测试系统软件平台,分别针对一个示例系统和真实系统开展了实验,结果表明所提模型和方法支持复杂系统多分辨率层次化建模,仿真具有较高的一致性和执行效率,满足自动测试系统仿真验证工程应用需求。
关键词：自动测试系统;离散事件系统规范;仿真验证;信号事件;SCATS软件平台
Discrete Signal Event-Driven Simulation and Verification Method and Implementation for Automatic Test Systems
Abstract：A simulation and verification method is proposed to fully verify complex automatic test systems in the early design stage in order to accelerate their maturity and reduce R&D costs. The method extends and improves the discrete event system specification, introduces ports and fault modes in atomic models, constructs a coupling model through connections between ports, proposes a discrete signal event-driven simulation scheduling algorithm, and provides a C/S architecture scheme that supports remote interaction. Based on a self-developed automatic test system software platform (SCATS), experiments were carried out for both an example system and a real system. The results show that the proposed model and method support the multi-resolution hierarchical modeling for complex systems, and the simulation has high consistency and efficiency, which meets the requirements of automatic test system simulation and verification applications.
Key words：automatic test system; discrete event system specification; simulation and verification; signal event; SCATS software platform
收稿日期：2023-04-17
基金项目：国家重点研发计划项目(2021YFB3302100)；装备发展部测试仪器科研项目(2009ZCHZ0004)；四川省重大科技专项项目(2022ZDZX0007)。
