A framework for dependability engineering of critical computing systems
| Autor: | Jean-Paul Blanquart, Jean-Claude Laprie, Mohamed Kaâniche |
|---|---|
| Rok vydání: | 2002 |
| Předmět: |
Engineering
business.industry Process (engineering) Public Health Environmental and Occupational Health Poison control Fault tolerance Certification Fault (power engineering) Identification (information) Systems engineering Dependability Safety Risk Reliability and Quality business Safety Research Quality assurance |
| Zdroj: | Safety Science. 40:731-752 |
| ISSN: | 0925-7535 |
| DOI: | 10.1016/s0925-7535(01)00083-2 |
| Popis: | 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 that need to be addressed with respect to each dependability process. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect