{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:37:44Z","timestamp":1732034264321},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,7,18]],"date-time":"2012-07-18T00:00:00Z","timestamp":1342569600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s10836-012-5316-1","type":"journal-article","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T21:03:25Z","timestamp":1344891805000},"page":"469-486","source":"Crossref","is-referenced-by-count":3,"title":["Time-Constraint-Aware Optimization of Assertions in Embedded Software"],"prefix":"10.1007","volume":"28","author":[{"given":"Viacheslav","family":"Izosimov","sequence":"first","affiliation":[]},{"given":"Giuseppe","family":"Di Guglielmo","sequence":"additional","affiliation":[]},{"given":"Michele","family":"Lora","sequence":"additional","affiliation":[]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[]},{"given":"Zebo","family":"Peng","sequence":"additional","affiliation":[]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,7,18]]},"reference":[{"key":"5316_CR1","doi-asserted-by":"crossref","unstructured":"Aidemark J, Vinter J, Folkesson P, Karlsson J (2001) GOOFI: generic object-oriented fault injection tool. Proceedings of International Conference on Dependable Systems and Networks, pp 83\u201388","DOI":"10.1109\/DSN.2001.941394"},{"issue":"6","key":"5316_CR2","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1109\/71.774911","volume":"10","author":"Z Alkhalifa","year":"1999","unstructured":"Alkhalifa Z, Nair VSS, Krishnamurthy N, Abraham JA (1999) Design and evaluation of system-level checks for on-line control flow error detection. IEEE Trans Parallel Distr Syst 10(6):627\u2013641","journal-title":"IEEE Trans Parallel Distr Syst"},{"key":"5316_CR3","doi-asserted-by":"crossref","unstructured":"Ando H, Yoshida Y, Inoue A, Sugiyama I, Asakawa T, Morita K, Muta T, Motokurumada T, Okada S, Yamashita H, Satsukawa Y, Konmoto A, Yamashita R, Sugiyama H (2003) A 1.3\u00a0GHz fifth generation SPARC64 Microprocessor. Proceedings of International Solid-State Circuits Conference","DOI":"10.1109\/ISSCC.2003.1234286"},{"key":"5316_CR4","doi-asserted-by":"crossref","unstructured":"Austin TM (1999) DIVA: a reliable substrate for deep submicron microarchitecture design. Proceedings ACM\/IEEE International Symposium on Microarchitecture. IEEE Computer Society, pp 196\u2013207","DOI":"10.1109\/MICRO.1999.809458"},{"issue":"4","key":"5316_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1376804.1376813","volume":"7","author":"T Ayav","year":"2008","unstructured":"Ayav T, Fradet P, Girault A (2008) Implementing fault-tolerance in real-time programs by automatic program transformations. ACM Trans Embed Comput Syst 7(4):1\u201343","journal-title":"ACM Trans Embed Comput Syst"},{"key":"5316_CR6","doi-asserted-by":"crossref","unstructured":"Baleani M, Ferrari A, Mangeruca L, Sangiovanni Vincentelli A, Peri M, Pezzini S (2003) Fault-tolerant platforms for automotive safety-critical applications. Proceedings of International Conference on Compilers, Architecture and Synthesis for Embedded Systems, pp 170\u2013177","DOI":"10.1145\/951710.951734"},{"issue":"6","key":"5316_CR7","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1109\/5.149443","volume":"80","author":"CE Baum","year":"1992","unstructured":"Baum CE (1992) From the electromagnetic pulse to high-power electromagnetics. Proc IEEE 80(6):789\u2013817","journal-title":"Proc IEEE"},{"key":"5316_CR8","doi-asserted-by":"crossref","unstructured":"Baumann RC (2001) Soft errors in advanced semiconductor devices\u2014part I: the three radiation sources. Device and Materials Reliability, IEEE Transactions, vol. 1, no. 1","DOI":"10.1109\/7298.946456"},{"key":"5316_CR9","unstructured":"Baumann RC (2002) Soft errors in commercial semiconductor technology: overview and scaling trends. Proceedings of Reliability Physics Tutorial Notes, Reliability Fundamentals"},{"key":"5316_CR10","doi-asserted-by":"crossref","unstructured":"Baumann RC (2005) Radiation-induced soft errors in advanced semiconductor technologies. IEEE Transactions on Device and Materials Reliability, vol. 5, no. 3","DOI":"10.1109\/TDMR.2005.853449"},{"key":"5316_CR11","doi-asserted-by":"crossref","unstructured":"Benso A, Chiusano S, Prinetto P, Tagliaferri L (2000) A C\/C++ source-to-source compiler for dependable applications. Proceedings of IEEE International Conference on Dependable Systems and Networks, pp 71\u201378","DOI":"10.1109\/ICDSN.2000.857517"},{"key":"5316_CR12","doi-asserted-by":"crossref","unstructured":"Bombieri N, Di Guglielmo G, Fummi F, Pravadelli G, Ferrari M, Stefanni F and Venturelli A (2010) HIFSuite: tools for HDL code conversion and manipulation. EURASIP Journal on Embedded Systems, vol. 2010","DOI":"10.1155\/2010\/436328"},{"issue":"6","key":"5316_CR13","doi-asserted-by":"crossref","first-page":"2231","DOI":"10.1109\/23.903758","volume":"47","author":"P Cheynet","year":"2000","unstructured":"Cheynet P, Nicolescu B, Velazco R, Rebaudengo M, Sonza Reorda M, Violante M (2000) Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors. IEEE Trans Nucl Sci 47(6):2231\u20132236","journal-title":"IEEE Trans Nucl Sci"},{"key":"5316_CR14","doi-asserted-by":"crossref","unstructured":"Corno F, Reorda M, Squillero G (2000) RT-Level ITC99 Benchmarks and First ATPG Result. IEEE Design & Test of Computers, pp 44\u201353, July\u2013August","DOI":"10.1109\/54.867894"},{"issue":"5","key":"5316_CR15","doi-asserted-by":"crossref","first-page":"472","DOI":"10.1109\/92.894152","volume":"8","author":"P Eles","year":"2000","unstructured":"Eles P, Peng Z, Pop P, Doboli A (2000) Scheduling with bus access optimization for distributed embedded systems. IEEE Trans VLSI Syst 8(5):472\u2013491","journal-title":"IEEE Trans VLSI Syst"},{"key":"5316_CR16","doi-asserted-by":"crossref","unstructured":"Engel H (1997) Data flow transformations to detect results which are corrupted by hardware faults. Proceedings of IEEE High-Assurance System Engineering Workshop, pp 279\u2013285","DOI":"10.1109\/HASE.1996.618609"},{"key":"5316_CR17","unstructured":"Fenlason J, Stallman R (1998) GNU GProf. GNU Free Software Foundation"},{"key":"5316_CR18","doi-asserted-by":"crossref","unstructured":"Gaiswinkler G, Gerstinger A (2009) Automated software diversity for hardware faul detection. Proceedings of IEEE Conference on Emerging Technologies and Factory Automation","DOI":"10.1109\/ETFA.2009.5347167"},{"key":"5316_CR19","doi-asserted-by":"crossref","unstructured":"Gill B, Seifert N, Zia V (2009) Comparison of alpha-particle and neutron-induced combinational and sequential logic rates at the 32\u00a0nm technology node. Proceedings of IEEE International Reliability Physics Symposium, pp 199\u2013205","DOI":"10.1109\/IRPS.2009.5173251"},{"key":"5316_CR20","doi-asserted-by":"crossref","unstructured":"Goloubeva O, Rebaudengo M, Sonza Reorda M, Violante M (2003) Soft-error detection using control flow assertions. Proceedings of IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, pp 581\u2013588","DOI":"10.1109\/DFTVS.2003.1250158"},{"key":"5316_CR21","unstructured":"Goloubeva O, Rebaudengo M, Sonza Reorda M, Violante M (2006) Software-implemented hardware fault tolerance. Springer"},{"key":"5316_CR22","doi-asserted-by":"crossref","unstructured":"Hiller M (2000) Executable assertions for detecting data errors in embedded control systems. Proceedings of International Conference on Dependable Systems and Networks, pp 24\u201333","DOI":"10.1109\/ICDSN.2000.857510"},{"key":"5316_CR23","doi-asserted-by":"crossref","unstructured":"Hiller M, Jhumka A, Suri N (2002) On the placement of software mechanisms for detection of data errors. Proceedings of International Conference on Dependable Systems and Networks, pp 135\u2013144","DOI":"10.1109\/DSN.2002.1028894"},{"key":"5316_CR24","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1109\/TC.1984.1676475","volume":"33","author":"KH Huang","year":"1984","unstructured":"Huang KH, Abraham JA (1984) Algorithm-based fault tolerance for matrix operations. IEEE Trans Comput 33:518\u2013528","journal-title":"IEEE Trans Comput"},{"key":"5316_CR25","unstructured":"Intel Corporation (1997) Using the RDTSC instruction for performance monitoring. Technical report"},{"key":"5316_CR26","doi-asserted-by":"crossref","unstructured":"Koren I, Mani Krishna C (2007) Fault-tolerant systems. Elsevier","DOI":"10.1016\/B978-012088525-1\/50007-9"},{"key":"5316_CR27","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1109\/24.510798","volume":"45","author":"L Lantz","year":"1996","unstructured":"Lantz L (1996) Soft errors induced by Alfa particles. IEEE Trans Reliab 45:175\u2013179","journal-title":"IEEE Trans Reliab"},{"issue":"7","key":"5316_CR28","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"NG Levenson","year":"1993","unstructured":"Levenson NG, Turner CS (1993) An investigation of the Therac-25 accidents. IEEE Comput 26(7):18\u201341","journal-title":"IEEE Comput"},{"key":"5316_CR29","unstructured":"Levon J, Elie P (2005) OProfile: a system profiler for Linux. Web site: oprofile.sourceforge.net"},{"key":"5316_CR30","doi-asserted-by":"crossref","unstructured":"Lu Y, Nolte T, Kraft J, Norstrom C (2010) Statistical-based response-time analysis of systems with execution dependencies between tasks. Proceedings of IEEE International Conference on Engineering of Complex Computer Systems, pp 169\u2013179","DOI":"10.1109\/ICECCS.2010.55"},{"key":"5316_CR31","doi-asserted-by":"crossref","unstructured":"Messenger G, Ash M (1986) The effects of radiation on electronic systems. Van Nostrand Reinhold Company Inc","DOI":"10.1007\/978-94-017-5355-5"},{"key":"5316_CR32","doi-asserted-by":"crossref","unstructured":"Nicolaidis M (ed) (2010) Soft errors in modern electronic systems. Springer","DOI":"10.1007\/978-1-4419-6993-4"},{"issue":"6","key":"5316_CR33","doi-asserted-by":"crossref","first-page":"2742","DOI":"10.1109\/23.556861","volume":"43","author":"E Normand","year":"1996","unstructured":"Normand E (1996) Single event upset at ground level. IEEE Trans Nucl Sci 43(6):2742\u20132750","journal-title":"IEEE Trans Nucl Sci"},{"issue":"4","key":"5316_CR34","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1109\/TR.2002.804735","volume":"51","author":"N Oh","year":"2002","unstructured":"Oh N, McCluskey EJ (2002) Error detection by selective procedure call duplication for low energy consumption. IEEE Trans Reliab 51(4):392\u2013402","journal-title":"IEEE Trans Reliab"},{"key":"5316_CR35","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1109\/12.980007","volume":"51","author":"N Oh","year":"2002","unstructured":"Oh N, Mitra S, McCluskey EJ (2002) ED4I: error detection by diverse data and duplication instructions. IEEE Trans Comput 51:180\u2013199","journal-title":"IEEE Trans Comput"},{"issue":"1","key":"5316_CR36","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/24.994913","volume":"51","author":"N Oh","year":"2002","unstructured":"Oh N, Shirvani PP, McCluskey EJ (2002) Error detection by duplicated instructions in superscalar processors. IEEE Trans Reliab 51(1):63\u201375","journal-title":"IEEE Trans Reliab"},{"issue":"2","key":"5316_CR37","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1109\/24.994926","volume":"51","author":"N Oh","year":"2002","unstructured":"Oh N, Shirvani PP, McCluskey EJ (2002) Control-flow checking by software signatures. IEEE Trans Reliab 51(2):111\u2013122","journal-title":"IEEE Trans Reliab"},{"key":"5316_CR38","doi-asserted-by":"crossref","first-page":"1255","DOI":"10.1109\/TC.2007.1070","volume":"56","author":"M Omana","year":"2004","unstructured":"Omana M, Rossi D, Metra C (2004) Latch susceptibility to transient faults and new hardening approach. IEEE Trans Comput 56:1255\u20131268","journal-title":"IEEE Trans Comput"},{"key":"5316_CR39","unstructured":"OpenCores (8b10b) Encoder\/Decoder. www.opencores.org"},{"key":"5316_CR40","doi-asserted-by":"crossref","unstructured":"Peti P, Obermaisser R, Kopetz H (2005) Out-of-norm assertions. Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium, pp 209\u2013223","DOI":"10.1109\/RTAS.2005.38"},{"key":"5316_CR41","doi-asserted-by":"crossref","unstructured":"Piotrowski A, Makowski D, Jablonski G, Napieralski A (2008) The automatic implementation of software implemented hardware fault tolerance algorithms as a radiation-induced soft errors mitigation technique. Proceedings of IEEE Nuclear Science Symposium Conference Record, pp 841\u2013846","DOI":"10.1109\/NSSMIC.2008.4774657"},{"key":"5316_CR42","unstructured":"Pradhan DK (ed) (1986) Fault-tolerant computing: theory and techniques. Prentice-Hall"},{"key":"5316_CR43","unstructured":"Pradhan DK (1996) Fault-tolerant computer system design. Prentice Hall PTR"},{"key":"5316_CR44","doi-asserted-by":"crossref","unstructured":"Rashid F, Saluja KK, Ramanathan P (2000) Fault tolerance through re-execution in multiscalar architectures. Proceedings of International Conference on Dependable Systems and Networks, pp 482\u2013491","DOI":"10.1109\/ICDSN.2000.857579"},{"key":"5316_CR45","doi-asserted-by":"crossref","unstructured":"Rebaudengo M, Sonza Reorda M, Torchiano M, Violante M (1999) Soft-error detection through software fault-tolerance techniques. Proceedings of International Symposium on Defect and Fault Tolerance in VLSI Systems, pp 210\u2013218","DOI":"10.1109\/DFTVS.1999.802887"},{"key":"5316_CR46","doi-asserted-by":"crossref","unstructured":"Rebaudengo M, Sonza Reorda M, Torchiano M, Violante M (1999) Soft-error detection through software fault-tolerance techniques. Proceedings of IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, pp 210\u2013218","DOI":"10.1109\/DFTVS.1999.802887"},{"key":"5316_CR47","doi-asserted-by":"crossref","unstructured":"Rebaudengo M, Sonza Reorda M, Torchiano M, Violante M (2001) A source-to-source compiler for generating dependable software. Proceedings of IEEE International Workshop on Source Code Analysis and Manipulation, pp 33\u201342","DOI":"10.1109\/SCAM.2001.972664"},{"key":"5316_CR48","unstructured":"Reinhardt SK, Mukherjee SS (2000) Transient fault detection via simultaneous multithreading. Proceedings of International Symposium on Computer Architecture, pp 25\u201336"},{"key":"5316_CR49","doi-asserted-by":"crossref","unstructured":"Reis GA, Chang J, Vachharajani N, Rangan R, August DI (2005) SWIFT: software implemented fault tolerance. Proceedings of International Symposium on Code Generation and Optimization, pp 243\u2013254","DOI":"10.1109\/CGO.2005.34"},{"key":"5316_CR50","doi-asserted-by":"crossref","unstructured":"Rossi D, Omana M, Metra C (2010) Transient fault and soft error on-die monitoring scheme. Proceedings of International Symposium on Defect and Fault Tolerance in VLSI Systems, pp 391\u2013398","DOI":"10.1109\/DFT.2010.53"},{"key":"5316_CR51","doi-asserted-by":"crossref","unstructured":"Rotenberg E (1999) AR-SMT: a michroarchitecture approach to fault tolerance in microprocessors. Proceedings of International Symposium on Fault-Tolerant Computing, pp 84\u201391","DOI":"10.1109\/FTCS.1999.781037"},{"issue":"10","key":"5316_CR52","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MC.2007.344","volume":"40","author":"A Sangiovanni Vincentelli","year":"2007","unstructured":"Sangiovanni Vincentelli A, Di Natale M (2007) Embedded system design for automotive applications. Proc Comput 40(10):42\u201351","journal-title":"Proc Comput"},{"key":"5316_CR53","unstructured":"Software-artifact Infrastructure Repository. Traffic-Collision-Advoidance system (TCAS). sir.unl.edu"},{"key":"5316_CR54","doi-asserted-by":"crossref","unstructured":"Sohi G, Franklin M, Saluja K (1989) A study of time-redundant fault tolerance techniques for high-performance pipelined computers. Proceedings of International Symposium on Fault Tolerant Computing, pp 463\u2013443","DOI":"10.1109\/FTCS.1989.105616"},{"key":"5316_CR55","doi-asserted-by":"crossref","unstructured":"Vemu R, Abraham JA (2006) CEDA: control-flow error detection through assertions. Proceedings of IEEE International On-Line Testing Symposium","DOI":"10.1109\/IOLTS.2006.14"},{"key":"5316_CR56","unstructured":"Voas JM, Miller KW (1994) Putting assertions in their place. Proceedings of International Symposium on Software Reliability Engineering, pp 152\u2013157"},{"key":"5316_CR57","doi-asserted-by":"crossref","unstructured":"Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand R, Heckmann C, Mueller F, Puuat I, Puschner P, Staschulat J, Stenstr\u00f6m P (2008) The worst-case execution-time problem\u2014overview of methods and survey of tools. ACM Trans Embed Comput Syst 7(3)","DOI":"10.1145\/1347375.1347389"},{"key":"5316_CR58","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1117\/12.186829","volume":"2280","author":"KS Wood","year":"1994","unstructured":"Wood KS, Fritz G, Hertz P, Johnson WN, Lovelette MN, Wolff MT, Bloom E, Godfrey G, Hanson J, Michelson P, Taylor R, Wen H (1994) The USA experiment on the ARGOS satellite: a low cost instrument for timing x-ray binaries. Proc EUV, X-Ray, and Gamma-Ray Instrum Astron 2280:19\u201330","journal-title":"Proc EUV, X-Ray, and Gamma-Ray Instrum Astron"},{"issue":"2","key":"5316_CR59","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1109\/TSE.1980.234478","volume":"SE-6","author":"S Yau","year":"1980","unstructured":"Yau S, Chen F (1980) An approach to concurrent control flow checking. IEEE Trans Softw Eng SE-6(2):126\u2013137","journal-title":"IEEE Trans Softw Eng"},{"key":"5316_CR60","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/AERO.1996.495891","volume":"1","author":"Y Yeh","year":"1996","unstructured":"Yeh Y (1996) Triple-triple redundant 777 primary flight computer. Proc IEEE Aero Appl Conf 1:293\u2013307","journal-title":"Proc IEEE Aero Appl Conf"},{"key":"5316_CR61","doi-asserted-by":"crossref","unstructured":"Yin H, Bieman JM (1994) Improving software testability with assertion insertion. Proceedings of International Test Conference, pp 831\u2013839","DOI":"10.1109\/TEST.1994.528030"},{"key":"5316_CR62","doi-asserted-by":"crossref","unstructured":"Zenha Rela M, Madeira H, Silva JG (1996) Experimental evaluation of the fail-silent behavior in programs with consistency checks. Proceedings of Symposium on Fault Tolerant Computing, pp 394\u2013403","DOI":"10.1109\/FTCS.1996.534625"},{"issue":"1","key":"5316_CR63","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1147\/rd.401.0003","volume":"40","author":"JF Ziegler","year":"1996","unstructured":"Ziegler JF et al (1996) IBM experiments in soft fails in computer electronics (1978\u20131994). IBM J Res Dev 40(1):3\u201318","journal-title":"IBM J Res Dev"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-012-5316-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-012-5316-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-012-5316-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T20:32:43Z","timestamp":1562099563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-012-5316-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,18]]},"references-count":63,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["5316"],"URL":"https:\/\/doi.org\/10.1007\/s10836-012-5316-1","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,18]]}}}