loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth IEEE International Conference on Complex Computer Systems (ICECCS'00)
Dependability Engineering of Complex Computing Systems
Tokyo, Japan
September 11-September 15
ISBN: 0-7695-0583-X
M. Kaaniche, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
J.-C. Laprie, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
J.-P. Blanquart, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
Abstract: The 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.
Index Terms:
software reliability; dependability engineering; complex computing systems; development model; dependable systems; system creation process; classical development steps; dependability processes; fault prevention; fault tolerance; fault removal; fault forecasting; supporting processes; quality assurance; certification; system creation activity; checklist
Citation:
M. Kaaniche, J.-C. Laprie, J.-P. Blanquart, "Dependability Engineering of Complex Computing Systems," iceccs, pp.0036, Sixth IEEE International Conference on Complex Computer Systems (ICECCS'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.