Certification of Instrumentation Techniques For Resources Management of Real-Time Systems