Un protocollo per la schedulazione distribuita hard real-time

La notazione FERT introduce un formalismo per la strutturazione di applicazioni con requisiti di fault tolerance e vincoli di Real-Tirne. Il formalismo consente di strutturare l'applicazione in una serie di unità funzionali (anch'esse dette FERT) e di confinare al loro interno le misure e i meccanismi per la tolleranza ai guasti. Nell'ambito della problematica della realizzazione di questa notazione in ambienti Hard Real-Time distribuiti, questo articolo individua e affronta il problema di realizzare un supporto a run-tirne per pianificare l'esecuzione dei FERT. In particolare. delinea una possibile struttura distribuita di una macchina di supporto e di un pianificatore a controllo distribuito e propone un protocollo per l'intesa tra i componenti di quest'ultimo.