Run-time Detection in Parallel and Distributed Systems : AnApplication to Safety-Critical