Distributed interactive simulation time sequence verification method and system

The invention discloses a distributed interactive simulation time sequence verification method and system. The method comprises the steps that a user configuration file is written, and communication configuration and log configuration of a server side and a client side are carried out; performing instrumentation configuration on the distributed interactive simulation system to generate a simulation system program with instrumentation; constructing a time sequence attribute monitor corresponding to the time sequence attribute, and generating a time sequence monitoring automaton; and the time sequence attribute monitor verifies whether the simulation event sequence generated by the simulation system program with the instrumentation meets the time sequence attribute expressed by the time sequence monitoring automaton or not. The verification system comprises a user configuration module, a simulation system instrumentation configuration module, a time sequence attribute monitor construction module and a simulatio