Logic simulation of correspond with OSEK/VDX OS specification

With designing rules,it conquered the integrity weakness of common static analysis methods,since researching the process of application code detecting which was according to the OSEK/VDX OS specification.This means realizes running time logic checking.Finally,it proves that this solution gets the advantages that traditional static analysis can't take.This result provides the foundation of the future system monitoring with calibration technology.