The realtime project has been the source of many of the
innovations that have found their way into the core kernel in the last
fifteen years or so. There is more to it than that, though; the wider realtime
community is also doing
interesting work in a number of areas that go beyond ensuring deterministic
response. One example is Daniel Bristot de Oliveira’s runtime
verification patch set, which can monitor the kernel to ensure that it
is behaving the way one thinks it should.

Source: LWN.net – [$] The runtime verification subsystem