DocumentCode
524687
Title
Research of Environment-Oriented Fault Representation for Software-Intensive Equipment
Author
Liu Yu ; Ben Kerong ; Wu Feng
Author_Institution
Comput. Sci. & Technol. Dept., Naval Univ. of Eng., Wuhan, China
fYear
2010
fDate
23-25 July 2010
Firstpage
1
Lastpage
4
Abstract
Faults triggered by variability and inconsistency of running environment emerge in the highest frequency, and are difficult to recognize and diagnose in the software-intensive equipment. By systematically analyzing and summarizing environmental factors which can disable the equipment for work, a kind of fresh fault classification is put forward in this paper. Further, the formal representation based on frame is clearly given to each type of environmental fault in detail. Diagnosis system based on this classification is successful and effective to resolve most of faults in practice.
Keywords
formal specification; formal verification; pattern classification; software fault tolerance; diagnosis system; environment-oriented fault representation; formal representation; fresh fault classification; software-intensive equipment; Artificial intelligence; Computer science; Embedded software; Fault diagnosis; Frequency; Hardware; Military equipment; Software maintenance; Software systems; Software testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Engineering and Electronic Commerce (IEEC), 2010 2nd International Symposium on
Conference_Location
Ternopil
Print_ISBN
978-1-4244-6972-7
Electronic_ISBN
978-1-4244-6974-1
Type
conf
DOI
10.1109/IEEC.2010.5533222
Filename
5533222
Link To Document