• DocumentCode
    2674374
  • Title

    Benchmarking operating system dependability: Windows 2000 as a case study

  • Author

    Kalakech, Ali ; Jarboui, Tahar ; Arlat, Jean ; Crouzet, Yves ; Kanoun, Karama

  • Author_Institution
    Lab. d´´Autom. et d´´Anal. des Syst., CNRS, Toulouse, France
  • fYear
    2004
  • fDate
    3-5 March 2004
  • Firstpage
    261
  • Lastpage
    270
  • Abstract
    We propose a dependability benchmark suitable for a general purpose operating system (OS). The specifications of the benchmark components are presented and illustrated on a benchmark prototype dedicated to Windows 2000. The important novelty, as regards OS dependability benchmarking, is threefold. First, it lies on a comprehensive and structured set of measures: outcomes are considered both at the OS level and at the application level. Second, these measures include not only robustness measures (e.g., the distribution among the observed outcomes for the OS and the application: error codes, exceptions, workload correct or erroneous completion, OS and application hang), but also the related temporal measures in the presence of faults (e.g., system call and workload execution times, as well as operating system restart time). Finally, we are considering a realistic workload (namely, TPC-C client), instead of a synthetic workload.
  • Keywords
    benchmark testing; fault tolerant computing; formal specification; operating systems (computers); software reliability; user interfaces; Windows 2000; application level; benchmark component specifications; benchmark prototype; operating system dependability benchmarking; realistic workload; Application software; Computer aided software engineering; Computer industry; Councils; Error correction codes; Open source software; Operating systems; Prototypes; Robustness; Time measurement;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Dependable Computing, 2004. Proceedings. 10th IEEE Pacific Rim International Symposium on
  • Print_ISBN
    0-7695-2076-6
  • Type

    conf

  • DOI
    10.1109/PRDC.2004.1276576
  • Filename
    1276576