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

• Published in: Кибернетика и системный анализ
• Date: 2020
• Main Authors: Погорілий, С.Д., Слинько, М.С.
• Format: Article
• Language: Ukrainian
• Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2020
• Subjects: Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/190444
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах / С.Д. Погорілий, М.С. Слинько // Кибернетика и системный анализ. — 2020. — Т. 56, № 4. — С. 196–202. — Бібліогр.: 9 назв. — укр.

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