Aimed at the fact that the original data of the remote backup system changes continuously, a data consistency checking method based on summation digest is proposed.

Because DEM can integrate with control flow, data flow and time, the checking method can check consistency and completeness of software requirements for embedded real-time systems software.

This paper proposes a logarithmic fitting method for priorities of interval judgement matrices in group AHP and gives two criteria for checking consistency.