УДК 004.4
МЕТОДИ МОДЕЛЮВАННЯ І ВЕРИФІКАЦІЇ ДЛЯ ПРОЄКТУВАННЯ
ЗАСТОСУНКІВ У ГЕТЕРОГЕННИХ АРХІТЕКТУРАХ
Анотація. Запропоновано методологію проєктування застосунків для систем із масовим паралелізмом на прикладі GPGPU-систем, орієнтовану на алгоритмічний етап проєктування. Розглянуто два етапи проєктування: створення формальної специфікації та її дослідження і верифікація. Для першого етапу запропоновано використання математичних апаратів системи алгоритмічних алгебр/модифікованої системи алгоритмічних алгебр та транзиційних систем. Для другого етапу проаналізовано використання мережевих та автоматних моделей і наведено переваги кожної моделі. Зокрема, проведено дослідження моделі обчислень в архітектурі NVIDIA CUDA за допомогою мереж Петрі, а також формул лінійно-темпоральної логіки та автоматної моделі.
Ключові слова: транзиційні системи, системи алгоритмічних алгебр, GPGPU-системи, мережі Петрі.
ПОВНИЙ ТЕКСТ
Погорілий Сергій Дем’янович,
доктор техн. наук, професор, завідувач кафедри Київського національного університету імені Тараса Шевченка,
sdp@univ.net.ua
Слинько Максим Сергійович,
аспірант Київського національного університету імені Тараса Шевченка, maxim.slinko@gmail.com
СПИСОК ЛІТЕРАТУРИ
- Погорілий С.Д., Кривий С.Л., Слинько М.С. Проектування та модельне обгрунтування застосувань на основі відеоадаптерів. Управляющие системы и машины. 2018. № 4. С. 46–56. https://doi.org/ 10.15407/usim.2018.04.0046.
- Kryvyi S., Porogilyy S., Slynko M. Transition systems as method of designing applications in GPGPU technology. Problems in Programming. 2018. N 2–3. P. 12–20.
- Anisimov A.V., Pogorilyy S.D., Vitel D.Yu. About the issue of algorithms formalized design for parallel computer architectures. Applied and Computational Mathematics. 2013. Vol. 12, N 2. P. 140–151.
- Погорілий С.Д., Мар’яновський В.А., Бойко Ю.В., Верещинський О.А. Дослідження паралельних схем алгоритму Данцига для обчислювальних систем зі спільною пам’яттю. Математичні машини і системи. 2009. № 4. C. 27–37.
- Pogorilyy S.D., Slynko M.S. Research and development of Johnson’s algorithm parallel schemes in GPGPU technology. Problems in Programming. 2016. N 2–3. P. 105–112.
- Pogorilyy S.D., Shkulipa I.Yu. A conception for creating a system of parametric design of parallel algorithms and their software implementations. Cybernetics and Systems Analysis. 2009. Vol. 45, N 6. P. 952–958.
- Dijkstra E.W., Buxton J.N., Randell B. Software engineering techniques. Report on a Conference Sponsored by the NATO Science Committee. (27–31 October 1969, Rome, Italy). Rome, Italy, 1969. P. 16.
- Бойко Ю.В., Кривий С.Л., Погорілий С.Д. та ін. Методи та новітні підходи до проектування, управління і застосування високопродуктивних ІТ-інфраструктур. Київ: ВПЦ «Київський університет», 2016. 447 с.
- Albert E., Lanese I. Formal techniques for distributed objects, components, and systems. Proc. 36th IFIP WG 6.1 International Conference, FORTE 2016, held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, (June 6–9, 2016, Heraklion, Crete, Greece). Heraklion, Crete, Greece, 2016. 275 p.
