@inproceedings{kalakech_benchmarking_2004-1,
	title = {Benchmarking operating system dependability: {Windows} 2000 as a case study},
	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.},
	booktitle = {Proc. of the 10th {IEEE} {Pacific} {Rim} {Int}'l {Symp}. on {Dependable} {Computing}},
	author = {Kalakech, A and Jarboui, T. and Arlat, J. and Crouzet, Y. and Kanoun, K.},
	month = mar,
	year = {2004},
	keywords = {Application software, Benchmark testing, Computer aided software engineering, Computer industry, Councils, Error correction codes, Open source software, Operating systems, Prototypes, Time measurement, Windows 2000, application level, benchmark component specifications, benchmark prototype, fI\_results\_workload\_syscall\_error, fault tolerant computing, fi\_binary, fi\_dbench, fi\_num\_faults\_less\_500, fi\_os, fi\_results\_crash, fi\_results\_hang, fi\_results\_workload\_error, fi\_robusteness, fi\_windows, formal specification, operating system dependability benchmarking, operating systems (computers), realistic workload, robustness, software reliability, user interfaces},
	pages = {261--270}
}

{"_id":"qADLbDhQ8t4Dwkuei","bibbaseid":"kalakech-jarboui-arlat-crouzet-kanoun-benchmarkingoperatingsystemdependabilitywindows2000asacasestudy-2004","downloads":0,"creationDate":"2016-10-15T13:23:23.360Z","title":"Benchmarking operating system dependability: Windows 2000 as a case study","author_short":["Kalakech, A","Jarboui, T.","Arlat, J.","Crouzet, Y.","Kanoun, K."],"year":2004,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/pentarious","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Benchmarking operating system dependability: Windows 2000 as a case study","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.","booktitle":"Proc. of the 10th IEEE Pacific Rim Int'l Symp. on Dependable Computing","author":[{"propositions":[],"lastnames":["Kalakech"],"firstnames":["A"],"suffixes":[]},{"propositions":[],"lastnames":["Jarboui"],"firstnames":["T."],"suffixes":[]},{"propositions":[],"lastnames":["Arlat"],"firstnames":["J."],"suffixes":[]},{"propositions":[],"lastnames":["Crouzet"],"firstnames":["Y."],"suffixes":[]},{"propositions":[],"lastnames":["Kanoun"],"firstnames":["K."],"suffixes":[]}],"month":"March","year":"2004","keywords":"Application software, Benchmark testing, Computer aided software engineering, Computer industry, Councils, Error correction codes, Open source software, Operating systems, Prototypes, Time measurement, Windows 2000, application level, benchmark component specifications, benchmark prototype, fI_results_workload_syscall_error, fault tolerant computing, fi_binary, fi_dbench, fi_num_faults_less_500, fi_os, fi_results_crash, fi_results_hang, fi_results_workload_error, fi_robusteness, fi_windows, formal specification, operating system dependability benchmarking, operating systems (computers), realistic workload, robustness, software reliability, user interfaces","pages":"261--270","bibtex":"@inproceedings{kalakech_benchmarking_2004-1,\n\ttitle = {Benchmarking operating system dependability: {Windows} 2000 as a case study},\n\tabstract = {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.},\n\tbooktitle = {Proc. of the 10th {IEEE} {Pacific} {Rim} {Int}'l {Symp}. on {Dependable} {Computing}},\n\tauthor = {Kalakech, A and Jarboui, T. and Arlat, J. and Crouzet, Y. and Kanoun, K.},\n\tmonth = mar,\n\tyear = {2004},\n\tkeywords = {Application software, Benchmark testing, Computer aided software engineering, Computer industry, Councils, Error correction codes, Open source software, Operating systems, Prototypes, Time measurement, Windows 2000, application level, benchmark component specifications, benchmark prototype, fI\\_results\\_workload\\_syscall\\_error, fault tolerant computing, fi\\_binary, fi\\_dbench, fi\\_num\\_faults\\_less\\_500, fi\\_os, fi\\_results\\_crash, fi\\_results\\_hang, fi\\_results\\_workload\\_error, fi\\_robusteness, fi\\_windows, formal specification, operating system dependability benchmarking, operating systems (computers), realistic workload, robustness, software reliability, user interfaces},\n\tpages = {261--270}\n}\n\n","author_short":["Kalakech, A","Jarboui, T.","Arlat, J.","Crouzet, Y.","Kanoun, K."],"key":"kalakech_benchmarking_2004-1","id":"kalakech_benchmarking_2004-1","bibbaseid":"kalakech-jarboui-arlat-crouzet-kanoun-benchmarkingoperatingsystemdependabilitywindows2000asacasestudy-2004","role":"author","urls":{},"keyword":["Application software","Benchmark testing","Computer aided software engineering","Computer industry","Councils","Error correction codes","Open source software","Operating systems","Prototypes","Time measurement","Windows 2000","application level","benchmark component specifications","benchmark prototype","fI_results_workload_syscall_error","fault tolerant computing","fi_binary","fi_dbench","fi_num_faults_less_500","fi_os","fi_results_crash","fi_results_hang","fi_results_workload_error","fi_robusteness","fi_windows","formal specification","operating system dependability benchmarking","operating systems (computers)","realistic workload","robustness","software reliability","user interfaces"],"downloads":0},"search_terms":["benchmarking","operating","system","dependability","windows","2000","case","study","kalakech","jarboui","arlat","crouzet","kanoun"],"keywords":["application software","benchmark testing","computer aided software engineering","computer industry","councils","error correction codes","open source software","operating systems","prototypes","time measurement","windows 2000","application level","benchmark component specifications","benchmark prototype","fi_results_workload_syscall_error","fault tolerant computing","fi_binary","fi_dbench","fi_num_faults_less_500","fi_os","fi_results_crash","fi_results_hang","fi_results_workload_error","fi_robusteness","fi_windows","formal specification","operating system dependability benchmarking","operating systems (computers)","realistic workload","robustness","software reliability","user interfaces"],"authorIDs":[],"dataSources":["QiRZ7m7shEMvADZkd"]}