|
Published Articles >> Table of Contents >> Abstract
2005 International Conference on Dependable Systems and Networks (DSN'05)
pp. 2-11
Assured Reconfiguration of Fail-Stop Systems
Elisabeth A. Strunk, University of Virginia
John C. Knight, University of Virginia
M. Anthony Aiello, University of Virginia
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DSN.2005.22
Send link to a friend
| Abstract |
|
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon our previous work on assured reconfiguration for single processes and building upon the fail-stop model of processor behavior, we define a framework that provides assured reconfiguration for concurrent software. This framework can provide high dependability with lower space, power, and weight requirements than systems that replicate hardware to mask all anticipated faults. We base our assurance argument on a proof structure that extends the proofs for the single-application case and includes the fail-stop model of processor behavior. To assess the feasibility of instantiating our framework, we have implemented a hypothetical avionics system that is representative of what might be found on an unmanned aerial vehicle.
|
 Additional Information
|
Citation:
Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello,
"Assured Reconfiguration of Fail-Stop Systems,"
dsn,
pp. 2-11,
2005 International Conference on Dependable Systems and Networks (DSN'05),
2005
|
|
