• 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