{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T19:03:53Z","timestamp":1745003033655,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664833"},{"type":"electronic","value":"9783540482543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48254-7_11","type":"book-chapter","created":{"date-parts":[[2007,11,6]],"date-time":"2007-11-06T22:45:26Z","timestamp":1194389126000},"page":"143-160","source":"Crossref","is-referenced-by-count":31,"title":["MAFALDA: Microkernel Assessment by Fault Injection and Design Aid"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Rodr\u00edguez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Salles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Charles","family":"Fabre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Arlat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,24]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"P. Koopman, J. Sung, C. Dingman, D. Siewiorek and T. Marz, \u201cComparing Operating Systems using Robustness Benchmarks\u201d, in Proc. 16th IEEE Symp. on Reliable Distributed Systems, Durham, NC, USA, 1997, pp. 72\u201379.","DOI":"10.1109\/RELDIS.1997.632800"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/2.683008","volume":"31","author":"J. Voas","year":"1998","unstructured":"J. Voas, \u201cCertifying Off-The-Shelf Software Components\u201d, Computer, vol. 31, pp. 53\u201359, June 1998.","journal-title":"Computer"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1109\/32.256857","volume":"19","author":"W. Kao","year":"1993","unstructured":"W. Kao, R. K. Iyer and D. Tang, \u201cFINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults\u201d, IEEE Transactions on Software Engineering, vol. 19, pp. 1105\u20131118, 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"P. Koopman and J. DeVale, \u201cComparing the Robustness of POSIX Operating Systems\u201d, in 29th IEEE Int. Symp. on Fault-Tolerant Computing, Madison, WI, USA, 1999, pp. 30\u201337.","DOI":"10.1109\/FTCS.1999.781031"},{"key":"11_CR5","unstructured":"J.-C. Fabre, F. Salles, M. Rodr\u00edguez and J. Arlat, \u201cAssessment of COTS Microkernels by Fault Injection\u201d, in Proc. 7th Dependable Computing for Critical Applications, San Jose, CA, USA, 1999, pp. 19\u201338."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"F. Salles, M. Rodr\u00edguez, J.-C. Fabre and J. Arlat, \u201cMetaKernel anf Fault Containment Wrappers\u201d, in 29th IEEE Int. Symp. on Fault-Tolerant Computing, Madison, WI, USA, 1999, pp. 22\u201329.","DOI":"10.1109\/FTCS.1999.781030"},{"key":"11_CR7","unstructured":"Chorus, \u201cChorus\/ClassiX r3-Technical Overview\u201d, no. Technical Report CS\/TR-96-119.8, Chorus systems, 1996."},{"key":"11_CR8","unstructured":"Chorus, \u201cChorus\/ClassiX r3.1b for ix86-Product Description\u201d, no. Technical Report CS\/TR-96-221.1, Chorus systems, 1996."},{"key":"11_CR9","unstructured":"VxWorks, \u201cVxWorks Realtime Kernel\u201d, WindRiver Systems, (see http:\/\/www.wrs.com\/products\/html\/vxwks52.html ), 1998."},{"key":"11_CR10","unstructured":"D. Hildebrand, \u201cAn Architectural overview of QNX\u201d, in 1st Work. on Micro-Kernels and Other Kernel Architectures, Seattle, WA, USA, 1992, pp. 113\u2013126."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"A. Mahmood, D. M. Andrews and E. J. McCluskey, \u201cExecutable Assertions and Flight Software\u201d, in Proc. 6th Digital Avionics Systems Conf., Baltimore, Maryland, USA, 1984, pp. 346\u2013351.","DOI":"10.2514\/6.1984-2726"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"C. Rab\u00e9jac, J.-P. Blanquart and J.-P. Queille, \u201cExecutable Assertions and Timed Traces for On-Line Software Error Detection\u201d, in Proc. 26th Int. Symp. on Fault-Tolerant Computing, Sendai, Japan, 1996, pp. 138\u2013147.","DOI":"10.1109\/FTCS.1996.534602"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"G. A. Kanawati, N. A. Kanawati and J. A. Abraham, \u201cEMAX: An automatic Extractor of High-Level Error Models\u201d, in Computing Aerospace Conff., San Diego, CA, USA, 1993, pp. 1297\u20131306.","DOI":"10.2514\/6.1993-4698"},{"key":"11_CR14","unstructured":"E. Czeck, \u201cEstimates of the Abilities of Software-Implemented Fault Injection to Represent Gate-Level Faults\u201d, in Int. Work. on Fault and Error Injection for Dependability Validation of Computer Systems, Gothemburg, Sweden, 1993."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"M. Rim\u00e9n, I. Ohlsson and J. Torin, \u201cOn Microprocessor Error Behavior Modeling\u201d, in 24th Int. Symp. on Fault Tolerant Computing, Austin, Texas, USA, 1994, pp. 76\u201385.","DOI":"10.1109\/FTCS.1994.315655"},{"key":"11_CR16","unstructured":"E. Fuchs, \u201cValidating the Fail-Silent Assumption of the MARS Architecture\u201d, in proc. 6th Dependable Computing for Critical Applications, Garmisch-Partenkirchen, Germany, 1998, pp. 225\u2013247."},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/32.666826","volume":"24","author":"J. Carreira","year":"1998","unstructured":"J. Carreira, H. Madeira and J. G. Silva, \u201cXception: A Technique for the Experimental Evaluation of Dependability in Modern Computers\u201d, IEEE Transactions on Software Engineering, vol. 24, pp. 125\u2013136, February 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"F. Salles, J. Arlat and J. C. Fabre, \u201cCan We Rely on COTS Microkernels for Building Fault-Tolerant Systems?\u201d, in Proc. 6th Future Trends of Distributing Computing Systems, Tunis, Tunisia, 1997, pp. 189\u2013194.","DOI":"10.1109\/FTDCS.1997.644723"},{"key":"11_CR19","unstructured":"ARINC-653, \u201cAvionics Application Software Standard Interface (ARINC 653)\u201d, ARINC Working Group, (see http:\/\/www.arinc.com\/home.html )."}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-3"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48254-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T03:58:36Z","timestamp":1737518316000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48254-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664833","9783540482543"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48254-7_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}