A Dependability-Explicit Model for the Development of Computing Systems

摘要: This paper presents a development model focused on the production of dependable systems. Three classes processes are distinguished: 1) system creation process which builds classical steps (requirements, design, realization, integration); 2) dependability (i.e., fault prevention, tolerance, removal and forecasting); 3) other supporting such as quality assurance certification. The proposed approach relies identification basic activities for processes, then analysis interactions among each with processes. Finally, to support systems, we define activity, checklist that specifies key issues related removal, forecasting, need be addressed.