The invention relates to an embedded software credible property modeling and verification method. The method comprises the six steps of software subprogram construction, credibility calculation function establishment, credibility preliminary association, access credibility evaluation subprogram construction, simulated running and credibility dynamic assessment and correction. The method is simpleand easy to operate and implement, and meanwhile comprehensive detection and correction are performed on the stability and reliability of program running from multiple aspects such as data operation,modeling, simulation, monitoring and dynamic feedback and correction. Therefore, on the one hand, the structure of a main program is effectively simplified, the running speed and data processing capability of the main program are improved, and the extension capability of the main program is effectively improved; and on the other hand, the reliability and flexibility of data interaction between themain program and each subprogram and data interaction among all the subprograms are effectively improved, so that the stability and reliability of program system overall running are effectively improved, and program overall system compatibility and extensibility are effectively improved.