Static and Dynamic Verification Method of Trusted Embedded Software Systems

This paper focuses on the modeling and verification method of trusted embedded software. This paper firstly probes into the modeling process of trusted embedded software and then through analyzing key factors which make the software un-trusted, the paper puts forward a trusted modeling and validation framework. Since the initial stage of software implementation is a kind of requirement modeling, its dependability directly affects that of subsequent stages.