离散信号事件驱动的自动测试系统仿真验证方法与实现

Discrete Signal Event-Driven Simulation and Verification Method and Implementation for Automatic Test Systems

摘要:

为在设计早期对复杂自动测试系统进行充分验证从而加速其成熟并降低研发成本,对离散事件系统规范进行扩展和改进,在原子模型中引入了端口和故障模式,通过端口间的连接构成耦合模型,提出一种离散信号事件驱动的仿真调度算法,并给出一个C/S架构的支持远程交互的仿真验证实现方案；基于自研的SCATS自动测试系统软件平台,分别针对一个示例系统和真实系统开展了实验,结果表明所提模型和方法支持复杂系统多分辨率层次化建模,仿真具有较高的一致性和执行效率,满足自动测试系统仿真验证工程应用需求。

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.