Reliable computer systems (2nd ed.): design and evaluation
Reliable computer systems (2nd ed.): design and evaluation
A Methodology for the Rapid Injection of Transient Hardware Errors
IEEE Transactions on Computers
Building dependable systems: how to keep up with complexity
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
| Hi-index | 0.00 |
This paper presents a development model focused on the production of dependable systems. Three classes of processes are distinguished: 1) the system creation process which builds on the classical development steps (requirements, design, realization, integration); 2) dependability processes (i.e., fault prevention, fault tolerance, fault removal and fault forecasting); and 3) other supporting processes such as quality assurance and certification. The proposed approach relies on the identification of basic activities for the system creation process and for the dependability processes, and then on the analysis of the interactions among the activities of each process and with the other processes. Finally, to support the development of dependable systems, we define for each system creation activity, a checklist that specifies the key issues related to fault prevention, fault tolerance, fault removal, and fault forecasting, that need to be addressed.