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

Бенч А.Я. Методи та засоби оцінки показників надійності цифрових пристроїв із вбудованими схемами контролю. - Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.12.13 - радіотехнічні пристрої та засоби телекомунікацій - Національний університет "Львівська політехніка", Львів, 2003.

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

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

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

1. Мандзій Б.А., Якубенко В.М., Бенч А.Я. Метод оптимізації схем контролю цифрових комбінаційних пристроїв // Электроника и связь.- 1997.- часть II, №2.-С.253-257.

2. Мандзій Б.А., Якубенко В.М., Бенч А.Я. Метод оптимізації схем контролю цифрових комбінаційних пристроїв // Вісник Державного університету "Львівська політехніка". Комп'ютерні системи проектування. Теорія і практика.- 1997.- № 327.- С. 221-230.

3. Мандзій Б.А., Якубенко В.М., Бенч А.Я. Підвищення надійності цифрових комбінаційних пристроїв // Технічна електродинаміка.Спеціальний випуск.- 1998.- С.20-30.

4. Мандзій Б.А., Якубенко В.М., Бенч А.Я. Порівняння функціональної надійності схем цифрових комбінаційних пристроїв на етапі їх проектування // Электроника и связь.- 1998.- часть III, №4.- С.487-491.

5. Бенч А.Я. Порівняння функціональної надійності схем контролю суматора // Вісник Державного університету "Львівська політехніка". Радіоелектроніка та телекомунікації.- 1998.- № 352. - С.72-75.

6. Мандзій Б.А., Бенч А.Я. Математична модель та методика оцінки достовірностей функціонування цифрових пристроїв із вбудованими схемами контролю // Інформаційні технології і системи. - 1999. - том 2, № 1.- С.135-141.

7. Мандзій Б.А, Бенч А.Я. Структура програмного забезпечення для автоматизованої оцінки показників гарантоздатності цифрових пристроїв із вбудованими схемами контролю // Вісник Державного університету "Львівська політехніка". Радіоелектроніка та телекомунікації.- 2000.- № 387.- С.32-35.

8. Мандзій Б., Якубенко В., Бенч А. Формування функцій передавання помилок цифрових схем на підставі автоматизованого моделювання константних несправностей // Электроника и связь.- 2000.- № 9.- С.173-176.

9. Васильцов І., Мандзій Б., Бенч А. Розподіл напруги завади в матричних ВІС з ортогональною топологією шин живлення та заземлення // Вісник Державного університету "Львівська політехніка". Комп’ютерні системи проектування. Теорія і практика. - 2001.-№ 415.- С.88-99.

10. Мандзій Б.А., Бенч А.Я., Васильцов І.В. Аналіз математичної моделі збою логічного елемента із використанням моделі резистивно-індуктивної завади // Вісник Національного університету "Львівська політехніка". Радіоелектроніка та телекомунікації.- 2002.- № 440. - С.65-75.

11. Мандзій Б.А., Якубенко В.М., Бобало Ю.Я., Бенч А.Я. Моделювання похибок елементної бази цифрових комбінаційних пристроїв та синтез їх схем контролю // Proceedings of 1-st International modeling school. - Rzeszow.- 1996.- P. 50.

12. Мандзій Б.А., Якубенко В.М., Бобало Ю.Я., Бенч А.Я. Побудова схем контролю цифрових пристроїв із забезпеченням відповідних надійнісних характеристик // Тези доповідей 4-тої міжнародної науково-технічної конференції "Досвід розробки та застосування приладо-технологічних САПР мікроелектроніки".- Частина I- Львів.- 1997.- С.114

13. Мандзій Б.А., Якубенко В.М., Бенч А.Я. Вибір оптимальних схем контролю цифрових комбінаційних пристроїв // Матеріали міжнародної науково-технічної конференції "Сучасні проблеми засобів телекомунікації, комп'ютерної інженерії та підготовки спеціалістів".- Львів.- 1998.- С.25.

14. Мандзій Б., Якубенко В., Бенч А. Застосування критерія мінімальної імовірності помилок для порівняння функціональної надійності комбінаційних цифрових пристроїв // Матеріали 5-ої міжнародної науково-технічної конференції "Досвід розробки і застосування САПР у мікроелектроніці".- Львів.- 1999.- С.109-110.

15. Mandzij B., Yakubenko V., Bench A. Method of improving functioning validity of digital devices and their error checkers // Proceedings of XV Symposium "Electromagnetic phenomena in nonlinear circuits". - Poznan’-Liege.- 1999.- P.227-229.

16. Мандзій Б., Якубенко В., Бобало Ю., Бенч А. Спосіб проектування цифрових комбінаційних пристроїв із вбудованими схемами контролю // Proceedings of 3rd International Modelling School. - Rzeszow.- 1999. - P.169-172.

17. Mandzij B., Yakubenko V., Bench A. Functioning validity comparison of digital devices and their error checkers // Proceedings of 6-th International Conference "MIXDES’99".- Krakow.- 1999.- P.431-436

18. Мандзій Б.А., Якубенко В.М. Оцінки варіантів цифрових схем із вбудованим контролем за критерієм функціональної надійності // Актуальні проблеми теоретичної електротехніки: наука і дидактика. Доповіді. - Львів.- 1999. - С. 95-98.

19. Мандзій Б., Якубенко В., Бенч А. Оцінка достовірності функціонування цифрових пристроїв із схемами контролю // 3-тя Міжнародна науково-технічна конференції "Математичне моделювання в електротехніці, електроніці та електроенергетиці". Тези доповідей. - Львів.- 1999.- С.179-180.

20. Mandziy B., Bench A. Structure of software package for dependability indexes estimation of digital devices with implemented error checkers // Proceedings of International Conference on Modern Problems of Telecommunications, Computer Science and Engineers Training.- Lviv-Slavsko.- 2000.- P. 84-85.

21. Mandziy B., Yakubenko V., Bench A. Dependability assessment of digital devices with error checkers // Proceedings of 7-th International Conference "MIXDES’2000".- Gdynia.- 2000.- P. 517 – 522

22. Мандзій Б., Бенч А. Математичні моделі розрахунку показників функціональної надійності інтегральних тригерів // Актуальні проблеми теоретичної електротехніки: наука і дидактика. Доповіді. - Соліна.- 2000. - С.150-152.

23. Vasiltsov I., Mandziy B., Bench A. Distibution of the Noice Voltage in the Matrix VLSI with Orthogonal Topology of Power Supply Feeding // Proceedings of the International Conference "The Experience of Design and Application of CAD Systems in Microelectronics". -Lviv-Slavsko.- 2001. - P.98.

24. Vasiltsov I., Mandzij B., Bench A. Estimation of the Reliability, Speed and Cost Parameters of the Different Type of Flip-Flops // Proceedings of the International Workshop on Intelligent Data Asquisionand Advanced Computing Systems: Technology and Application.-Foros,Cremia.- 2001.- P.103-106.

25. Мандзій Б., Васильцов І., Бенч А.. Модель внутрішньої резистивно - індуктивної завади у кристалах мікросхем // Актуальні проблеми теоретичної електротехніки: наука і дидактика. Доповіді. - Львів.- 2001.-С.54-58.

26. Mandziy B., Vasiltsov I., Bench A. Analysis of Soft Faults’ Mathematical Model Based on Resistive-Inductive Model of Internal Noises in VLSI // Proceedings of the International Conference TCSET’ 2002 .-Lviv-Slavsk.- 2002.- P.42

27. Vasiltsov I., Mandziy B., Bench A. Approach to Solve the Reliability Problem at Packfging Level in the matrix VLSI // Proceedings of 23rd International Conference on Microelectronics.- Vol. 2.-Nis.- 2002.-P. 703-706.

28. Vasiltsov I.V., Mandziy B.A., Glushko A.A., Bench A.Y. A Translator from the Finite State Mashine Editor // Proceedings of the 9th International Conference "MIXDES’2002".-Wroclaw.- 2002.-P.229-232.

29. Vasiltsov I.V. , Mandziy B.A. , Glushko A.A , Bench A.Y. The structure of the Software Tool for Reliability Increasing of Digital Devices Based on Elementary Coding // Proceedings of the VIIth International Conference “CADSM 2003”.- Lviv-Slavske.- 2003.-P.395-396

30. Mandzij B., Bencz A.,Wasylcow I. Matematyczny model wewnentrznej zawady w macierzowym obwodzie // II Symposium "Modelowanie I symulacja komputerowa w technice".- Lodz.-2003.-S.125-128.