Establishing linux driver verification process

Alexey Khoroshilov, Vadim Mutilin, Alexander Petrenko, Vladimir Zakharov

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

17 Scopus citations

Abstract

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
Pages165-176
Number of pages12
DOIs
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

Other

Other7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009
CountryRussian Federation
CityNovosibirsk
Period6/15/096/19/09

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

  • Cite this

    Khoroshilov, A., Mutilin, V., Petrenko, A., & Zakharov, V. (2010). Establishing linux driver verification process. In Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers (pp. 165-176). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5947 LNCS). https://doi.org/10.1007/978-3-642-11486-1_14