Establishing linux driver verification process

Alexey Khoroshilov, Vadim Mutilin, Alexander Petrenko, Vladimir E Zakharov

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

16 Citations (Scopus)

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
Volume5947 LNCS
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

Fingerprint

Linux
Driver
Repository
Line
Launching
Maintenance
Fault
Adjacent
kernel

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Khoroshilov, A., Mutilin, V., Petrenko, A., & Zakharov, V. E. (2010). Establishing linux driver verification process. In Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers (Vol. 5947 LNCS, 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

Establishing linux driver verification process. / Khoroshilov, Alexey; Mutilin, Vadim; Petrenko, Alexander; Zakharov, Vladimir E.

Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers. Vol. 5947 LNCS 2010. p. 165-176 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5947 LNCS).

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

Khoroshilov, A, Mutilin, V, Petrenko, A & Zakharov, VE 2010, Establishing linux driver verification process. in Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers. vol. 5947 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5947 LNCS, pp. 165-176, 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, Novosibirsk, Russian Federation, 6/15/09. https://doi.org/10.1007/978-3-642-11486-1_14
Khoroshilov A, Mutilin V, Petrenko A, Zakharov VE. Establishing linux driver verification process. In Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers. Vol. 5947 LNCS. 2010. p. 165-176. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-11486-1_14
Khoroshilov, Alexey ; Mutilin, Vadim ; Petrenko, Alexander ; Zakharov, Vladimir E. / Establishing linux driver verification process. Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers. Vol. 5947 LNCS 2010. pp. 165-176 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{b5fcccd6ddcb49db9e583b022f7f8f60,
title = "Establishing linux driver verification process",
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.",
author = "Alexey Khoroshilov and Vadim Mutilin and Alexander Petrenko and Zakharov, {Vladimir E}",
year = "2010",
month = "4",
day = "26",
doi = "10.1007/978-3-642-11486-1_14",
language = "English (US)",
isbn = "3642114857",
volume = "5947 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "165--176",
booktitle = "Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers",

}

TY - GEN

T1 - Establishing linux driver verification process

AU - Khoroshilov, Alexey

AU - Mutilin, Vadim

AU - Petrenko, Alexander

AU - Zakharov, Vladimir E

PY - 2010/4/26

Y1 - 2010/4/26

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77951111841&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77951111841&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-11486-1_14

DO - 10.1007/978-3-642-11486-1_14

M3 - Conference contribution

AN - SCOPUS:77951111841

SN - 3642114857

SN - 9783642114854

VL - 5947 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 165

EP - 176

BT - Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers

ER -