Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2020
Автори:	Погорілий, С.Д., Слинько, М.С.
Формат:	Стаття
Мова:	Ukrainian
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2020
Назва видання:	Кибернетика и системный анализ
Теми:	Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/190444
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах / С.Д. Погорілий, М.С. Слинько // Кибернетика и системный анализ. — 2020. — Т. 56, № 4. — С. 196–202. — Бібліогр.: 9 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-190444
record_format	dspace
spelling	irk-123456789-1904442023-06-06T20:17:38Z Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах Погорілий, С.Д. Слинько, М.С. Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу Запропоновано методологію проєктування застосунків для систем із масовим паралелізмом на прикладі GPGPU-систем, орієнтовану на алгоритмічний етап проєктування. Розглянуто два етапи проєктування: створення формальної специфікації та її дослідження і верифікація. Для першого етапу запропоновано використання математичних апаратів системи алгоритмічних алгебр/модифікованої системи алгоритмічних алгебр та транзиційних систем. Для другого етапу проаналізовано використання мережевих та автоматних моделей і наведено переваги кожної моделі. Зокрема, проведено дослідження моделі обчислень в архітектурі NVIDIA CUDA за допомогою мереж Петрі, а також формул лінійно-темпоральної логіки та автоматної моделі. Предложена методология проектирования приложений для систем с массовым параллелизмом на примере GPGPU-систем, ориентированная на алгоритмический этап проектирования. Рассмотрены две фазы проектирования: создание формальной спецификации и ее исследование и верификация. Для первого этапа предложено использование математических аппаратов системы алгоритмических алгебр/модифицированной системы алгоритмических алгебр и транзиционных систем. Для второго этапа проанализировано использование сетевых и автоматных моделей и приведены преимущества каждой из них. В частности, проведено исследование модели вычислений в архитектуре NVIDIA CUDA при помощи сетей Петри, а также формул линейно-темпоральной логики и автоматных моделей. An application design methodology for massively parallelized systems (GPGPU systems) focused on the algorithmic design phase is proposed. Two design sub-steps are considered: creation of the formal specification of the system; and its research and verification. The use of mathematical apparatuses SAA/SAA-M as well as transition systems is proposed for the first step. Advantages and specifics of using network and automaton models for the second step are given. NVIDIA CUDA architecture computation model analysis is proposed using Petri nets (network model) and using linear-temporal logic formulas and Buchi automaton (automaton model). 2020 Article Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах / С.Д. Погорілий, М.С. Слинько // Кибернетика и системный анализ. — 2020. — Т. 56, № 4. — С. 196–202. — Бібліогр.: 9 назв. — укр. 1019-5262 http://dspace.nbuv.gov.ua/handle/123456789/190444 004.4 uk Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Ukrainian
topic	Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу
spellingShingle	Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу Погорілий, С.Д. Слинько, М.С. Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах Кибернетика и системный анализ
description	Запропоновано методологію проєктування застосунків для систем із масовим паралелізмом на прикладі GPGPU-систем, орієнтовану на алгоритмічний етап проєктування. Розглянуто два етапи проєктування: створення формальної специфікації та її дослідження і верифікація. Для першого етапу запропоновано використання математичних апаратів системи алгоритмічних алгебр/модифікованої системи алгоритмічних алгебр та транзиційних систем. Для другого етапу проаналізовано використання мережевих та автоматних моделей і наведено переваги кожної моделі. Зокрема, проведено дослідження моделі обчислень в архітектурі NVIDIA CUDA за допомогою мереж Петрі, а також формул лінійно-темпоральної логіки та автоматної моделі.
format	Article
author	Погорілий, С.Д. Слинько, М.С.
author_facet	Погорілий, С.Д. Слинько, М.С.
author_sort	Погорілий, С.Д.
title	Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах
title_short	Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах
title_full	Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах
title_fullStr	Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах
title_full_unstemmed	Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах
title_sort	методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах
publisher	Інститут кібернетики ім. В.М. Глушкова НАН України
publishDate	2020
topic_facet	Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу
url	http://dspace.nbuv.gov.ua/handle/123456789/190444
citation_txt	Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах / С.Д. Погорілий, М.С. Слинько // Кибернетика и системный анализ. — 2020. — Т. 56, № 4. — С. 196–202. — Бібліогр.: 9 назв. — укр.
series	Кибернетика и системный анализ
work_keys_str_mv	AT pogorílijsd metodimodelûvannâíverifíkacíídlâproêktuvannâzastosunkívugeterogenniharhítekturah AT slinʹkoms metodimodelûvannâíverifíkacíídlâproêktuvannâzastosunkívugeterogenniharhítekturah
first_indexed	2023-10-18T23:12:58Z
last_indexed	2023-10-18T23:12:58Z
_version_	1796157548811780096

Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах

Репозитарії

Схожі ресурси