Un protocollo per la schedulazione distribuita Hard Real-Time