Анотація. Запропоновано розвиток алгеброалгоритмічної методології та інструментарію для автоматизованого проектування і генерації програм для графічних прискорювачів. Особливістю підходу є застосування високорівневих специфікацій, поданих в алгебрі алгоритмів, а також використання методу, який забезпечує синтаксичну правильність проектованих алгоритмів та програм. Підхід реалізовано в інструментальній системі, призначеній для діалогового конструювання схем алгоритмів і генерації програм. Застосування інструментарію проілюстровано на прикладі розробки паралельної програми для задачі з області метеорології.
Ключові слова: алгебра алгоритмів, автоматизація проектування і генерації програм, графічні прискорювачі, паралельне програмування, схема алгоритму.
Андон Филипп Илларионович,
академик НАН Украины, директор Института программных систем НАН Украины, Киев,
e-mail: andon@isofts.kiev.ua.
Дорошенко Анатолий Ефимович,
доктор физ.-¬мат. наук, профессор, заведующий отделом Ин¬сти¬тута программных систем НАН Украины, Киев,
e-mail: anatoliy.doroshenko@gmail.com.
Бекетов Алексей Геннадиевич,
аспирант Института программных систем НАН Украины, Киев,
e-mail: beketov.oleksii@gmail.com.
Иовчев Владимир Александрович,
младший научный сотрудник Института программных систем НАН Украины, Киев,
e-mail: iovchev.v@gmail.com.
Яценко Елена Анатольевна,
кандидат физ.-мат. наук, старший научный сотрудник Института программных систем НАН Украины, Киев,
e-mail: oayat@ukr.net.