In this paper, we present a prototype of the trajectory checker we have developed at IVEX.

We show how our approach works smoothly and accomplishes real-time constraints embedded in an Infineon AURIX™ TC397 automotive platform.

Finally, we measure the performance of our trajectory checker prototype against a set of NCAPS-inspired scenarios.