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 :
بازگشت