Etalonnage de la sûreté de fonctionnement des systèmes d'exploitation. Spécifications et mise en oeuvre

Doctoral thesis French OPEN
Kalakech, Ali;
(2005)
  • Publisher: HAL CCSD
  • Subject: [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] | Injection de fautes | Operating systems | Robustness | Systèmes d'exploitation | Dependability Benchmarking | Robustesse | Systèmes informatiques | Analyse de performance – Robustesse. | [ INFO.INFO-NI ] Computer Science [cs]/Networking and Internet Architecture [cs.NI] | Etalonnage de sûreté de fonctionnement | Étalonnage de sûreté de fonctionnement | Systèmes d’exploitation | Fault injection | Performance analysis | Analyse de performance
    • ddc: ddc:004

Les développeurs des systèmes informatiques, y compris critiques, font souvent appel à des systèmes d’exploitation sur étagère. Cependant, un mauvais fonctionnement d’un système d’exploitation peut avoir un fort impact sur la sûreté de fonctionnement du système global, ... View more
  • References (32)
    32 references, page 1 of 4

    1.2 Notions de sûreté de fonctionnement informatique .......................................................10 1.2.1 Concepts de sûreté de fonctionnement informatique.............................................10 1.4 Les systèmes d'exploitation............................................................................................19 1.4.2 Classification des systèmes d'exploitation.............................................................21 1.5 Caractérisation des systèmes d'exploitation ..................................................................24 2.2 Etalons de sûreté de fonctionnement existants...............................................................33 2.3 Cadre conceptuel pour l'étalonnage de la sûreté de fonctionnement............................37 [Fabre 1999] J.-C. Fabre, F. Salles, M. Rodríguez moreno et J. Arlat, “Assessment of COTS Microkernels by Fault Injection”, dans Proc. 7th IFIP Working Conf. on Dependable Computing for Critical Applications, (C. B. Weinstock and J. Rushby, Eds.), (CA, USA), pp.25-44, Janvier 1999.

    [Forrester 2000] J.E. Forrester et B.P. Miller, “An Empirical Study of the Robustness of Windows NT Applications Using Random Testing”, dans Proc. 4th USENIX Windows System Symposium, (Seattle, WA, USA), Août 2000.

    [Fuchs 1996] E. Fuchs, “An Evaluation of the error Detection Mechanisms in MARS Using Software Implemented Fault Injection”, dans European Dependable Computing Conf.

    (EDCC), (Toarmina, Italy), pp.73-90, 1996.

    [Gray 1990] J. Gray, “A Census of Tandem System Availability Between 1985 and 1990”, IEEE Transactions on Reliability, Volume R-39 (4), pp.409-418, 1990.

    [Gray 1993] J. Gray (Ed.), "The Benchmark Handbook for Database and Transaction Processing Systems", 592p., Morgan Kaufmann Publishers, San Francisco, CA, USA, 1993.

    [Gunneflo 1989] U. Gunneflo, J. Karlsson et J. Torin, “Evaluation of Error Detection Schemes Using Fault Injection by Heavy-ion Radiation”, dans 19th Symposium on FaultTolerant Computing (FTCS-16), (Chicago, USA), pp.138-143, Juin 1989.

    [Hildebrand 1992] D. Hildebrand, “An Architectural Overview of QNX”, dans Proc. of the USENIX Workshop on Micro-kernels and Other Kernel Architectures, (Seattle, WA, USA), pp.113-126, Avril 1992.

    [Hunt 1999] G. Hunt et D. Brubaher, “Detours: Binary Interception of Win32 Functions”, dans 3rd USENIX Windows NT Symposium, ( Seattle, Washington, USA), pp.135-144, 1999.

    [Ibm 1990] Ibm, AIX version 3.1 for RISC System / 6000: general concepts and procedures, IBM, Technical Report, 1990.

  • Related Research Results (1)
  • Metrics
Share - Bookmark