Loading...
Please wait, while we are loading the content...
Similar Documents
Development of software fault-tolerance techniques
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Melliar-Smith, P. M. |
| Copyright Year | 1983 |
| Description | As computers become more widely used, and in particular as they become used in more safety critical applications, the reliability of the computer system and its software becomes more important. There is also an increasing need for high levels of reliability in applications involving very large numbers of inexpensive units where recall of the units would be disproportionately expensive. The nature of faults and the assumptions made by different approaches to correct operation are considered. The recovery block approach is described and a probabilistic analysis of its effectiveness, with and without correlated design errors is provided. Mechanisms for generating acceptance tests from specifications, and for providing recovery in the presence of asynchrony, are described. An analysis of, and design for, the provision of recovery blocks in the microprogram of the Bendix BDX930 processor is provided. An example of the use of recovery blocks in a simple operating system is also provided. |
| File Size | 2289127 |
| Page Count | 67 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19830021781 |
| Archival Resource Key | ark:/13960/t25b4xz12 |
| Language | English |
| Publisher Date | 1983-06-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Reliability Engineering Fault Tolerance Computer Systems Programs Operating Systems Computers Computer Systems Performance Microprogramming Ntrs Nasa Technical Reports ServerĀ (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |