Анотація до роботи:

Ріда Мох’д Ахмад Аль Шбуль. Розробка та дослідження структурних методів та засобів побудови тестопридатних цифрових пристроїв. – Рукопис.

Дисертація на здобуття ученого ступеня кандидата технічних наук за спеціальністю 05.13.05 – Елементи і пристрої обчислювальної техніки та систем управління. - Національний технічний університет України “Київський політехнічний інститут”. – Київ, 2005.

Дисертаційна робота присвячена питанням розробки та дослідження методів і засобів побудови цифрових схем, що мають поліпшені показники тестованості, з орієнтацією на організацію діагностичних процедур із застосуванням псевдовипадкових іспитових послідовностей, а також з використанням структурних засобів сигнатурного аналізу. Запропоновано структурні методи побудови тестопридатних цифрових схем, засновані на застосуванні функціональних елементів із змінюваними логічними функціями в системному режимі і в режимі тестування. Розроблено алгоритми синтезу тестопридатних комбінаційних структур, що реалізують булеві функції, задані різними формами опису. Загальний підхід до побудови тестопридатних схем розповсюджено на ряд типових комбінаційних вузлів спеціального призначення, досліджені особливості застосування методу синтезу тестопридатних схем до послідовносних цифрових пристроїв. Проведений аналіз впливу особливостей тестопридатних цифрових пристроїв на структуру спеціалізованих контрольно-діагностичних засобів, а також на характеристики та склад сервісного програмного забезпечення.

Ключові слова: тестопридатні цифрові схеми, псевдовипадкові іспитові послідовності, сигнатурний аналіз, булеві функції, послідовносні пристрої, діагностика цифрових об’єктів.

В дисертаційній роботі приведені результати наукових досліджень, спрямованих на вирішення складної науково-технічної проблеми підвищення ефективності процедур псевдовипадкового тестування цифрових приладів, вузлів, блоків та систем. До основних результатів роботи можна віднести наступне.

1. За результатами проведеного порівняльного аналізу виявлено, що використання відомих методів псевдовипадкового тестування складних цифрових об’єктів, у тому числі і тестопридатних, супроводжується значною довжиною тестових послідовностей, а також вимагає детального аналізу топології вихідної структури.

2. Розроблено спеціальні логічні елементи, що мають можливість змінювати свої функції в робочому (системному) режимі і в ході псевдовипадкового тестування. Запропоновано методику побудови цифрових схем з використанням таких елементів, що супроводжується значним (за наведеними прикладами – на декілька порядків) скороченням довжини псевдовипадкового тесту.

3. Розроблено метод синтезу тестопридатних цифрових схем, які реалізують булеві функції, представлені довершеними нормальними формами, розкладанням Шеннона, описом на основі поліноміальних форм Жегалкіна та мінімізованими формами булевих рівнянь. Отримані співвідношення для оцінки довжини псевдовипадкового тесту комбінаційних пристроїв, побудованих із застосуванням запропонованого методу.

4. Запропоновано алгоритми синтезу тестопридатних типових вузлів, таких, як дешифратори, схеми мультиплексування, операційні пристрої, що виконують арифметичні і логічні операції, а також цифрових послідовносних схем, отримано оцінки часу їх псевдовипадкового тестування.

5. Розроблено структуру спеціалізованого апаратного генератора іспитових псевдовипадкових послідовностей на основі набору керованих зсувних регістрів, що може бути використаний, як основний структурний модуль діагностичного комплексу для перевірки тестопридатних цифрових об’єктів.

6. Сформульовано вимоги до структури і робочих алгоритмів спеціалізованого діагностичного комплексу для проведення псевдовипадкових іспитів тестопридатних цифрових об’єктів, синтез яких було проведено з використанням запропонованих методів.

Публікації автора:

1. Гроль В.В., Рида Ал Шбул, Рабах Ал Шбул. О формировании псевдослучайных последовательностей двоичных наборов. Вестник КПИ, серия «Информатика, управление и вычислительная техника», вып. 38, 2002, с.3-9.

Авторові дисертації належить розробка логічної структури схеми поєднання розрядів керованого генератора псевдовипадкових послідовностей, а також методика оцінки розрядності зсувної регістрової групи.

2. Романкевич А.М., Гроль В.В., Лукашевич М.Г., Рида Мох’д Ахмад Ал Шбул. О формировании испытательных последовательностей для тестирования моделей ОМС. Информационно-управляющие системы на ж/д транспорте. №4,5(37), 2002, с. 24.

Дисертантом сформульовані вимоги до параметрів генеруючої структури і розроблено алгоритм процедури програмування імовірності вихідних двійкових сигналів.

3. Гроль В.В., Романкевич А.М., Рида Ал Шбул. О тестопригодной реализации булевых функций с ориентацией на псевдослучайное тестирование. Вісник Технологічного університету Поділля, т.2, Хмельницький, 2003, с.32-35.

Автор провів аналітичне обґрунтування ефективності процедур псевдовипадкового тестування комбінаційних схем, побудованих на базі багатофункціональних логічних елементів.

4. Гроль В.В., Лукашевич М.Г., Рида Ал Шбул, Мирошникова О.А. Синтез тестопригодных комбинационных схем с учетом особенностей псевдослучайных диагностических процедур. 16-я Междунар. конф. "Перспективные системы управления на ж/д, промышленном и городском транспорте". 15 сент. 2003 г., Алушта, с.7.

Автор виконав розробку та аналіз методики подання іспитових псевдовипадкових послідовностей на системні входи тестопридатних комбінаційних схем.

5. Romankevich A., Grol V., Rida Al Shboul. On designing of testable digital combinational circuits. Radioelectronics & Informatics. № 3(24), 2003, pp.95-99.

Дисертантом складено алгоритм керування режимами роботи логічних елементів різних рівнів тестопридатної комбінаційної схеми та одержано співвідношення для оцінки часу псевдовипадкового тестування такої структури.

6. Гроль В.В., Потапова Е.Р., Рида Мох’д Ахмад Ал Шбул. Структурный синтез тестопригодных схем двоичных арифметических сумматоров. Вісник Технологічного університету Поділля, ч.1, т.2, Хмельницький, 2004, с.120-127.

Автором розроблено структурну реалізацію та проведено аналіз ефективності процедур псевдовипадкового контролю тестопридатних двійкових комбінаційних арифметичних суматорів із схемами паралельного та групового переносу.