Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - Error propagation profiling of operating systems
AU - Johansson, A.
AU - Suri, Neeraj
PY - 2005/6/28
Y1 - 2005/6/28
N2 - An Operating System (OS) constitutes a fundamental software (SW) component of a computing system. The robustness of its operations, or lack thereof, strongly influences the robustness of the entire system. Targeting enhancement of robustness at the OS level via use of add-on SW wrappers, this paper presents an error propagation profiling framework that assists in a) systematic identification and location of design and operational vulnerabilities, and b) quantification of their potential impact. Focusing on data (value) errors occurring in OS drivers, a set of measures is presented that aids a designer to locate such vulnerabilities, either on an OS service (system call) basis or a per driver basis. A case study and associated experimental process, using Windows CE. Net, is presented outlining the utility of our proposed approach. © zoos IEEE.
AB - An Operating System (OS) constitutes a fundamental software (SW) component of a computing system. The robustness of its operations, or lack thereof, strongly influences the robustness of the entire system. Targeting enhancement of robustness at the OS level via use of add-on SW wrappers, this paper presents an error propagation profiling framework that assists in a) systematic identification and location of design and operational vulnerabilities, and b) quantification of their potential impact. Focusing on data (value) errors occurring in OS drivers, a set of measures is presented that aids a designer to locate such vulnerabilities, either on an OS service (system call) basis or a per driver basis. A case study and associated experimental process, using Windows CE. Net, is presented outlining the utility of our proposed approach. © zoos IEEE.
KW - Data errors
KW - Error propagation profiling
KW - Operational vulnerabilities
KW - Systematic identification
KW - Computer software
KW - Error analysis
KW - Identification (control systems)
KW - Computer operating systems
U2 - 10.1109/DSN.2005.45
DO - 10.1109/DSN.2005.45
M3 - Conference contribution/Paper
SN - 0769522823
SP - 86
EP - 95
BT - 2005 International Conference on Dependable Systems and Networks (DSN'05)
PB - IEEE
ER -