Технологія семантико-числової верифікації часопараметризованих паралельних програм для інформаційних і управляючих систем
DOI:
https://doi.org/10.26565/2304-6201-2022-55-03Ключові слова:
технології паралельного програмування, паралельні обчислювальні системи, часопараметризована мультипаралельна програма, модель технології верифікації, технологія семантико-числової верифікаціїАнотація
У статті проведено аналіз останніх досягнень та публікацій з використання часопараметризованих мультипаралельних програм у сфері високоефективних інформаційних технологій та інформаційних і керуючих систем. Об'єктом дослідження є методи автоматичного програмування часопараметризованих мультипаралельних програм, які можуть обробляти великі обсяги даних за короткий час. Стаття передбачає визначення часопараметризованих мультипаралельних програм як конструкцій, що відповідають специфікації об’єктів даних, операцій/функцій, статичних зв’язків, впорядкованості операцій/функцій у динаміці паралельного обчислювального процесу, розділення на часові фрагменти, розбиття команд на підмножини та інформацію про фізичні величини. даних.
Предметом дослідження є ефективність використання технологій верифікації часопараметризованих мультипаралельних програм, зокрема застосування формату структури семантико-числової специфікації, що дозволяє формалізувати та автоматизувати процес верифікації. Розроблена технологія семантико-числової верифікації часопараметризованих паралельних програм для інформаційних і управляючих систем забезпечує перевірку синтаксичної та часової коректності формального синтезу структур семантико-числової специфікації.
У статті також представлена концептуальна модель технології верифікації часопараметризованих паралельних програм для інформаційних і керуючих систем. Основою для підтримки автоматичного характеру верифікації є формовані на всіх етапах синтезу структури семантико-числової специфікації. Формальний характер процесів верифікації часопараметризованих мультипаралельних програм заснований на побудові їх математичних моделей у термінах теорії множин. Робота сприятиме подальшому розвитку досліджень у сфері часопараметризованих мультипаралельних програм та забезпечення.
Посилання
Semerenko V.P. Technologies of parallel computing: study guide. Vinnytsia: VNTU, 2018. 104p. [in Ukrainian].
Kuzma K.T., Melnyk O.V. Parallel and distributed computing: a textbook for higher education institutions. Mykolaiv: FOP Shvets V. M., 2020. 172 p. [in Ukrainian].
Kotsovsky V. M. The theory of parallel computing: a textbook. Uzhhorod: PE "AUTDOR-Shark", 2021. 188 p. [in Ukrainian].
Dorogy Y.Yu., Tsurkan V.V. Review of methods of verification of parameterized models. Collection of scientific works of the Admiral Makarov National Shipbuilding University. Mykolaiv: NUK, 2020. No. 1 (479). P. 82–90. [in Ukrainian] URL: http://eir.nuos.edu.ua/handle/123456789/3802. (Last accessed: 28.11.2022).
Tolstoluzkyi, Y., Berdnikov, A., Budko, V., Tolstoluzhskaya, E., & Moroz, O. (2021). Development and verification of SCS network planning model. Bulletin of V.N. Karazin Kharkiv National University, Series «Mathematical Modeling. Information Technology. Automated Control Systems», 51, Р. 81–86. [in Ukrainian] URL: https://doi.org/10.26565/2304-6201-2021-51-09 (Last accessed: 23.10.2022).
Moroz, O., & Tolstoluzka, O. (2021). Using the methods of formal synthesis and verification of parallel time-parameterized models for solving the system of linear equations by Gaussian elimination. Bulletin of V.N. Karazin Kharkiv National University, Series «Mathematical Modeling. Information Technology. Automated Control Systems», 52, Р.52–70. [in Ukrainian] URL: https://doi.org/10.26565/2304-6201-2021-52-07. (Last accessed: 20.11.2022).
