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