{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:30:51Z","timestamp":1729665051713,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/dsn.2011.5958255","type":"proceedings-article","created":{"date-parts":[[2011,7,21]],"date-time":"2011-07-21T11:17:24Z","timestamp":1311247044000},"page":"422-429","source":"Crossref","is-referenced-by-count":4,"title":["Toward dependability benchmarking of partitioning operating systems"],"prefix":"10.1109","author":[{"given":"Raul","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Johan","family":"Karlsson","sequence":"additional","affiliation":[]},{"given":"Qiu","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Xiaozhen","family":"Mao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"255","article-title":"Dependability Benchmarking for Computer Systems","author":"costa","year":"2008","journal-title":"ch DeBERT - Dependability Benchmarking for Embedded Real-time Off-the-Shelf Components for Space Applications"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311938"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311956"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2003.1209922"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2010.11"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2010.13"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1994.315625"},{"key":"ref18","first-page":"23","article-title":"Non intrusive software-implemented fault injection in embedded systems","volume":"2847","author":"yuste","year":"2003","journal-title":"Proceedings of the First Latin-American Symposium on Dependable Computing (LADC 2003) ser Lecture Note s in Computer Science"},{"key":"ref4","first-page":"201","article-title":"Dependability Benchmarking for Computer Systems","author":"koopman","year":"2008","journal-title":"ch Interface Robustness Testing Experience and Lessons Learned from the Ballista Project"},{"key":"ref3","first-page":"342","article-title":"A comparison of partitioning operating systems for integrated systems","volume":"4680","author":"leiner","year":"2007","journal-title":"Computer Safety Reliability and Security 26th International Conference SAFECOMP 2007"},{"key":"ref6","first-page":"311","article-title":"Dependability Benchmarking for Computer Systems","author":"iyer","year":"2008","journal-title":"ch Benchmarking the Operating Systems Against Faults Impacting Operating System Functions"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311957"},{"key":"ref8","article-title":"Experiences from verifying a partitioning kernel using fault injection","author":"barbosa","year":"2009","journal-title":"12th European Workshop on Dependable Computing (EWDC 2009)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2010.5544265"},{"key":"ref2","article-title":"Partitioning in avionics architectures: Requirements, mechanisms, and assurance","author":"rushby","year":"1999","journal-title":"NASA Langley Research Center Tech Rep NASAICR-1999–209347"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/9780470370506"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1201\/9781482295603","author":"labrosse","year":"2002","journal-title":"MicroCIOS-II The Real-Time Kernel"}],"event":{"name":"Networks (DSN)","start":{"date-parts":[[2011,6,27]]},"location":"Hong Kong, China","end":{"date-parts":[[2011,6,30]]}},"container-title":["2011 IEEE\/IFIP 41st International Conference on Dependable Systems & Networks (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5949577\/5958196\/05958255.pdf?arnumber=5958255","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T01:19:10Z","timestamp":1560388750000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5958255\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/dsn.2011.5958255","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}