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

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

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

A simulation and verification method is proposed to fully verify complex automatic test systems(ATS)in early design stage in order to accelerate their maturity and reduce research and development(R&D)cost.The method extends and improves the discrete event system specification,introduces ports and fault modes in atomic models,constructs coupling model through connections between ports,a discrete signal event-driven simulation scheduling algorithm is proposed,and a C/S architecture scheme is provided to support the remote interaction.Based on self-developed automatic test system software platform(SCATS),the experiments are carried out for an example system and real system respectively.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.