Title: | Обнаружение отказов на основе доступности адресных данных |
Authors: | Сивко, Б. В. |
Keywords: | материалы конференций;адресация |
Issue Date: | 2016 |
Publisher: | БГУИР |
Citation: | Сивко, Б. В. Обнаружение отказов на основе доступности адресных данных / Б. В. Сивко /// Информационные технологии и системы 2016 (ИТС 2016) = Information Technologies and Systems 2016 (ITS 2016) : материалы международной научной конференции, Минск, 26 октября 2016 г. / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин [и др.]. – Минск, 2016. – С. 66–67. |
Abstract: | Рассматривается предложенный автором метод, позволяющий проектировать отказоустойчивые и безопасные системы, которые способны обнаружить отказы аппаратного обеспечения, выполняющего функцию адресации. В докладе излагаются способы разработки подсистем по обнаружению любых константных отказов адресных регистров и отказов короткого замыкания смежных разрядов микропроцессорных
систем. К характерным адресным элементам относятся: программный счетчик микропроцессора, адресные регистры общего назначения и регистр стека, программные указатели на таблицы и массивы данных.
Приводятся примеры использования метода и доказательство его корректности. Предложенный метод отличается тем, что он является простым в реализации, гибким в применении и обладает математически доказанной эффективностью. |
URI: | https://libeldoc.bsuir.by/handle/123456789/11887 |
Appears in Collections: | ИТС 2016
|