Timing Verification of Undocumented Multicore

October 23, 2018 • Poster

By

Bjorn Andersson

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

Publisher

Software Engineering Institute

Subjects

Research Review

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.