Timing Verification of Undocumented Multicore
Abstract
Today, almost all computers use multicore processors. Unfortunately, satisfying hard realtime requirements of software executing on such computers is challenging because the timing depends on how resources in the memory system are shared and this information is typically not publicly available. Therefore, this project, Timing Verification of Undocumented Multicore, has addressed this problem
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 2018
- Accession Number
- AD1144004
Entities
People
- Björn Andersson
Organizations
- Carnegie Mellon University