Formal methods of parallel software design automation
Formal methods and software tools of automated design and synthesis of parallel programs are proposed. The
 developed facilities use the language based on the Glushkov system of algorithmic algebras intended for a highlevel
 and natural linguistic representation of algorithms and app...
Gespeichert in:
| Veröffentlicht in: | Доповіді НАН України |
|---|---|
| Datum: | 2020 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
Видавничий дім "Академперіодика" НАН України
2020
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/170619 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Formal methods of parallel software design automation / A.Yu. Doroshenko, O.A. Yatsenko // Доповіді Національної академії наук України. — 2020. — № 6. — С. 15-20. — Бібліогр.: 10 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862663472034086912 |
|---|---|
| author | Doroshenko, A.Yu. Yatsenko, O.A. |
| author_facet | Doroshenko, A.Yu. Yatsenko, O.A. |
| citation_txt | Formal methods of parallel software design automation / A.Yu. Doroshenko, O.A. Yatsenko // Доповіді Національної академії наук України. — 2020. — № 6. — С. 15-20. — Бібліогр.: 10 назв. — англ. |
| collection | DSpace DC |
| container_title | Доповіді НАН України |
| description | Formal methods and software tools of automated design and synthesis of parallel programs are proposed. The
developed facilities use the language based on the Glushkov system of algorithmic algebras intended for a highlevel
and natural linguistic representation of algorithms and apply rewriting rules technique to transform programs.
The tools also use the method of syntactically correct algorithm scheme design which eliminates syntax errors during
the construction of algorithms and programs. The approach is illustrated on developing the parallel N-body simulation
program for the executing on a graphics processing unit.
Запропоновані формальні методи та інструментальні засоби автоматизованого проектування та синтезу
паралельних програм. Розроблені засоби використовують мову, яка ґрунтується на системах алгоритмічних алгебр Глушкова і орієнтована на високорівневе та природно-лінгвістичне подання алгоритмів, а також застосовують техніку переписувальних правил для трансформації програм. Особливістю розробленого інструментарію є також використання методу проектування синтаксично правильних схем алгоритмів, який виключає можливість виникнення помилок у процесі побудови специфікацій алгоритмів та програм. Підхід проілюстровано на розробці паралельної програми чисельного інтегрування задачі N тіл, призначеної для виконання на графічному прискорювачі.
Предложены формальные методы и инструментальные средства автоматизированного проектирования и
синтеза параллельных программ. Разработанные средства используют язык, базирующийся на системах
алгоритмических алгебр Глушкова и ориентированный на высокоуровневое и естественно-лингвистическое представление алгоритмов, а также применяют переписывающие правила для трансформации программ. Особенность разработанного инструментария также состоит в использовании метода проектирования синтаксически правильных схем алгоритмов, который исключает возможность возникновения
ошибок в процессе построения спецификаций алгоритмов и программ. Подход проиллюстрирован на разработке параллельной программы численного интегрирования задачи N тел, предназначенной для выполнения на графическом ускорителе.
|
| first_indexed | 2025-12-07T15:11:56Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-170619 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1025-6415 |
| language | English |
| last_indexed | 2025-12-07T15:11:56Z |
| publishDate | 2020 |
| publisher | Видавничий дім "Академперіодика" НАН України |
| record_format | dspace |
| spelling | Doroshenko, A.Yu. Yatsenko, O.A. 2020-07-20T14:39:39Z 2020-07-20T14:39:39Z 2020 Formal methods of parallel software design automation / A.Yu. Doroshenko, O.A. Yatsenko // Доповіді Національної академії наук України. — 2020. — № 6. — С. 15-20. — Бібліогр.: 10 назв. — англ. 1025-6415 DOI: doi.org/10.15407/dopovidi2020.06.015 https://nasplib.isofts.kiev.ua/handle/123456789/170619 004.4’24 Formal methods and software tools of automated design and synthesis of parallel programs are proposed. The
 developed facilities use the language based on the Glushkov system of algorithmic algebras intended for a highlevel
 and natural linguistic representation of algorithms and apply rewriting rules technique to transform programs.
 The tools also use the method of syntactically correct algorithm scheme design which eliminates syntax errors during
 the construction of algorithms and programs. The approach is illustrated on developing the parallel N-body simulation
 program for the executing on a graphics processing unit. Запропоновані формальні методи та інструментальні засоби автоматизованого проектування та синтезу
 паралельних програм. Розроблені засоби використовують мову, яка ґрунтується на системах алгоритмічних алгебр Глушкова і орієнтована на високорівневе та природно-лінгвістичне подання алгоритмів, а також застосовують техніку переписувальних правил для трансформації програм. Особливістю розробленого інструментарію є також використання методу проектування синтаксично правильних схем алгоритмів, який виключає можливість виникнення помилок у процесі побудови специфікацій алгоритмів та програм. Підхід проілюстровано на розробці паралельної програми чисельного інтегрування задачі N тіл, призначеної для виконання на графічному прискорювачі. Предложены формальные методы и инструментальные средства автоматизированного проектирования и
 синтеза параллельных программ. Разработанные средства используют язык, базирующийся на системах
 алгоритмических алгебр Глушкова и ориентированный на высокоуровневое и естественно-лингвистическое представление алгоритмов, а также применяют переписывающие правила для трансформации программ. Особенность разработанного инструментария также состоит в использовании метода проектирования синтаксически правильных схем алгоритмов, который исключает возможность возникновения
 ошибок в процессе построения спецификаций алгоритмов и программ. Подход проиллюстрирован на разработке параллельной программы численного интегрирования задачи N тел, предназначенной для выполнения на графическом ускорителе. en Видавничий дім "Академперіодика" НАН України Доповіді НАН України Інформатика та кібернетика Formal methods of parallel software design automation Формальні методи автоматизації проектування паралельних програм Формальные методы автоматизации проектирования параллельных программ Article published earlier |
| spellingShingle | Formal methods of parallel software design automation Doroshenko, A.Yu. Yatsenko, O.A. Інформатика та кібернетика |
| title | Formal methods of parallel software design automation |
| title_alt | Формальні методи автоматизації проектування паралельних програм Формальные методы автоматизации проектирования параллельных программ |
| title_full | Formal methods of parallel software design automation |
| title_fullStr | Formal methods of parallel software design automation |
| title_full_unstemmed | Formal methods of parallel software design automation |
| title_short | Formal methods of parallel software design automation |
| title_sort | formal methods of parallel software design automation |
| topic | Інформатика та кібернетика |
| topic_facet | Інформатика та кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/170619 |
| work_keys_str_mv | AT doroshenkoayu formalmethodsofparallelsoftwaredesignautomation AT yatsenkooa formalmethodsofparallelsoftwaredesignautomation AT doroshenkoayu formalʹnímetodiavtomatizacííproektuvannâparalelʹnihprogram AT yatsenkooa formalʹnímetodiavtomatizacííproektuvannâparalelʹnihprogram AT doroshenkoayu formalʹnyemetodyavtomatizaciiproektirovaniâparallelʹnyhprogramm AT yatsenkooa formalʹnyemetodyavtomatizaciiproektirovaniâparallelʹnyhprogramm |