Заинтересовались?
Напишите нам:
Хорошилов Алексей
khoroshilov@ispras.ru
Драйвер это программа на Си без функции main, в которой есть обработчики событий от аппаратуры. Мы занимаемся описанием того, по каким правилам должен работать драйвер, а также разработкой собственно инструментов верификации драйверов.
Сейчас нам интересны такие исследования:
Масштабируемость верификации;
Распараллеливание верификации;
Расширение набора правил, по которым должны работать драйверы;