Establishing linux driver verification process

Alexey Khoroshilov, Vadim Mutilin, Alexander Petrenko, Vladimir Zakharov

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

25 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
Title of host publicationPerspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Revised Papers
Pages165-176
Number of pages12
DOIs
Publication statusPublished - 2010
Externally publishedYes
Event7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009 - Novosibirsk, Russian Federation
Duration: 15 Jun 200919 Jun 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

Conference

Conference7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009
Country/TerritoryRussian Federation
CityNovosibirsk
Period15/06/0919/06/09

Fingerprint

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

Cite this