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
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;
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
DOI :
10.1109/IEEC.2010.5533222