{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:18:52Z","timestamp":1743023932636,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242694"},{"type":"electronic","value":"9783642242700"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24270-0_16","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T10:51:44Z","timestamp":1315392704000},"page":"213-227","source":"Crossref","is-referenced-by-count":6,"title":["A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Cotroneo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domenico","family":"Di Leo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Natella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Pietrantuono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Koopman, P., DeVale, J.: The exception handling effectiveness of POSIX operating systems. IEEE Trans. on Software Engineering\u00a026(9) (2002)","DOI":"10.1109\/32.877845"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Koopman, P., Sung, J., Dingman, C., Siewiorek, D., Marz, T.: Comparing operating systems using robustness benchmarks. In: SRDS (1997)","DOI":"10.1109\/RELDIS.1997.632800"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Sullivan, M., Chillarege, R.: Software Defects and their Impact on System Availability-A Study of Field Failures in Operating Systems. In: FTCS (1991)","DOI":"10.1109\/FTCS.1991.146625"},{"key":"16_CR4","unstructured":"RTCA Inc., Software considerations in airborne systems and equipment certification, RTCA DO-178B, EUROCAEED-12B (1992)"},{"key":"16_CR5","unstructured":"IEEE Standard for Information Technology-Portable Operating System Interface (POSIX). IEEE Std 1003.1b-1993, IEEE CS (1994)"},{"key":"16_CR6","unstructured":"Kanoun, K., Crouzet, Y., Kalakech, A., Rugina, A.-E., Rumeau, P.: Benchmarking the Dependability of Windows and Linux using PostMarkTM Workloads. In: ISSRE (2005)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Kalakech, A., Kanoun, K., Crouzet, Y., Arlat, J.: Benchmarking The Dependability of Windows NT4, 2000 and XP. In: DSN (2004)","DOI":"10.1109\/DSN.2004.1311938"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Cotroneo, D., Natella, R., Pietrantuono, R., Russo, S.: Software Aging Analysis of the Linux Operating System. In: ISSRE (2010)","DOI":"10.1109\/ISSRE.2010.24"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Chou, A., Yang, J., Chelf, B., Hallem, S., Engler, D.: An empirical study of operating systems errors. In: SOSP (2001)","DOI":"10.21236\/ADA419594"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Albinet, A., Arlat, J., Fabre, J.C.: Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel. In: DSN (2004)","DOI":"10.1109\/DSN.2004.1311957"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Johansson, A., Suri, N., Murphy, B.: On the selection of error model(s) for OS robustness evaluation. In: DSN (2007)","DOI":"10.1109\/DSN.2007.71"},{"key":"16_CR12","unstructured":"Duraes, J., Madeira, H.: Multidimensional characterization of the impact of faulty drivers on the operating systems behavior. IEICE Trans. on Information and Systems\u00a086(12) (2003)"},{"key":"16_CR13","unstructured":"Gu, W., Kalbarczyk, Z., Iyer, R.K., Yang, Z.: Characterization of Linux kernel behavior under errors. In: DSN (2003)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Skarin, D., Barbosa, R., Karlsson, J.: GOOFI-2: A tool for experimental dependability assessment. In: DSN (2010)","DOI":"10.1109\/DSN.2010.5544265"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Bairavasundaram, L.N., Rungta, M., Agrawa, N., Arpaci-Dusseau, A.C., Arpaci-Dusseau, R.H., Swift, M.M.: Analyzing the effects of disk-pointer corruption. In: DSN (2008)","DOI":"10.1109\/DSN.2008.4630121"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Dreges, R.J., Nanya, T.: Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels. In: EDCC (2010)","DOI":"10.1109\/EDCC.2010.29"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Johansson, A., Suri, N., Murphy, B.: On the impact of injection triggers for OS robustness evaluation. In: ISSRE (2007)","DOI":"10.1109\/ISSRE.2007.23"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Sarbu, C., Johansson, A., Suri, N., Nagappan, N.: Profiling the operational behavior of OS device drivers. Empirical Soft. Eng.\u00a015(4) (2009)","DOI":"10.1007\/s10664-009-9122-z"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Prabhakaran, V., Arpaci-Dusseau, A.C., Arpaci-Dusseau, R.H.: Model-based failure analysis of journaling file systems. In: DSN (2005)","DOI":"10.1109\/DSN.2005.65"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24270-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T22:50:16Z","timestamp":1560552616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24270-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242694","9783642242700"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24270-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}