{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:35Z","timestamp":1750306115243,"version":"3.41.0"},"reference-count":31,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2017,5,11]],"date-time":"2017-05-11T00:00:00Z","timestamp":1494460800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ECSEL Joint Undertaking project in the Innovation Pilot Programme \u201cComputing platforms for embedded systems\u201d","award":["621429 (project EMC2)"],"award-info":[{"award-number":["621429 (project EMC2)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2017,11,30]]},"abstract":"<jats:p>This article proposes a bounded interference method, based on statistical evaluations, for online detection and tolerance of any fault capable of causing a deadline miss. The proposed method requires data that can be gathered during the profiling and worst-case execution time (WCET) analysis phase. This article describes the method, its application, and then it presents an avionic mixed-criticality use case for experimental evaluation, considering both dual-core and quad-core platforms. Results show that faults that can cause a timing violation are correctly identified while other faults that do not introduce a significant temporal interference can be tolerated to avoid high recovery overheads.<\/jats:p>","DOI":"10.1145\/3063313","type":"journal-article","created":{"date-parts":[[2017,5,11]],"date-time":"2017-05-11T12:51:05Z","timestamp":1494507065000},"page":"1-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["A Novel Method for Online Detection of Faults Affecting Execution-Time in Multicore-Based Systems"],"prefix":"10.1145","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1961-5809","authenticated-orcid":false,"given":"Stefano","family":"Esposito","sequence":"first","affiliation":[{"name":"Politecnico di Torino, Torino - Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Violante","sequence":"additional","affiliation":[{"name":"Politecnico di Torino, Torino - Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Sozzi","sequence":"additional","affiliation":[{"name":"Leonardo-Finmeccanica, Torino - Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Terrone","sequence":"additional","affiliation":[{"name":"Leonardo-Finmeccanica, Torino - Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Traversone","sequence":"additional","affiliation":[{"name":"Leonardo-Finmeccanica, Torino - Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,5,11]]},"reference":[{"volume-title":"Proceedings of the Workshop on Mixed Criticality: Roadmap to Evolving UAV Certification. DOI:http:\/\/dx.doi.org\/10","author":"Anderson J. H.","key":"e_1_2_1_1_1","unstructured":"J. H. Anderson , S. K. Baruah , and B. B. Brandenburg . 2009. Multicore operating-system support for mixed criticality . In Proceedings of the Workshop on Mixed Criticality: Roadmap to Evolving UAV Certification. DOI:http:\/\/dx.doi.org\/10 .1.1.153.5608 J. H. Anderson, S. K. Baruah, and B. B. Brandenburg. 2009. Multicore operating-system support for mixed criticality. In Proceedings of the Workshop on Mixed Criticality: Roadmap to Evolving UAV Certification. DOI:http:\/\/dx.doi.org\/10.1.1.153.5608"},{"key":"e_1_2_1_2_1","unstructured":"ARM. 2012a. Cortex-A9 Technical Reference Manual Issue I. ARM DDI0388I (ID091612).  ARM. 2012a. Cortex-A9 Technical Reference Manual Issue I. ARM DDI0388I (ID091612)."},{"key":"e_1_2_1_3_1","unstructured":"ARM. 2012b. Cortex-A9 MPCore Technical Reference Manual Issue I. ARM DDI0407I (ID091612).  ARM. 2012b. Cortex-A9 MPCore Technical Reference Manual Issue I. ARM DDI0407I (ID091612)."},{"key":"e_1_2_1_4_1","unstructured":"ARM. 2014. ARM Architecture Reference Manual Issue C.c. ARM DDI 0406C.c (ID051414).  ARM. 2014. ARM Architecture Reference Manual Issue C.c. ARM DDI 0406C.c (ID051414)."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2015.7229823"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.26"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28293-5_9"},{"key":"e_1_2_1_8_1","volume-title":"Davis","author":"Burns Alan","year":"2016","unstructured":"Alan Burns and Robert I . Davis . 2016 . Mixed Criticality Systems - A Review 7th ed., University of York . Alan Burns and Robert I. Davis. 2016. Mixed Criticality Systems - A Review 7th ed., University of York."},{"key":"e_1_2_1_9_1","unstructured":"Certification Authorities and Software Team. 2014. Position Paper CAST-32 Multi-core Processors Federal Aviation Administration\/European Aviation Safety Agency.  Certification Authorities and Software Team. 2014. Position Paper CAST-32 Multi-core Processors Federal Aviation Administration\/European Aviation Safety Agency."},{"key":"e_1_2_1_10_1","volume-title":"Foreman","author":"Corder Gregory W.","year":"2014","unstructured":"Gregory W. Corder and Dale I . Foreman . 2014 . Nonparametric Statistics : A Step-by-Step Approach (2nd ed.). Wiley , New York. Gregory W. Corder and Dale I. Foreman. 2014. Nonparametric Statistics: A Step-by-Step Approach (2nd ed.). Wiley, New York."},{"volume-title":"Introduction to Algorithm (3&lt;sup&lt;rd&lt;\/sup&lt","author":"Cormen Thomas H.","key":"e_1_2_1_11_1","unstructured":"Thomas H. Cormen , Charles E. Leiserson , Ronald L. Rives , and Clifford Stein . 2009. Introduction to Algorithm (3&lt;sup&lt;rd&lt;\/sup&lt ; ed.). MIT Press , Boston, MA . Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rives, and Clifford Stein. 2009. Introduction to Algorithm (3&lt;sup&lt;rd&lt;\/sup&lt; ed.). MIT Press, Boston, MA."},{"key":"e_1_2_1_12_1","volume-title":"Gibbons and Subhabrata Chakraborti","author":"Jean","year":"2010","unstructured":"Jean D. Gibbons and Subhabrata Chakraborti . 2010 . Nonparametric Statistical Inference (5th ed.). CRC Press , Boca Raton, FL. Jean D. Gibbons and Subhabrata Chakraborti. 2010. Nonparametric Statistical Inference (5th ed.). CRC Press, Boca Raton, FL."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2016.7604704"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2534028"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658595"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.111"},{"key":"e_1_2_1_17_1","volume-title":"Teoria dei Segnali 3\/ed","author":"Luise Marco","year":"2009","unstructured":"Marco Luise and Giorgio M . Vitetta , Teoria dei Segnali 3\/ed , McGraw-Hill , Milano , 2009 . Marco Luise and Giorgio M. Vitetta, Teoria dei Segnali 3\/ed, McGraw-Hill, Milano, 2009."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2012.27"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.20"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.080"},{"key":"e_1_2_1_21_1","first-page":"2014","article-title":"e6500 Core Reference Manual","volume":"0","author":"NXP.","year":"2014","unstructured":"NXP. 2014 . e6500 Core Reference Manual , Rev 0 , 06\/ 2014 . E6500RM. NXP. 2014. e6500 Core Reference Manual, Rev 0, 06\/2014. E6500RM.","journal-title":"Rev"},{"key":"e_1_2_1_22_1","first-page":"2015","article-title":"i.MX 6Dual\/6Quad Applications Processor Reference Manual","volume":"3","author":"NXP.","year":"2015","unstructured":"NXP. 2015 . i.MX 6Dual\/6Quad Applications Processor Reference Manual , Rev. 3 ,07\/ 2015 . IMX6DQRM. NXP. 2015. i.MX 6Dual\/6Quad Applications Processor Reference Manual, Rev. 3,07\/2015. IMX6DQRM.","journal-title":"Rev."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-014-9202-z"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2015.100"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.33"},{"key":"e_1_2_1_26_1","volume-title":"Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance","author":"Rushby J.","year":"1999","unstructured":"J. Rushby . 1999. Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance , NASA Langley Research Center , NASA CR- 1999 -209347 J. Rushby. 1999. Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance, NASA Langley Research Center, NASA CR-1999-209347"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1987.10478517"},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the Embedded Sysem. Week - Workshop on Reconciling Performance with Predictions.","author":"Schranzhofer Andreas","year":"2009","unstructured":"Andreas Schranzhofer , Jian-Jia Chen , and Lothar Thiele . 2009 . Timing predictability on multi-processor systems with shared resources . In Proceedings of the Embedded Sysem. Week - Workshop on Reconciling Performance with Predictions. (2009), 87. Andreas Schranzhofer, Jian-Jia Chen, and Lothar Thiele. 2009. Timing predictability on multi-processor systems with shared resources. In Proceedings of the Embedded Sysem. Week - Workshop on Reconciling Performance with Predictions. (2009), 87."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1974.10480196"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1338441.1338677"},{"key":"e_1_2_1_31_1","unstructured":"Xilinx. 2015. Zynq-7000 All Programmable SoC Technical Reference Manual v1.10. UG585.  Xilinx. 2015. Zynq-7000 All Programmable SoC Technical Reference Manual v1.10. UG585."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3063313","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3063313","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:33Z","timestamp":1750217793000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3063313"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,11]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,11,30]]}},"alternative-id":["10.1145\/3063313"],"URL":"https:\/\/doi.org\/10.1145\/3063313","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2017,5,11]]},"assertion":[{"value":"2016-06-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-05-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}