Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (20)Реферативна база даних (4)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Панарин А$<.>)
Загальна кількість знайдених документів : 4
Представлено документи з 1 до 4
1.

Панарин А. С. 
Имитационное моделирование soft-процессоров на базе концепции Model-Based Testing [Електронний ресурс] / А. С. Панарин // Радіоелектронні і комп’ютерні системи. - 2012. - № 5. - С. 100–106. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_5_21
Рассмотрен результат теоретического исследования и практического применения метода тестирования soft-процессоров, в частности, компилятора Nios ядра Altera Sopc Builder. Метод базируется на концепции Model-Based Testing. Инструментальным средством для разработки модели эталонной программы soft-процессора выбран формальный язык программирования ForSyDe. Рассмотрены этапы разработки модели с последующим анализом и сравнением результатов выполнения. В результате исследования подтверждена идентичность всех рассмотренных вариантов реализации цифровой системы. Полученные результаты целесообразно использовать для решения ряда практических задач.
2.

Скляр В. В. 
Применение концепции Model-Based Testing для верификации систем на базе IP-ядер [Електронний ресурс] / В. В. Скляр, В. С. Харченко, А. С. Панарин, И. Сандер // Радіоелектронні і комп’ютерні системи. - 2010. - № 5. - С. 237–241. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_5_40
Исследовано применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра Nios фирмы Altera, и последующего её тестирования. Предложена последовательность разработки модели, а также ее конвертации в VHDL-код для имплементации в ПЛИС (программируемую логическую микросхему).
3.

Скляр В. В. 
Тестирование и разработка диверсных программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования [Електронний ресурс] / В. В. Скляр, В. С. Харченко, А. С. Панарин // Радіоелектронні і комп’ютерні системи. - 2014. - № 1. - С. 29–41. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2014_1_6
Предложен подход к моделированию и тестированию программного обеспечения контроллеров с использованием инструментальной среды ForSyDe, поддерживающей функциональное программирование. Получена функциональная модель подсистемы обработки дискретных сигналов, которая затем преобразована в VHDL-код и в цифровое устройство на базе программируемой логической интегральной схемы (ПЛИС). Предложены варианты реализации жизненного цикла системы на базе ПЛИС с использованием альтернативных версий для тестирования и многоверсионного функционирования.
4.

Скляр В. В. 
Тестирование программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования [Електронний ресурс] / В. В. Скляр, В. С. Харченко, А. С. Панарин // Системи обробки інформації. - 2014. - Вип. 1. - С. 44-55. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2014_1_13
Предложен подход к моделированию и тестированию программного обеспечения контроллеров с использованием инструментальной среды ForSyDe, поддерживающей функциональное программирование. Получена функциональная модель подсистемы обработки дискретных сигналов, которая затем преобразована в VHDL-код и в цифровое устройство на базе программируемой логической интегральной схемы (ПЛИС). Предложены варианты реализации жизненного цикла системы на базе ПЛИС с использованием альтернативных версий для тестирования и многоверсионного функционирования.
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського