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.