Runtime Monitoring of Inter- and Intra-Thread Requirements on Embedded MPSoCs
Marcel Mettler, Daniel Mueller-Gritschneder, Ulf Schlichtmann · 2020
Design time verification of systems executing multiple concurrent applications is a complex and error-prone task. Hence, runtime verification (RV) using runtime monitors has emerged as a new method for, e.g., integration tests. Additionally, standards such as AUTOSAR propose additional safety mechanisms called logical and timing supervision, which verify at runtime whether certain program points occur in a pre-defined order and within certain time. Especially for embedded MPSoCs, light-weight runtime monitoring hardware is required in order to minimize power and performance overhead for RV as well as logical and timing supervision.In this paper, we propose a decentralized monitoring architecture for embedded MPSoCs. This runtime monitoring system supports inter- and intra-thread requirements. By sharing the monitoring resources between different threads, the system is able to concurrently monitor multiple threads and applications with minimal hardware and performance overhead. Furthermore, we introduce runtime monitoring diagrams (RMDs) for the formal representation of inter- and intra-thread requirements. The monitoring system is demonstrated for a LEON3-based MPSoC implemented on a Virtex-7 FPGA executing a multithreaded application.