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

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

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

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

Запропонований метод реалізовано у вигляді апаратно-програмного комплексу в складі: система вводу та перегляду часових діаграм Signal Workshop, система керування автоматизованою генерацією тестових впливів DigitTest, системні драйвери MicroPort, генератор слів та логічний аналізатор, що спроектовані за допомогою програмованих логічних схем серії Altera MAX7000S.

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

1. Волк М.А., Кобылин О.А., Саранча С.Н.. Формальный аппарат построения параллельных алгоритмов распознавания объектов распределенных баз данных // Проблемы бионики: cб. научн. трудов. Вып. 53. – Харьков: ХТУРЭ. – 2000. – С. 36–38.

2. Горбачев В.А., Волк М.А., Саранча С.Н. Методы сертификации микропроцессорных компонентов // Радиотехника: сб. научн. трудов. Вып. 114. – Харьков: ХТУРЭ. – 2000. – С. 124–128.

3. Горбачев В.А., Волк М.А., Саранча С.Н., Степаненко В.В. Исследование методов генерации многосвязных марковских цепей в задаче сертификации микропроцессорных компонентов // Радиотехника: сб. научн. трудов. Вып. 119. – Харьков: ХТУРЭ. – 2001. – С. 124–129.

4. Горбачев В.А., Степаненко В.В., Саранча С.Н. Методы и средства сертификации сложных электронных систем на соответствие специфицированным функциям // Правове, нормативне та метрологічне забезпечення системи захисту інформації в Україні: наук.-техн. зб. Вип. 3. – Київ: КНУ-КПІ. – 2001. – С. 62–66.

5. Горбачев В.А., Степаненко В.В., Саранча С.Н. Сертификация сложных электронных систем с использованием функциональной модели объекта на полном наборе входных слов // Правове, нормативне та метрологічне забезпечення системи захисту інформації в Україні: наук.-техн. зб. Вип. 5. – Київ: КНУ-КПІ. – 2002. – С. 139–144.

6. Саранча С.Н., Степаненко В.В. Аппаратные средства функциональной диагностики // Радиотехника: сб. научн. трудов. Вып. 117. – Харьков: ХТУРЭ. – 2001. – С. 135–139.

7. Горбачев В.А., Волк М.А., Саранча С.Н. Об одном методе защиты информации в компьютерных системах // Труды 4-й Междунар. конф. «Теория и техника передачи, приема и обработки информации». – Харьков: ХТУРЭ. – 1998. – С. 498.

8. Горбачев В.А., Писаренко Е.В., Саранча С.Н. Физический эмулятор внешней среды // Труды 3-й Междунар. конф. "Теория и техника передачи, приема и обработки информации". – Харьков: ХТУРЭ. – 1997. – С. 208.

9. Горбачев В.А., Саранча С.Н. Процессно-ориентированное представление объекта диагностирования // Труды 5-й Междунар. конф. «Теория и техника передачи, приема и обработки информации». – Харьков: ХТУРЭ. – 1999. – С. 437–438.

10. Горбачев В.А., Саранча С.Н. Способ организации квазипараллелизма вычислительного процесса в задаче генерации тестовых воздействий // Труды 7-й Междунар. конф. "Теория и техника передачи, приема и обработки информации". – Харьков: ХТУРЭ. – 2001. – С. 311–312.

11. Саранча С.Н. Инструментальные средства функциональной диагностики электронных компонентов и систем // Праці 3-го Міжнар. молодіжного форуму "Радіоелектроніка і молодь у XXI столітті". – Харків: ХТУРЕ. – 1999. – С. 12–15.

12. Саранча С.Н. Применение технологий многопоточности о объектно-ориентированного проектирования в диагностировании сложных электронных систем // Вісник Харківського національного університету. Серія: актуальні проблеми сучасної науки в дослідженнях молодих вчених м. Харкова. – 2001. – Т. 2, №506. – С. 110–112.

13. Саранча С.Н. Применение стохастических грамматик в задачах функционального контроля электронных систем // Вісник Харківського національного університету. Серія: актуальні проблеми сучасної науки в дослідженнях молодих вчених м. Харкова. – 2002. – Т. 1, №551. – С. 186–189.

14. Шеховцов Б.Г., Саранча С.Н., Середенко В.А. Клиент-серверная организация системы моделирования микропроцессорных БИС // Труды 5-й междунар. конф. "Образование и виртуальность". – Харьков: ХТУРЭ. – 2001. – С. 195–198.