Профессор Австрийского института науки и техники в Клостернойбурге Кришненду Чаттерджи получил 1,2 млн евро от Европейского совета по исследованиям и 200 тыс. долл. от Microsoft на продолжение исследований в области игровых моделей, предназначенных для синтеза корректно работающих систем. Группа Чаттерджи изучает применение теории игр к системам автоматизированной верификации. Сейчас исследователи занимаются играми, проводимыми на графах, с целью создания автоматизированных инструментов, помогающих в разработке реагирующих программных систем, в частности операционных. Цель исследования – выработать новые методы верификации таких систем. Обычно ОС для верификации моделируются в виде графов, на которых проводятся специальные игры. Сам Чаттерджи сравнивает такие игры с шахматами: вершины графов представляют собой состояния системы (позиции фигур на шахматной доске), а ребра – действия игроков (ходы). Задача разработчиков – обеспечить корректное поведение системы при любых действиях игроков-пользователей. Microsoft, как создателя операционных систем, заинтересовала работа Чаттерджи. Его команда будет сотрудничать с исследователями корпорации, работающими в США и Индии.

Поделитесь материалом с коллегами и друзьями

Купить номер с этой статьей в PDF