Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Abstract

With the advent of always more complex computing platforms (e.g., multicore processors, many-core accelerators, network on chips, distributed systems interconnected with various communication networks) and the adoption of new computing paradigms to exploit the power of those architectures, verifying whether a system respects its functional (e.g. order of execution) and extra-functional (e.g., talk deadlines and minimum inter-arrival times) specifications became a big challenge. Static verificationhas proven limited either because of the state explosion problem as in the case of approaches based on model checking, or simply due to theoretical limitations related to the expressivity and decidability of approachesbased on deductive verification.