• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Design, Automation and Test in Europe Conference and Exhibition >Empirical Evidence for MPSoCs in Critical Systems: The Case of NXP's T2080 Cache Coherence
【24h】

Empirical Evidence for MPSoCs in Critical Systems: The Case of NXP's T2080 Cache Coherence

机译：关键系统中MPsocs的经验证据：南方委员会T2080缓存一致性的情况

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The adoption of complex MPSoCs in critical realtime embedded systems mandates a detailed analysis of 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 in 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 line, in this work we develop a thorough understanding of the cache coherence protocol in the avionics-relevant NXP T2080 architecture.
机译：在关键实时嵌入式系统中采用复杂的MPSOCs制定了对其架构的详细分析，以方便认证。 由于某些关键硬件特征的不可吸取和/或不充分的行为，这种分析因缺乏对MPSOC系统的透彻理解。 对这些功能的信心只能通过对两者构建特定测试来重新恢复，评估他们的行为是否与规范匹配并在不完全已知的先验时揭示其行为。 在这一行中，在这项工作中，我们对航空数据相关的NXP T2080架构中的高速缓存相干协议进行了解。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号