{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T11:01:03Z","timestamp":1768820463804,"version":"3.49.0"},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2010,12,1]],"date-time":"2010-12-01T00:00:00Z","timestamp":1291161600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2010,12]]},"abstract":"<jats:p>The design of complex embedded systems deployed in safety-critical or mission-critical applications mandates the availability of methods to validate the system dependability across the whole design flow. In this article we introduce a fault injection approach, based on loadable kernel modules and running under the Linux operating system, which can be adopted as soon as a running prototype of the systems is available. Moreover, for the purpose of decoupling dependability analysis from hardware availability, we also propose the adoption of hardware virtualization. Extensive experimental results show that statistical analysis made on top of virtual prototypes are in good agreement with the information disclosed by fault detection trends of real platforms, even under real-time constraints.<\/jats:p>","DOI":"10.1145\/1880050.1880060","type":"journal-article","created":{"date-parts":[[2011,1,5]],"date-time":"2011-01-05T16:59:17Z","timestamp":1294246757000},"page":"1-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Boosting software fault injection for dependability analysis of real-time embedded applications"],"prefix":"10.1145","volume":"10","author":[{"given":"Gianpiero","family":"Cabodi","sequence":"first","affiliation":[{"name":"Politecnico di Torino, Torino, Italy"}]},{"given":"Marco","family":"Murciano","sequence":"additional","affiliation":[{"name":"Politecnico di Torino, Torino, Italy"}]},{"given":"Massimo","family":"Violante","sequence":"additional","affiliation":[{"name":"Politecnico di Torino, Torino, Italy"}]}],"member":"320","published-online":{"date-parts":[[2011,1,7]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the 15th International Symposium on Defect and Fault Tolerance in VLSI Systems. IEEE","author":"Antoni L.","unstructured":"Antoni , L. , Leveugle , R. , and Feh\u00e9r , B . 2000. Using runtime reconfiguration for fault injection in hardware prototypes . In Proceedings of the 15th International Symposium on Defect and Fault Tolerance in VLSI Systems. IEEE , Los Alamitos, CA, 405--413. Antoni, L., Leveugle, R., and Feh\u00e9r, B. 2000. Using runtime reconfiguration for fault injection in hardware prototypes. In Proceedings of the 15th International Symposium on Defect and Fault Tolerance in VLSI Systems. IEEE, Los Alamitos, CA, 405--413."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/647833.737991"},{"key":"e_1_2_1_3_1","volume-title":"USENIX Annual Technical Conference Reports. USENIX","author":"Ballard F.","year":"2005","unstructured":"Ballard , F. 2005 . QEMU, a Fast and Portable Dynamic Translator . In USENIX Annual Technical Conference Reports. USENIX , Berkeley, CA. Ballard, F. 2005. QEMU, a Fast and Portable Dynamic Translator. In USENIX Annual Technical Conference Reports. USENIX, Berkeley, CA."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDMR.2005.853449"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 28th Annual International Symposium on Fault Tolerant Computing. IEEE","author":"Boue J.","unstructured":"Boue , J. , Petillon , P. , and Crouzet , Y . 1998. MEFISTO-L: A VHDL-based fault injection tool for the experimental assessment of fault tolerance . In Proceedings of the 28th Annual International Symposium on Fault Tolerant Computing. IEEE , Los Alamitos, CA, 168--173. Boue, J., Petillon, P., and Crouzet, Y. 1998. MEFISTO-L: A VHDL-based fault injection tool for the experimental assessment of fault tolerance. In Proceedings of the 28th Annual International Symposium on Fault Tolerant Computing. IEEE, Los Alamitos, CA, 168--173."},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 5th International Working Conference on Dependable Computing for Critical Applications. IEEE","author":"Carreira J.","unstructured":"Carreira , J. , Madeira , H. , and Silva , J . 1995. Xception: Software fault injection and Monitoring in Processor Functional Units . In Proceedings of the 5th International Working Conference on Dependable Computing for Critical Applications. IEEE , Los Alamitos, CA, 135--149. Carreira, J., Madeira, H., and Silva, J. 1995. Xception: Software fault injection and Monitoring in Processor Functional Units. In Proceedings of the 5th International Working Conference on Dependable Computing for Critical Applications. IEEE, Los Alamitos, CA, 135--149."},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the 16th International Symposium on Defect and Fault Tolerance in VLSI Systems. IEEE","author":"Civera P. L.","unstructured":"Civera , P. L. , Macchiarulo , L. , Rebaudengo , M. , Reorda , M. S. , and Violante , M . 2001. Exploiting FPGA-based Techniques for Fault Injection Campaigns on VLSI Circuits . In Proceedings of the 16th International Symposium on Defect and Fault Tolerance in VLSI Systems. IEEE , Los Alamitos, CA, 250--258. Civera, P. L., Macchiarulo, L., Rebaudengo, M., Reorda, M. S., and Violante, M. 2001. Exploiting FPGA-based Techniques for Fault Injection Campaigns on VLSI Circuits. In Proceedings of the 16th International Symposium on Defect and Fault Tolerance in VLSI Systems. IEEE, Los Alamitos, CA, 250--258."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647883.738252"},{"key":"e_1_2_1_9_1","unstructured":"Cormen T. H. Leiserson C. E. Rivest R. L. and Stein C. 2001. Introduction to Algorithms 2nd ed. MIT Press Cambridge MA.   Cormen T. H. Leiserson C. E. Rivest R. L. and Stein C. 2001. Introduction to Algorithms 2nd ed. MIT Press Cambridge MA."},{"key":"e_1_2_1_10_1","series-title":"Lecture Notes in Computer Science","volume-title":"Plug and play fault injector for dependability benchmarking","author":"Costa P.","unstructured":"Costa , P. , Vieira , M. , Madeira , H. , and Gabriel Silva , J. 2003. Plug and play fault injector for dependability benchmarking . In Lecture Notes in Computer Science , vol. 2847 . Springer-Verlag , Berlin , 8--22. Costa, P., Vieira, M., Madeira, H., and Gabriel Silva, J. 2003. Plug and play fault injector for dependability benchmarking. In Lecture Notes in Computer Science, vol. 2847. Springer-Verlag, Berlin, 8--22."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1404371.1404388"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 28th Annual International Symposium on Fault Tolerant Computing. IEEE","author":"Folkesson P.","unstructured":"Folkesson , P. , Svensson , S. , and Karlsson , J . 1998. A comparison of simulation-based and scan chain implemented fault injection . In Proceedings of the 28th Annual International Symposium on Fault Tolerant Computing. IEEE , Los Alamitos, CA, 284--293. Folkesson, P., Svensson, S., and Karlsson, J. 1998. A comparison of simulation-based and scan chain implemented fault injection. In Proceedings of the 28th Annual International Symposium on Fault Tolerant Computing. IEEE, Los Alamitos, CA, 284--293."},{"key":"e_1_2_1_14_1","volume-title":"Programming for the Real World","author":"Gallmeister B.","unstructured":"Gallmeister , B. 1995. POSIX.4 : Programming for the Real World . O'Reilly Media , Newton, MA . Gallmeister, B. 1995. POSIX.4: Programming for the Real World. O'Reilly Media, Newton, MA."},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the IEEE 4th Annual Workshop on Workload Characterization. IEEE","author":"Gautus M. R.","unstructured":"Gautus , M. R. , Ringenberg , J. S. , Ernst , D. , Austin , T. M. , and Mudge , T . 2001. MiBench: A free, commercially representative embedded benchmark suite . In Proceedings of the IEEE 4th Annual Workshop on Workload Characterization. IEEE , Los Alamitos, CA, 83--94. Gautus, M. R., Ringenberg, J. S., Ernst, D., Austin, T. M., and Mudge, T. 2001. MiBench: A free, commercially representative embedded benchmark suite. In Proceedings of the IEEE 4th Annual Workshop on Workload Characterization. IEEE, Los Alamitos, CA, 83--94."},{"key":"e_1_2_1_16_1","unstructured":"Gerum P. 2004. XENOMAI-Implementing a RTOS emulation framework on GNU\/Linux. http:\/\/www.xenomai.org\/documentation\/trunk\/pdf\/xenomai.pdf.  Gerum P. 2004. XENOMAI-Implementing a RTOS emulation framework on GNU\/Linux. http:\/\/www.xenomai.org\/documentation\/trunk\/pdf\/xenomai.pdf."},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the 19th International Symposium on Fault Tolerant Computing. IEEE","author":"Gunneflo U.","unstructured":"Gunneflo , U. , Karlsson , J. , and Torin , J . 1989. Evaluation of error detection schemes using fault Injection by heavy-ion radiation . In Proceedings of the 19th International Symposium on Fault Tolerant Computing. IEEE , Los Alamitos, CA, 340--347. Gunneflo, U., Karlsson, J., and Torin, J. 1989. Evaluation of error detection schemes using fault Injection by heavy-ion radiation. In Proceedings of the 19th International Symposium on Fault Tolerant Computing. IEEE, Los Alamitos, CA, 340--347."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.585157"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 24th International Symposium on Fault Tolerant Computing. IEEE","author":"Jenn E.","unstructured":"Jenn , E. , Arlat , J. , Rimen , M. , Ohlsson , J. , and Karlsson , J . 1994. Fault injection into VHDL models: the MEFISTO tool . In Proceedings of the 24th International Symposium on Fault Tolerant Computing. IEEE , Los Alamitos, CA, 66--75. Jenn, E., Arlat, J., Rimen, M., Ohlsson, J., and Karlsson, J. 1994. Fault injection into VHDL models: the MEFISTO tool. In Proceedings of the 24th International Symposium on Fault Tolerant Computing. IEEE, Los Alamitos, CA, 66--75."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.364536"},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the 4th International Conference\/Exhibition on High-Performance Computing in the Asia-Pacific Region. IEEE","author":"Lee H.","unstructured":"Lee , H. , Song , Y. , and Shin , H . 2000. SFIDA: A software implemented fault injection tool for distributed dependable applications . In Proceedings of the 4th International Conference\/Exhibition on High-Performance Computing in the Asia-Pacific Region. IEEE , Los Alamitos, CA, 410--415. Lee, H., Song, Y., and Shin, H. 2000. SFIDA: A software implemented fault injection tool for distributed dependable applications. In Proceedings of the 4th International Conference\/Exhibition on High-Performance Computing in the Asia-Pacific Region. IEEE, Los Alamitos, CA, 410--415."},{"key":"e_1_2_1_22_1","unstructured":"Linux Kernel Organization Inc. 2009. Linux programmer's manual. http:\/\/www.kernel.org\/doc\/manpages\/online\/pages\/man2\/sched setscheduler.2.html.  Linux Kernel Organization Inc. 2009. Linux programmer's manual. http:\/\/www.kernel.org\/doc\/manpages\/online\/pages\/man2\/sched setscheduler.2.html."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/647054.715769"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2007.4392811"},{"key":"e_1_2_1_25_1","unstructured":"Steininger A. Rahbaran B. and Handl T. 2003. Built-in fault injectors\u2014the logical continuation of BIST&quest; In Proceedings of the 1st Workshop on Intelligent Solutions in Embedded Systems. 187--196.  Steininger A. Rahbaran B. and Handl T. 2003. Built-in fault injectors\u2014the logical continuation of BIST&quest; In Proceedings of the 1st Workshop on Intelligent Solutions in Embedded Systems. 187--196."},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the European Safety and Reliability Conference. http:\/\/www.laboris.isep.ipp.pt\/anf\/fct09\/rela06","author":"Zenha-Rela M.","unstructured":"Zenha-Rela , M. , Cunha , J. C. , Santos , L. E. , Gameiro , M. , Gonalves , P. , and Alves , G . 2006. Exploiting the IEEE 1149.1 standard for software reliability evaluation in space applications . In Proceedings of the European Safety and Reliability Conference. http:\/\/www.laboris.isep.ipp.pt\/anf\/fct09\/rela06 .pdf. Zenha-Rela, M., Cunha, J. C., Santos, L. E., Gameiro, M., Gonalves, P., and Alves, G. 2006. Exploiting the IEEE 1149.1 standard for software reliability evaluation in space applications. In Proceedings of the European Safety and Reliability Conference. http:\/\/www.laboris.isep.ipp.pt\/anf\/fct09\/rela06.pdf."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1880050.1880060","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1880050.1880060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:16Z","timestamp":1750243936000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1880050.1880060"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["10.1145\/1880050.1880060"],"URL":"https:\/\/doi.org\/10.1145\/1880050.1880060","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12]]},"assertion":[{"value":"2008-09-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-01-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}