Ваш браузер устарел.

Для того, чтобы использовать все возможности сайта, загрузите и установите один из этих браузеров.

скрыть

Article

  • Title

    Checkability of digital components in safety-critical systems

  • Authors

    Sulima Yu. Yu.
    Drozd А. V.

  • Subject

    COMPUTER AND INFORMATION NETWORKS AND SYSTEMS. MANUFACTURING AUTOMATION

  • Year 2012
    Issue 2(39)
    UDC 004.052
    DOI
    Pages 156-159
  • Abstract

    The problems of checkability of digital components in safety-critical systems, which limits the possibility of on-line testing and of ensuring the functional safety, have been considered. Assess controllability of points of digital components in the normal mode by their observability based on partly traceable points has been proposed. On the example of the iterative array multiplier low checkability of digital components in safety-critical systems is quantitatively confirmed.

  • Keywords
  • Viewed: 956 Dowloaded: 1
  • Download Article
  • References

    1. FPGA-based NPP I&C Systems: Development and Safety Assessment / E.S. Bakhmach, A.D. Herasimenko, V.A.Golovir and others / ed. V.S. Kharchenko, V.V. Sklyar. — RPC Radiy, National Aerospace University “KhAI”, SSTC on Nuclear and Radiation Safety, 2008. — 188 p.

    2. Kharchenko, V. Multi-version Systems: Models, Reliability, Design Technologies / V. Kharchenko // 10th Europ. Conf. on Safety and Reliability, — Munich, Germany. — Munich, 1999.
    — Vol. 1. — P. 73 — 77.

    3. Рабочее диагностирование безопасных информационно-управляющих систем / А.В. Дрозд, В.С. Харченко,
    С.Г. Антощук и др.; под ред. Дрозда А.В., Харченко В.С.
    — Харьков: Нац. аэрокосмический ун-т им.
    Н. Е. Жуковского “ХАИ“, 2012. — 614 с.

    4. Беннетс, Р.Дж. Проектирование тестопригодных логических схем / Р.Дж. Беннетс. — М.: Радио и связь, 1995.
    — 180 с.

    5. On-line testing of safety-critical I&C systems in normal and emergency modes: Problems and solutions / A. Drozd,
    V. Kharchenko, S. Antoshchuk, M. Drozd // First Intern. Workshop “Critical Infrastructure Safety and Security“ (CrISS-DESSERT’11), Kirovograd, Ukraine, — Kirovograd, 2011.
    — P. 139 — 147.

    6. Мельник, А.О. Архітектура комп’ютера. Наук. вид. /
    А.О. Мельник. — Луцьк: Волин. обл. друкарня, 2008.
    — 470 с.

  • Creative Commons License by Author(s)