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

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

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