search menu icon-carat-right cmu-wordmark

Timing Verification of Undocumented Multicore

October 2018 Poster
Björn Anderson

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.