High-confidence operating systems

Authors:
Radu Grosu;Erez Zadok;Scott A. Smolka;Rance Cleaveland;Yanhong A. Liu
Affiliations:
Stony Brook University;Stony Brook University;Stony Brook University;Stony Brook University;Stony Brook University
Venue:
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Year:
2002

Citing 6
Cited 0

Eraser: a dynamic data race detector for multithreaded programs

ACM Transactions on Computer Systems (TOCS)
Bandera: extracting finite-state models from Java source code

Proceedings of the 22nd international conference on Software engineering
Automatic predicate abstraction of C programs

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Bugs as deviant behavior: a general approach to inferring errors in systems code

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
Efficient Reachability Analysis of Hierarchical Reactive Machines

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Automated Software Engineering Using Concurrent Class Machines

Proceedings of the 16th IEEE international conference on Automated software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Operating systems (OSs) are among the most sophisticated software systems in widespread use, and among the most expensive and time-consuming to develop and maintain. OS software must also be robust and dependable, since OS failures can result in system crashes that corrupt user data, endanger human lives (cf. embedded systems), or provide open avenues of attack for hackers or even cyber-terrorists.