search menu icon-carat-right cmu-wordmark
Carnegie Mellon University

Software Engineering Institute

  1. SEI
  2. Publications
  3. Digital Library
  4. Timing Verification of Undocumented Multicore

Timing Verification of Undocumented Multicore

October 2018 • Poster
Bjorn Andersson

This poster describes an abstraction and corresponding analysis that allow timing verification of undocumented hardware.

Publisher:

Software Engineering Institute

Abstract

The lack of timing verification of undocumented multicore is an obstacle for the use of multicore processors in safety-critical systems. In this project, we developed an abstraction and corresponding analysis that allow timing verification of undocumented hardware.