Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels

Drebes, Roberto Jung; Nanya, Takashi

doi:10.1109/edcc.2010.29

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2011

Publication Types

Select...

Book1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These studies found that OSs are more prone to failures in case of device driver faults than application faults, since developers tend to omit checks in the device driver interface to improve performance, and because they trust device drivers more than applications. Other works assessed the robustness of OSs with respect to hardware faults (e.g., CPU or disk faults), by corrupting code and data [13][14][15] [16]. Similarly to system call testing, these approaches either rely on a representative workload for exercising the system, or neglect the system state.…”

Section: Related Workmentioning

confidence: 99%

A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain

Cotroneo

Leo

Natella

et al. 2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

This paper investigates the impact of state on robustness testing, by enhancing the traditional approach with the inclusion of the OS state in test cases definition. We evaluate the relevance of OS state and the effects of the proposed strategy through an experimental campaign on the file system of a Linux-based OS, to be adopted by Finmeccanica for safety-critical systems in the avionic domain. Results show that the OS state plays an important role in testing those corner cases not covered by traditional robustness testing

show abstract

Section: Related Workmentioning

confidence: 99%