• DocumentCode
    1426749
  • Title

    A Note on “On the Use of Model Checking for the Verification of a Dynamic Signature Monitoring Approach” [Oct 05 1555-1561]

  • Author

    Tan, Liansheng ; Tan, Qinyan ; Xu, Jie ; Li, Jie

  • Author_Institution
    National University of Defense Technology, Changsha, China
  • Volume
    58
  • Issue
    1
  • fYear
    2011
  • Firstpage
    359
  • Lastpage
    359
  • Abstract
    Dynamic Signature Monitoring algorithm (DSM) is validated to have the ability to detect all the illegal interblock transitions. However, we found that there were four kinds of errors that could not be detected under certain conditions.
  • Keywords
    Error correction codes; Fault tolerance; Formal verification; Single event upset; DSM; signature analysis; signature design; undetected errors;
  • fLanguage
    English
  • Journal_Title
    Nuclear Science, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9499
  • Type

    jour

  • DOI
    10.1109/TNS.2010.2100047
  • Filename
    5688210
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1426749