DocumentCode
690291
Title
Static and Dynamic Verification Method of Trusted Embedded Software Systems
Author
Bo Huang ; Yong Xu ; Guoqing Wu
Author_Institution
Sch. of Comput., Wuhan Univ., Wuhan, China
fYear
2013
fDate
14-15 Dec. 2013
Firstpage
67
Lastpage
71
Abstract
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.
Keywords
embedded systems; formal verification; software reliability; trusted computing; dynamic verification method; requirement modeling; software dependability; static verification method; trusted embedded software systems; trusted modeling framework; trusted validation framework; Analytical models; Computational modeling; Embedded software; Embedded systems; Object oriented modeling; Semantics; modeling verification; software behavior; trusted embedded software;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Sciences and Applications (CSA), 2013 International Conference on
Conference_Location
Wuhan
Type
conf
DOI
10.1109/CSA.2013.22
Filename
6835548
Link To Document