
Dissecting Robust Resource Partitioning, Robust Time Partitioning, and Robust Partitioning in CAST-32A
Technical Paper
2021-01-5101
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Event:
Automotive Technical Papers
Language:
English
Abstract
CAST-32A strategy for MCP certification builds upon the key terms of robust resource partitioning, robust timing partitioning, and robust partitioning. In this work, we provide technical insight on the interpretation of these terms by building on derivative terms such as resource capacity, capacity allocation, and capacity verification and violation. We discuss on the scope of applicability of these terms from the low-level hardware components up to the complete MCP platform. We also dig into the complexities in implementing robust resource and time partitioning, and show that those concepts must be applied bottom-up from hardware-shared resources up to the whole platform. We also show that, while robust resource partitioning is the preferred choice, it can only be realistically applied to some resources and, in many cases, robust time partitioning is the only choice. These considerations help to homogenize these terms, so far indistinctly used by software, hardware, and certification experts, as a building block to derive satisfactory approaches and tools to achieve CAST-32A objectives.
Authors
Citation
Cazorla, F., Abella, J., and Mezzetti, E., "Dissecting Robust Resource Partitioning, Robust Time Partitioning, and Robust Partitioning in CAST-32A," SAE Technical Paper 2021-01-5101, 2021, https://doi.org/10.4271/2021-01-5101.Also In
References
- CAST-32A 2016
- RTCA 2005
- Lin , J. et al. Enabling Software Management for Multicore Caches with a Lightweight Hardware Support ACM/IEEE Conference on High Performance Computing, SC Portland, OR 2009
- A Survey of Techniques for Cache Partitioning in Multicore Processors ACM Computing Surveys 50 2 2017 1 39
- Agirre , I. , Abella , J. , Azkarate-Askasua , M. , and Cazorla , F.J. On the Tailoring of CAST-32A Certification Guidance to Real COTS Multicore Architectures IEEE International Symposium on Industrial Embedded Systems (SIES) Toulouse, France 2017
- U.S. Department of Transportation 2000
- Fernández , M. , Gioiosa , R. , Quiñones , E. , Fossati , L. et al. Assessing the Suitability of the NGMP Multi-Core Processor in the Space Domain ACM International Conference on Embedded Software (EMSOFT ’12) Tampere, Finland 2012 https://doi.org/10.1145/2380356.2380389
- Hassan , M. and Pellizzoni , R. Analysis of Memory-Contention in Heterogeneous COTS MPSoCs Euromicro Conference on Real-Time Systems (ECRTS) Modena, Italy 2020
- AURIX™ TC39xXA 2019
- Xilinx 2019
- Fernandez , G. et al. Introduction to Partial Time Composability for COTS Multicores 30th Annual ACM Symposium on Applied Computing (ACM SAC) Salamanca Spain 2015
- Palomo , X. et al. Tracing Hardware Monitors in the GR712RC Multicore Platform: Challenges and Lessons Learnt from a Space Case Study 32nd Euromicro Conference on Real-Time Systems, ECRTS Modena, Italy 2020
- RTCA, Inc. 2021
- RTCA, Inc. 2000
- Wilhelm , R. et al. The Worst-Case Execution-Time Problem—Overview of Methods and Survey of Tools ACM Trans. Embedded Comput. Syst. 7 3 2008 36:1 36:53
- Abella , J. et al. WCET Analysis Methods: Pitfalls and Challenges on Their Trustworthiness 10th IEEE International Symposium on Industrial Embedded Systems, SIES Siegen, Germany 2015
- Wilhelm , R. and Reineke , J. Embedded Systems: Many Cores—Many Problems 7th IEEE International Symposium on Industrial Embedded Systems, SIES Karlsruhe, Germany 2012
- International Organization for Standardization 2009
- Pérez-Cerrolaza , J. et al. Multi-core Devices for Safety-Critical Systems: A Survey ACM Computing Surveys 53 4 2020 79:1 79:38
- Nowotsch , J. et al. Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement 26th Euromicro Conference on Real-Time Systems (ECRTS) Madrid, Spain 2014
- Mancuso , R. , Pellizzoni , R. , Tokcan , N. , and Caccamo , M. WCET Derivation under Single Core Equivalence with Explicit Memory Budget Assignment 29th Euromicro Conference on Real-Time Systems (ECRTS) Dubrovnik, Croatia 2017
- Dasari , D. and Nelis , V. An Analysis of the Impact of Bus Contention on the WCET in Multicores 2012 IEEE 14th International Conference on High Performance Computing and Communication Liverpool, UK 2012
- Palomo , X. et al. Accurate ILP-Based Contention Modeling on Statically Scheduled Multicore Systems 25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS Montreal, QC, Canada 2019
- VanderLeest , S.H. and Thompson , S.R. Measuring the Impact of Interference Channels on Multicore Avionics 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) San Antonio, TX 2020
- Pellizzoni , R. et al. A Predictable Execution Model for COTS-Based Embedded Systems 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium Chicago, IL 2011