Toward System Certification of Real-Time Resource Management Middleware