Graduate Seminar with Pei Zhang: A Hardware/Software Co-design Framework for Deploying Runtime Verification Technique

Date(s) - 27 Feb 2019
1:10 PM - 2:00 PM

3043 ECpE Building Addition

Speaker: Pei Zhang, ECpE Graduate Student

Adviser: Phillip H. Jones and Kristin Y. Rozier

Title: A Hardware/Software Co-design Framework for Deploying Runtime Verification Technique

Abstract: Runtime verification (RV) of formal specifications has become essential for the operation of safety-critical real-time systems. Though many RV tools assume unlimited resource-support, e.g., for verification over software systems, in many flight-certified, embedded, or hardware systems (e.g., FPGAs), resources available for monitoring formal specifications are constrained. As a result, it is crucial to design an efficient memory model for verification over hardware platforms as well as to estimate the size of the specifications that can be handled based on resources with a fixed capacity. In this seminar, I will talk about the software compiler for interpreting temporal formulas for hardware, and how we embedded the runtime software-configurable hardware temporal logic computation core into a resource-constrained FPGA inside NASA’s Robonaut2.

Download event reminder

back to Seminars list

Events Calendar

<< Apr 2019 >>
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4

Contact Information

Interested in giving a seminar? Contact Professor Namrata Vaswani.

Announcements and publicity by Kristin Clague, and scheduling by the department secretary.