Informatique sûre de fonctionnement : Défis et solutions

Journal Europeen des Systemes Automatises

Volumn 30, Issue 10, 1996, Pages 1433-1465

  Arlat, Jean ^a  

^a LAAS CNRS   (France)

Author keywords

Assessment; Computer systems; Dependability; Fault tolerance

Indexed keywords

EID: 2842602429     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. [Abraham 1995] J.A. Abraham, "Challenges in Fault Detection", Proc. 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25). Special Issue, pp. 96-114, Pasadena, CA, USA, IEEE Computer Society Press, 1995.
2. [Arlat 1988] J. Arlat, "Méthodes et outils pour l'évaluation de la sûreté de fonctionnement des systèmes informatiques tolérant les fautes", Tech. et Sc. Informatiques, Vol. 7, no. 4, pp. 345-357, 1988.
3. [Arlat 1992] J. Arlat, "Fault Injection for the Experimental Validation of Fault-Tolerant Systems", Proc. Workshop Fault-Tolerant Systems, pp. 33-40, Kyoto, Japan, IEICE, Tokyo, Japan, 1992.
4. [Arlat et al. 1990] J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fahre, J.-C. Laprie, E. Martins, D. Powell, "Fault Injection for Dependability Validation - A Methodology and Some Applications", IEEE Trans. on Software Engineering, Vol. 16, no. 2, pp. 166-182, 1990. (Special Section on Experimental Computer Science).
5. [Arlat et al. 1993] J. Arlat, A. Costes, Y. Crouzet, J.-C. Laprie, D. Powell, "Fault Injection and Dependability Evaluation of Fault-Tolerant Systems", IEEE Trans. on Computers, Vol. 42, no. 8, pp. 913-923, 1993.
6. [Arnold 1972] T.F. Arnold, "The Concept of Coverage and its Effect on the Reliability Model of a Repairable System", Proc. 2nd Int. Symp. on Fault-Tolerant Computing (FTCS-2), pp. 200-204, Newton, MA, USA, IEEE Computer Society Press, 1972.
7. [Avizienis 1995] A. Avizienis, "Building Dependable Systems: How to Keep Up with Complexity", Proc. 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25). Special Issue, pp. 4-14, Pasadena, CA, USA, IEEE Computer Society Press, 1995.
8. [Avresky et al. 1996] D. Avresky, J. Arlat, J.-C. Laprie, Y. Crouzet, "Fault Injection for the Formal Testing of Fault Tolerance", IEEE Trans. on Reliability, Vol. June, pp. 345-354, 1996. (A paraître - version préliminaire publiée dans Proc. 22nd Int. Symp. on Fault-Tolerant Computing (FTCS-22), pp. 345-354, Boston, MA, USA, IEEE Computer Society Press, 1992).
9. [Avresky et al. 1996] D. Avresky, J. Arlat, J.-C. Laprie, Y. Crouzet, "Fault Injection for the Formal Testing of Fault Tolerance", IEEE Trans. on Reliability, Vol. June, pp. 345-354, 1996. (A paraître - version préliminaire publiée dans Proc. 22nd Int. Symp. on Fault-Tolerant Computing (FTCS-22), pp. 345-354, Boston, MA, USA, IEEE Computer Society Press, 1992).
10. [Béounes et al. 1994] C. Béounes, Y. Deswarte, J.-C. Fabre, P. Thévenod-Fosse, Coexistence de programmes de niveaux de criticité différents, Rapport LAAS no. 94-515, 1994.
11. [Bernstein & Kim 1994] M.M. Bernstein, C. Kim, "AOS: An Avionics Operating System for Multi-level Secure Real-time Environments", Proc. 10th Annual Computer Security Appl. Conf. (ACSAC'94), pp. 236-245, Orlando, FL, USA, IEEE Computer Society Press, 1994.
12. [Boeing 1996] Statistical Summary of Commercial Jet Aircraft Accidents, Boeing Commercial Aircraft Group, Seattle, USA, 1996.
13. [Bouricius et al. 1969] W.G. Bouricius, W.C. Carter, P.R. Schneider, "Reliability Modeling Techniques for Self-Repairing Computer Systems". Proc. 24th. National Conference, pp. 295-309, ACM Press, 1969.
14. [Brière & Traverse 1993] D. Brière, P. Traverse, "AIRBUS A320/A330/A340 Electrical Flight Controls - A Family of Fault-Tolerant Systems", Proc. 23rd Int. Symp. on Fault-Tolerant Computing (FTCS-23), pp. 616-623, Toulouse, France, IEEE Computer Society Press, 1993.
15. [Rabéjac et al. 1996] C. Rabéjac, J.-P. Blanquart, J.-P. Queille, "Executable Assertions and Timed Traces for On-Line Software Error Detection", Proc. 26th Int. Symp. on Fault-Tolerant Computing (FTCS-26), pp. 138-147, Sendai, Japan, IEEE Computer Society Press, 1996.
16. [Reisinger et al. 1995] J. Reisinger, A. Steininger, G. Leber, "The PDCS Implementation of MARS Hardware and Software", dans Predictably Dependable Computing Systems, (B. Randell, J.-C. Laprie, H. Kopetz, B. Littlewood, Éds.), pp. 209-224, Berlin, Germany, Springer-Verlag, 1995.
17. [Schuette & Shen 1987] M.A. Schuette, J.P. Shen, "Processor Control Flow Monitoring Using Signatured Instruction Streams", IEEE Trans. on Computers, Vol. 36, no. 3, pp. 264-276, 1987.
18. [Siewiorek 1995] D.P. Siewiorek, "Niche Successes to Ubiquitous Invisibility: Fault-Tolerant Computing Past, Present, and Future", Proc. 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25). Special Issue, pp. 26-33, Pasadena, CA, USA, IEEE Computer Society Press, 1995.
19. [Siewiorek & Johnson 1982] D.P. Siewiorek, D. Johnson, "A Design Methodology for High Reliability Systems: The Intel 432", dans The Theory and Practice of Reliable System Design, (D. P. Siewiorek, R. S. Swarz, Éds.), pp. 621-636, Bedford, MA, USA, Digital Press, 1982.
20. [Siewiorek & Swarz 1992] D.P. Siewiorek, R.S. Swarz, Reliable Computer Systems Design and Evaluation. Bedford, MA, USA, Digital Press, 1992.
21. [Thévenod-Fosse & Waeselynck 1991] P. Thévenod-Fosse, H. Waeselynck, "An Investigation of Statistical Software Testing", Journal of Software Testing Verification and Reliability, Vol. 1, no. 2, pp. 5-25, 1991.
22. [Vardanega et al. 1995] T. Vardanega, P. David, J.-F. Chane, W. Mader, R. Messaros, J. Arlat, "On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection", Proc. 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25), pp. 510-515, Pasadena, CA, USA, IEEE Computer Society Press, 1995.