A dependability-explicit model for the development of computing systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1943, Issue , 2000, Pages 107-116

  Kaâniche, Mohamed ^a   Laprie, Jean Claude ^a   Blanquart, Jean Paul ^b  

^a LAAS CNRS   (France)

^b AIRBUS DEFENCE AND SPACE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE;

COMPUTING SYSTEM; CREATION PROCESS; DEPENDABLE SYSTEMS; DEVELOPMENT MODEL; EXPLICIT MODELING; FAULT FORECASTING; FAULT PREVENTION; FAULT REMOVAL;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 84957026111     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40891-6_10     Document Type: Conference Paper

References (12)

1. 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.
2. Boehm, B.W., A Spiral Model of Software Development and Enhancement. IEEE Computer, 21(5) (1988), 61-72.
3. BSI, Reliability of Constructed or Manufactured Products, Systems, Equipment and Components, Part 1. Guide to Reliability and Maintainability Programme Management, 1985, British Standard Institution.
4. FTCS-25, Proc. 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25). Special Issue. 1995. Pasadena, CA, USA: IEEE Computer Society Press.
5. 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
6. 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.
7. Laprie, J.-C., et al., Dependability Handbook. 1995-96, Toulouse, France: Cépaduès. (in French)
8. 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).
9. Royce, W.W. Managing the Development of Large Software Systems: Concepts and Techniques. in WESCON(1970).
10. RTCA/EUROCAE, Software Considerations in Airborne Systems and Equipment Certification, Report n°. 591-91/SC167-164, DO 178B.5, 1991, RTCA/EUROCAE.
11. Siewiorek, D.P. and R.S. Swarz, Reliable Computer Systems - Design and Evaluation. Bedford, MA, USA: Digital Press (1992).
12. 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