| RV: Runtime Verification |
| |
| Runtime Verification (RV) is a lightweight (yet rigorous) method that |
| complements classical exhaustive verification techniques (such as model |
| checking and theorem proving) with a more practical approach for |
| complex systems. |
| |
| The rv tool is the interface for a collection of monitors that aim |
| analysing the logical and timing behavior of Linux. |
| |
| Installing RV |
| |
| RV depends on the following libraries and tools: |
| |
| - libtracefs |
| - libtraceevent |
| |
| It also depends on python3-docutils to compile man pages. |
| |
| For development, we suggest the following steps for compiling rtla: |
| |
| $ git clone git://git.kernel.org/pub/scm/libs/libtrace/libtraceevent.git |
| $ cd libtraceevent/ |
| $ make |
| $ sudo make install |
| $ cd .. |
| $ git clone git://git.kernel.org/pub/scm/libs/libtrace/libtracefs.git |
| $ cd libtracefs/ |
| $ make |
| $ sudo make install |
| $ cd .. |
| $ cd $rv_src |
| $ make |
| $ sudo make install |
| |
| For further information, please see rv manpage and the kernel documentation: |
| Runtime Verification: |
| Documentation/trace/rv/runtime-verification.rst |