A real-time implementation of the Processing Graph Method (PGM) on top of litmus-rt.