Establishing linux driver verification process

Alexey Khoroshilov, Vadim Mutilin, Alexander Petrenko, Vladimir Zakharov

Research output: Chapter in Book/Report/Conference proceedingConference contribution

21 Scopus citations


This paper presents an initiative program aimed at enhancing Linux device driver designing and maintenance by launching a long-term process that will attend the OS kernel development. This process includes two adjacent lines of activity: 1) creation and replenishment of a repository of potential faults and errors that may occur in Linux device drivers, and 2) development and improvement of special-purpose verification tools for automatic detection of all errors specified in repository. We describe in some details both lines of activity, present an architecture of a perspective verification toolset, compare our project with similar work, and finally discuss the current state of art in Linux device driver verification.

Original languageEnglish (US)
Title of host publicationPerspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers
Number of pages12
StatePublished - Apr 26 2010
Externally publishedYes
Event7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009 - Novosibirsk, Russian Federation
Duration: Jun 15 2009Jun 19 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5947 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009
Country/TerritoryRussian Federation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Establishing linux driver verification process'. Together they form a unique fingerprint.

Cite this