Home > Research > Publications & Outputs > Error propagation profiling of operating systems

Links

Text available via DOI:

View graph of relations

Error propagation profiling of operating systems

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Publication date28/06/2005
Host publication2005 International Conference on Dependable Systems and Networks (DSN'05)
PublisherIEEE
Pages86-95
Number of pages10
ISBN (print)0769522823
<mark>Original language</mark>English

Abstract

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.