Главная страница « Спецсеминары «

ВЕРИФИКАЦИЯ ДРАЙВЕРОВ Linux

Заинтересовались? Напишите нам: Хорошилов Алексей khoroshilov@ispras.ru

Драйвер – это программа на Си без функции main, в которой есть обработчики событий от аппаратуры. Мы занимаемся описанием того, по каким правилам должен работать драйвер, а также разработкой собственно инструментов верификации драйверов.

Сейчас нам интересны такие исследования:

1. Масштабируемость верификации;

2. Распараллеливание верификации;

3. Расширение набора правил, по которым должны работать драйверы;

4. Качество анализа драйверов.

Присоединяйтесь!