Discrete Event System Verification Method Using Bilingual Specification and Quasi-Equilibrium Relationships

摘要

1. TECHNICAL FIELD OF THE INVENTION;The present invention relates to a discrete event system verification method using bilingual specifications and homomorphic relationships.;2. The technical problem to be solved by the invention;The present invention, in verifying the discrete event system, by performing the verification for each function provided by the verification target system by reducing the size of the verification target system, and by using a quasi-homogenous relationship, the discrete event system that shortens the time required for verification To provide a verification method.;3. Summary of the Solution of the Invention;The present invention includes a first step of determining whether there is a state in which a check is not performed in a functional specification state set; Adding a time logic specification state to the set that satisfies the function specification state; And if there is no state in the functional specification state set that has not been performed, a third step of setting a quasi-morphic function, examining the quasi-homogenous relationship between the time logic specification and the functional specification finite state machine, and outputting the result. Included.;4. Important uses of the invention;The present invention is used to validate a discrete event system.