УДК 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.
