Технологія семантико-числової верифікації часопараметризованих паралельних програм для інформаційних і управляючих систем

Анотація

У статті проведено аналіз останніх досягнень та публікацій з використання часопараметризованих мультипаралельних програм у сфері високоефективних інформаційних технологій та інформаційних і керуючих систем.  Об'єктом дослідження є методи автоматичного програмування часопараметризованих мультипаралельних програм, які можуть обробляти великі обсяги даних за короткий час. Стаття передбачає визначення часопараметризованих мультипаралельних програм як конструкцій, що відповідають специфікації об’єктів даних, операцій/функцій, статичних зв’язків, впорядкованості операцій/функцій у динаміці паралельного обчислювального процесу, розділення на часові фрагменти, розбиття команд на підмножини та інформацію про фізичні величини. даних.

Предметом дослідження є ефективність використання технологій верифікації часопараметризованих мультипаралельних програм, зокрема застосування формату структури семантико-числової специфікації, що дозволяє формалізувати та автоматизувати процес верифікації. Розроблена технологія семантико-числової верифікації часопараметризованих паралельних програм для інформаційних і управляючих систем забезпечує перевірку синтаксичної та часової коректності формального синтезу структур семантико-числової специфікації.

У статті також представлена концептуальна модель технології верифікації часопараметризованих паралельних програм для інформаційних і керуючих систем. Основою для підтримки автоматичного характеру верифікації є формовані на всіх етапах синтезу структури семантико-числової специфікації. Формальний характер процесів верифікації часопараметризованих мультипаралельних програм заснований на побудові їх математичних моделей у термінах теорії множин. Робота  сприятиме подальшому розвитку досліджень у сфері часопараметризованих мультипаралельних програм та забезпечення.