Операционные системы, микроядерные операционные системы, тестирование программно-аппаратных систем, основанное на формальных моделях.