A Flexible Run-time Support for Distributed Dependable Hard Real-time Applications