 |
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. |
