Empirical evidence for MPSoCs in critical systems: The case of NXP’s T2080 cache coherence

View/Open
Cita com:
hdl:2117/349215
Document typeConference lecture
Defense date2021
PublisherIEEE
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial
property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public
communication or transformation of this work are prohibited without permission of the copyright holder
ProjectUPC-COMPUTACION DE ALTAS PRESTACIONES VIII (AEI-PID2019-107255GB-C22)
MASTECS - Multicore Analysis Service and Tools for Embedded Critical Systems (EC-H2020-878752)
SuPerCom - Sustainable Performance for High-Performance Embedded Computing Systems (EC-H2020-772773)
MASTECS - Multicore Analysis Service and Tools for Embedded Critical Systems (EC-H2020-878752)
SuPerCom - Sustainable Performance for High-Performance Embedded Computing Systems (EC-H2020-772773)
Abstract
The adoption of complex MPSoCs in critical real-time embedded systems mandates a detailed analysis their architecture to facilitate certification. This analysis is hindered by the lack of a thorough understanding of the MPSoC system due to the unobvious and/or insufficiently documented behavior of some key hardware features. Confidence on those features can only be regained by building specific tests to both, assess whether their behavior matches specifications and unveil their behavior when it is not fully known a priori. In this work, we introduce a systematic approach that constructs this thorough understanding of the MPSoC architecture-- and assess against its specification in processor documentation -- with a focus on the cache coherence protocol in the avionics-relevant NXP T2080 architecture as our use-case. Our approach covers all transitions in the MESI cache coherence protocol, with emphasis on the coherence between DMA and processing cores. We build evidence of their behavior based on available debug support and performance monitors. Our analysis discloses unexpected behavior for coherence-related notifications as well as some hardware monitors.
CitationPujol, R. [et al.]. Empirical evidence for MPSoCs in critical systems: The case of NXP's T2080 cache coherence. A: Design, Automation and Test in Europe Conference and Exhibition. "Proceedings of the 2021 Design, Automation & Test in Europe (DATE 2021): 01–05 February 2021, virtual conference". IEEE, 2021, p. 1162-1165.
Publisher versionhttps://ieeexplore.ieee.org/document/9474078
Files | Description | Size | Format | View |
---|---|---|---|---|
coherence_T2080.pdf | Article | 168,8Kb | View/Open |