Sciweavers

FTCS
1998
77views more  FTCS 1998»
14 years 25 days ago
Strong Partitioning Protocol for a Multiprocessor VME System
The trend in implementing today's embedded applications is toward the use of commercial-off-the-shelf open architecture. Reducing costs and facilitating systems integration a...
Mohamed F. Younis, Jeffrey X. Zhou, Mohamed Abouta...
FTCS
1998
79views more  FTCS 1998»
14 years 25 days ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
FTCS
1998
84views more  FTCS 1998»
14 years 25 days ago
On the Use of Formal Techniques for Validation
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
Neeraj Suri, Purnendu Sinha
FTCS
1998
70views more  FTCS 1998»
14 years 25 days ago
G4: A Fault-Tolerant CMOS Mainframe
Lisa Spainhower, Thomas A. Gregg
FTCS
1998
83views more  FTCS 1998»
14 years 25 days ago
The SunSCALR Framework for Internet Servers
Internet servers need to be highly-available, inexpensive, and scalable. These goals are often con icting and most designs meet, with limited success, only few of them. In this pa...
Ashish Singhai, Swee Boon Lim, Sanjay R. Radia
FTCS
1998
144views more  FTCS 1998»
14 years 25 days ago
Improving Software Robustness with Dependability Cases
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
Roy A. Maxion, Robert T. Olszewski
FTCS
1998
75views more  FTCS 1998»
14 years 25 days ago
Automated Robustness Testing of Off-the-Shelf Software Components
Nathan P. Kropp, Philip J. Koopman Jr., Daniel P. ...
FTCS
1998
114views more  FTCS 1998»
14 years 25 days ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...