Establishing linux driver verification process

Alexey Khoroshilov; Vadim Mutilin; Alexander Petrenko; Vladimir Zakharov

doi:10.1007/978-3-642-11486-1_14

Establishing linux driver verification process

Alexey Khoroshilov, Vadim Mutilin, Alexander Petrenko, Vladimir Zakharov

Mathematics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

29 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 language	English (US)
Title of host publication	Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers
Pages	165-176
Number of pages	12
DOIs	https://doi.org/10.1007/978-3-642-11486-1_14
State	Published - 2010
Event	7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009 - Novosibirsk, Russian Federation Duration: Jun 15 2009 → Jun 19 2009

Publication series

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

Other

Other	7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009
Country/Territory	Russian Federation
City	Novosibirsk
Period	6/15/09 → 6/19/09

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

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

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

Establishing linux driver verification process. / Khoroshilov, Alexey; Mutilin, Vadim; Petrenko, Alexander et al.
Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers. 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 proceeding › Conference contribution

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. 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 V. Establishing linux driver verification process. In Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers. 2010. p. 165-176. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-11486-1_14

Khoroshilov, Alexey ; Mutilin, Vadim ; Petrenko, Alexander et al. / Establishing linux driver verification process. Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers. 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 Vladimir Zakharov",

year = "2010",

doi = "10.1007/978-3-642-11486-1_14",

language = "English (US)",

isbn = "3642114857",

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",

note = "7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009 ; Conference date: 15-06-2009 Through 19-06-2009",

}

TY - GEN

T1 - Establishing linux driver verification process

AU - Khoroshilov, Alexey

AU - Mutilin, Vadim

AU - Petrenko, Alexander

AU - Zakharov, Vladimir

PY - 2010

Y1 - 2010

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

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

T2 - 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009

Y2 - 15 June 2009 through 19 June 2009

ER -

Establishing linux driver verification process

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this