skip to main content
research-article

A Novel Method for Online Detection of Faults Affecting Execution-Time in Multicore-Based Systems

Published:11 May 2017Publication History
Skip Abstract Section

Abstract

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.

References

  1. 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.5608Google ScholarGoogle Scholar
  2. ARM. 2012a. Cortex-A9 Technical Reference Manual, Issue I. ARM DDI0388I (ID091612).Google ScholarGoogle Scholar
  3. ARM. 2012b. Cortex-A9 MPCore Technical Reference Manual, Issue I. ARM DDI0407I (ID091612).Google ScholarGoogle Scholar
  4. ARM. 2014. ARM Architecture Reference Manual, Issue C.c. ARM DDI 0406C.c (ID051414).Google ScholarGoogle Scholar
  5. Sehry Avramenko, Stefano Esposito, Massimo Violante, Marco Sozzi, Massimo Traversone, Marco Binello, and Marco Terrone. 2015. An hybrid architecture for consolidating mixed criticality applications on multicore systems. In Proceedings of the 2015 IEEE 21st International On-Line Testing Symposium (Halkidiki). IEEE, 26--29. DOI:http://dx.doi.org/10.1109/IOLTS.2015.7229823 Google ScholarGoogle ScholarCross RefCross Ref
  6. Sanjoy Baruah and Steve Vestal. 2008. Schedulability analysis of sporadic tasks with multiple criticality specifications. In Proceedings of the Euromicro Conference on Real-Time Systems. 147--155. DOI:http://dx.doi.org/10.1109/ECRTS.2008.26 Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Frédéric Boniol, Hugues Cassé, Eric Noulard, and Claire Pagetti. 2012. Deterministic execution model on COTS hardware. In Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). LNCS 7179. Springer, 98--110. DOI:http://dx.doi.org/10.1007/978-3-642-28293-5_9 Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Alan Burns and Robert I. Davis. 2016. Mixed Criticality Systems - A Review 7th ed., University of York.Google ScholarGoogle Scholar
  9. Certification Authorities and Software Team. 2014. Position Paper CAST-32, Multi-core Processors, Federal Aviation Administration/European Aviation Safety Agency.Google ScholarGoogle Scholar
  10. Gregory W. Corder and Dale I. Foreman. 2014. Nonparametric Statistics: A Step-by-Step Approach (2nd ed.). Wiley, New York.Google ScholarGoogle Scholar
  11. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rives, and Clifford Stein. 2009. Introduction to Algorithm (3<sup<rd</sup< ed.). MIT Press, Boston, MA.Google ScholarGoogle Scholar
  12. Jean D. Gibbons and Subhabrata Chakraborti. 2010. Nonparametric Statistical Inference (5th ed.). CRC Press, Boca Raton, FL.Google ScholarGoogle Scholar
  13. Stefano Esposito, Massimo Violante, Marco Sozzi, Marco Terrone, and Massimo Traversone. 2016. Online time interference detection in mixed-criticality applications on multicore architectures using performance counters. In IEEE 22nd International Online Testing Symposium. 213--214. Google ScholarGoogle ScholarCross RefCross Ref
  14. C. M. Krishna. 2014. Fault-tolerant scheduling in homogeneous real-time systems. ACM Comput. Surv. 46, 4 (2014), 1--48. DOI:http://dx.doi.org/10.1145/2534028 Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Georgia Giannopoulou, Nikolay Stoimenov, Pengcheng Huang, and Lothar Thiele. 2013. Scheduling of mixed-criticality applications on resource-sharing multicore systems. In 2013 Proceedings of the International Conference on Embedded Software (EMSOFT’13). DOI:http://dx.doi.org/10.1109/EMSOFT.2013.6658595 Google ScholarGoogle ScholarCross RefCross Ref
  16. Georgia Giannopoulou, Nikolay Stoimenov, Pengcheng Huang, and Lothar Thiele. 2014. Mapping mixed-criticality applications on multi-core architectures. In Proceedings of the Design Automation and Test in Europe Conference and Exhibition (DATE’14), 1--6. DOI:http://dx.doi.org/10.7873/DATE.2014.111 Google ScholarGoogle ScholarCross RefCross Ref
  17. Marco Luise and Giorgio M. Vitetta, Teoria dei Segnali 3/ed, McGraw-Hill, Milano, 2009.Google ScholarGoogle Scholar
  18. Jan Nowotsch and Michael Paulitsch. 2012. Leveraging multi-core computing architectures in avionics. In Proceedings - 9th European Dependable Computing Conference, EDCC 2012. 132--143. DOI:http://dx.doi.org/10.1109/EDCC.2012.27 Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Jan Nowotsch, Michael Paulitsch, Daniel Buhler, Henrik Theiling, Simon Wegener, and Michael Schmidt. 2014a. Multi-core interference-sensitive WCET analysis leveraging runtime resource capacity enforcement. In Proceedings of the Euromicro Conference on Real-Time Systems (2014), 109--118. DOI:http://dx.doi.org/10.1109/ECRTS.2014.20 Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Jan Nowotsch, Michael Paulitsch, Arne Henrichsen, Werner Pongratz, and Andreas Schacht. 2014b. Monitoring and WCET analysis in COTS multi-core-SoC-based mixed-criticality systems. In Proceedings of the Design Automation and Test in Europe Conference and Exhibition (DATE’14), 1--5. DOI:http://dx.doi.org/10.7873/DATE.2014.080 Google ScholarGoogle ScholarCross RefCross Ref
  21. NXP. 2014. e6500 Core Reference Manual, Rev 0, 06/2014. E6500RM.Google ScholarGoogle Scholar
  22. NXP. 2015. i.MX 6Dual/6Quad Applications Processor Reference Manual, Rev. 3,07/2015. IMX6DQRM.Google ScholarGoogle Scholar
  23. Risat Mahmud Pathan. 2014. Fault-tolerant and real-time scheduling for mixed-criticality systems. Real-Time Syst. 50, 4 (2014), 509--547. DOI:http://dx.doi.org/10.1007/s11241-014-9202-z Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Michael Paulitsch, Oscar Medina Duarte, Hassen Karray, Kevin Mueller, Daniel Muench, and Jan Nowotsch. 2015. Mixed-criticality embedded systems - A balance ensuring partitioning and performance. In Proceedings of the 2015 Euromicro Conference Digital System Design(2015), 453--461. DOI:http://dx.doi.org/10.1109/DSD.2015.100 Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Rodolfo Pellizzoni, Emiliano Betti, Stanley Bak, Gang Yao, John Criswell, Marco Caccamo, and Russell Kegley. 2011. A predictable execution model for COTS-based embedded systems. Real-Time Technol. Appl. - Proc. (2011), 269--279. DOI:http://dx.doi.org/10.1109/RTAS.2011.33 Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. J. Rushby. 1999. Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance, NASA Langley Research Center, NASA CR-1999-209347Google ScholarGoogle Scholar
  27. F. W. Scholz and M. A. Stephens. 1987. K-sample Anderson-Darling tests. J. Am. Stat. Assoc. 82, 399 (1987), 918--924. DOI:http://dx.doi.org/10.1080/01621459.1987.10478517 Google ScholarGoogle ScholarCross RefCross Ref
  28. 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.Google ScholarGoogle Scholar
  29. M. A. Stephens. 1974. EDF statistics for goodness of fit and some comparisons. J. Am. Stat. Assoc. 69, 347 (1974), 730--737. DOI:http://dx.doi.org/10.1080/01621459.1974.10480196 Google ScholarGoogle ScholarCross RefCross Ref
  30. Steve Vestal. 2007. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Proceedings of the Real-Time Systems Symposium (2007), 239--243. DOI:http://dx.doi.org/10.1109/RTSS.2007.47 Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. Xilinx. 2015. Zynq-7000 All Programmable SoC Technical Reference Manual, v1.10. UG585.Google ScholarGoogle Scholar

Index Terms

  1. A Novel Method for Online Detection of Faults Affecting Execution-Time in Multicore-Based Systems

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!