Dependable Systems

THIS PAGE IS NO LONGER MAINTAINED

My Pages:

• ERIS: Embedded Reliable Information Systems Laboratory
• Ballista: Hardening Off-The-Shelf Software
  • Testing & hardening COTS/legacy software modules
  • Benchmarking Real Time Operating System Robustness
• RoSES: Robust Self-configuring Embedded Systems
  • Graceful degradation
  • Automatic incorporation of new technology and heterogeneous spare parts
• Amaranth: Probabilistic network Quality of Service for multimedia

• Topics in Dependable Embedded Systems (43 original papers and presentations)
• Affordable Dependability overview
• The Exception Handling Effectiveness of POSIX Operating Systems, IEEE Transactions on Software Engineering, Vol. 26, No. 9, September 2000.
• The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing, HASE '99
• Robustness Testing of a Distributed Simulation Backplane, ISSRE 99
• Comparing the Robustness of POSIX Operating Systems, FTCS 1999
• The Ballista Software Robustness Testing Service, TCS '99
• A Dimensionality Model Approach to Testing and Improving Software Robustness, ATC '99
• Toward a Scalable Method for Quantifying Aspects of Fault Tolerance, Software Assurance, and Computer Security CSDA '98
• Automated Robustness Testing of Off-the-Shelf Software Components, FTCS, 1998
• Comparing Operating Systems using Robustness Benchmarks, SRDS, 1997

• M.S. Thesis: Kim Fernsler, Robustness Testing of A Distributed Simulation Backplane, 1999
• M.S. Thesis: John DeVale, Measuring Operating System Robustness, 1998
• M.S. Thesis: Nathan Kropp, Automatic Robustness Testing of Off-the-Shelf Software Components, 1998

Pointers:

• The links page in my Robust Embedded Systems web site
• Dependable WAV sound archive

News Groups:

• comp.software.testing, and its FAQ
• comp.risks and its archive

NEXT PAGE

Philip Koopman: