Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Avizienis, A. Building Dependable Systems: How to Keep Up with Complexity. in 25th International Symposium on Fault-Tolerant Computing (FTCS-25)-Special Issue. Pasadena, CA, USA, IEEE Computer Society Press (1995), 4–14.
Boehm, B.W., A Spiral Model of Software Development and Enhancement. IEEE Computer, 21(5) (1988), 61–72.
BSI, Reliability of Constructed or Manufactured Products, Systems, Equipment and Components, Part 1. Guide to Reliability and Maintainability Programme Management, 1985, British Standard Institution.
FTCS-25, Proc. 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25). Special Issue. 1995. Pasadena, CA, USA: IEEE Computer Society Press.
Laprie, J.-C. Software-based Critical Systems. in 15th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP’96). Vienna, Austria: Springer. (1996), 157–170
Laprie, J.-C. Dependability of Computer Systems: from Concepts to Limits. in 1998 IFIP Int. Workshop on Dependable Computing and Its Applications (DCIA98). 1998. Johannesburg, South Africa (1998), 108–126.
Laprie, J.-C., et al., Dependability Handbook. 1995–96, Toulouse, France: Cèpaduès. (in French)
Powell, D. Failure Mode Assumptions and Assumption Coverage. in 22nd IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-22). Boston, MA, USA: IEEE Computer Society Press (1992).
Royce, W.W. Managing the Development of Large Software Systems: Concepts and Techniques. in WESCON (1970).
RTCA/EUROCAE, Software Considerations in Airborne Systems and Equipment Certification, Report nº. 591-91/SC167-164, DO 178B.5, 1991, RTCA/EUROCAE.
Siewiorek, D.P. and R.S. Swarz, Reliable Computer Systems — Design and Evaluation. Bedford, MA, USA: Digital Press (1992).
Yount, C.R. and D.P. Siewiorek, A Methodology for the Rapid Injection of Transient Hardware Errors. IEEE Transactions on Computers, 45(8) (1996), 881–891.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kaaniche, M., Laprie, JC., Blanquart, JP. (2000). A Dependability-Explicit Model for the Development of Computing Systems. In: Koornneef, F., van der Meulen, M. (eds) Computer Safety, Reliability and Security. SAFECOMP 2000. Lecture Notes in Computer Science, vol 1943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40891-6_10
Download citation
DOI: https://doi.org/10.1007/3-540-40891-6_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41186-4
Online ISBN: 978-3-540-40891-8
eBook Packages: Springer Book Archive