High-confidence operating systems

Radu Grosu; Erez Zadok; Scott A. Smolka; Rance Cleaveland; Yanhong A. Liu

doi:10.1145/1133373.1133415

High-confidence operating systems

Radu Grosu
, Erez Zadok
, Scott A. Smolka
, Rance Cleaveland
, Yanhong A. Liu

Computer Science

Stony Brook University

Research output: Contribution to conference › Paper › peer-review

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.

Original language	English
Pages	205-208
Number of pages	4
DOIs	https://doi.org/10.1145/1133373.1133415
State	Published - 2002
Event	10th Workshop on ACM SIGOPS European Workshop, EW 10 - Saint-Emilion, France Duration: Jul 1 2002 → Jul 1 2002

Conference

Conference	10th Workshop on ACM SIGOPS European Workshop, EW 10
Country/Territory	France
City	Saint-Emilion
Period	07/1/02 → 07/1/02

Access to Document

10.1145/1133373.1133415

Cite this

@conference{978d8e0bac904b75bb6c3d44327aeeff,

title = "High-confidence operating systems",

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.",

author = "Radu Grosu and Erez Zadok and Smolka, \{Scott A.\} and Rance Cleaveland and Liu, \{Yanhong A.\}",

year = "2002",

doi = "10.1145/1133373.1133415",

language = "English",

pages = "205--208",

note = "10th Workshop on ACM SIGOPS European Workshop, EW 10 ; Conference date: 01-07-2002 Through 01-07-2002",

}

TY - CONF

T1 - High-confidence operating systems

AU - Grosu, Radu

AU - Zadok, Erez

AU - Smolka, Scott A.

AU - Cleaveland, Rance

AU - Liu, Yanhong A.

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/77954479356

U2 - 10.1145/1133373.1133415

DO - 10.1145/1133373.1133415

M3 - Paper

AN - SCOPUS:77954479356

SP - 205

EP - 208

T2 - 10th Workshop on ACM SIGOPS European Workshop, EW 10

Y2 - 1 July 2002 through 1 July 2002

ER -

High-confidence operating systems

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this