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.
- 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 Scholar
- ARM. 2012a. Cortex-A9 Technical Reference Manual, Issue I. ARM DDI0388I (ID091612).Google Scholar
- ARM. 2012b. Cortex-A9 MPCore Technical Reference Manual, Issue I. ARM DDI0407I (ID091612).Google Scholar
- ARM. 2014. ARM Architecture Reference Manual, Issue C.c. ARM DDI 0406C.c (ID051414).Google Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Alan Burns and Robert I. Davis. 2016. Mixed Criticality Systems - A Review 7th ed., University of York.Google Scholar
- Certification Authorities and Software Team. 2014. Position Paper CAST-32, Multi-core Processors, Federal Aviation Administration/European Aviation Safety Agency.Google Scholar
- Gregory W. Corder and Dale I. Foreman. 2014. Nonparametric Statistics: A Step-by-Step Approach (2nd ed.). Wiley, New York.Google Scholar
- 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 Scholar
- Jean D. Gibbons and Subhabrata Chakraborti. 2010. Nonparametric Statistical Inference (5th ed.). CRC Press, Boca Raton, FL.Google Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- Marco Luise and Giorgio M. Vitetta, Teoria dei Segnali 3/ed, McGraw-Hill, Milano, 2009.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- NXP. 2014. e6500 Core Reference Manual, Rev 0, 06/2014. E6500RM.Google Scholar
- NXP. 2015. i.MX 6Dual/6Quad Applications Processor Reference Manual, Rev. 3,07/2015. IMX6DQRM.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- J. Rushby. 1999. Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance, NASA Langley Research Center, NASA CR-1999-209347Google Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- Xilinx. 2015. Zynq-7000 All Programmable SoC Technical Reference Manual, v1.10. UG585.Google Scholar
Index Terms
A Novel Method for Online Detection of Faults Affecting Execution-Time in Multicore-Based Systems
Recommendations
A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems
SAFECOMP 2014: Proceedings of the 33rd International Conference on Computer Safety, Reliability, and Security - Volume 8666This paper presents a testing and simulated fault injection framework for time-triggered safety-critical embedded systems. Our approach facilitates the validation of fault-tolerance mechanisms by performing non-intrusive (SFI) on models of the system at ...
Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems
Model-Based Safety and AssessmentAbstractWith the recent popularity of model-based design and verification (MBDE), fault injection testing at the functional model level is gaining significant interest. The reason for this interest is it aids in detecting design errors and incorrect ...
Hardware support for WCET analysis of hard real-time multicore systems
ISCA '09: Proceedings of the 36th annual international symposium on Computer architectureThe increasing demand for new functionalities in current and future hard real-time embedded systems like automotive, avionics and space industries is driving an increase in the performance required in embedded processors. Multicore processors represent ...






Comments