• DocumentCode
    648624
  • Title

    The use of natural resources for increasing a checkability of the digital components in safety-critical systems

  • Author

    Drozd, A. ; Kharchenko, V. ; Antoshchuk, Svetlana ; Drozd, J. ; Lobachev, M. ; Sulima, J.

  • Author_Institution
    Odessa Nat. Tech. Univ., Odessa, Ukraine
  • fYear
    2013
  • fDate
    27-30 Sept. 2013
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    Influence of safety-critical Instrumentation and Control systems (I&CS) particularities on checkability of their digital components are examined. The natural resources which can be used for increasing checkability of the digital components are analyzed. Natural resources of digital components developed as multi-version system with strongly connected versions are considered. The checkability-oriented designing of simultaneous fault tolerant digital components is offered.
  • Keywords
    fault tolerant computing; safety-critical software; checkability; digital components; multi-version system; natural resources; safety-critical instrumentation and control systems; simultaneous fault tolerant digital components;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design & Test Symposium, 2013 East-West
  • Conference_Location
    Rostov-on-Don
  • Print_ISBN
    978-1-4799-2095-2
  • Type

    conf

  • DOI
    10.1109/EWDTS.2013.6673209
  • Filename
    6673209
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=648624