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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-11486-1_14 | Ershov Memorial Conference |
Field | DocType | Volume |
Architecture,Computer science,Application programming interface,Os kernel,Operating system,Embedded system | Conference | 5947 |
ISSN | ISBN | Citations |
0302-9743 | 3-642-11485-7 | 9 |
PageRank | References | Authors |
0.70 | 12 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexey V. Khoroshilov | 1 | 24 | 3.32 |
Vadim Mutilin | 2 | 32 | 5.26 |
Alexander Petrenko | 3 | 27 | 2.35 |
Vladimir Zakharov | 4 | 9 | 0.70 |