Distribuerte systemer er ofte meget ikke-deterministiske. Man kan styre kjøringen/analysen ved å definere eksekveringsstrategier (enkelt eksempel på en strategi: bruk regel r1, deretter regel r2, og gjenta dette til regel r1 ikke kan brukes lenger). Systemet/språket Maude har et ganske standard språk for å definere slike strategier (se kap 10 i Maude 3.2.1-manualen).
Oppgaven består i å lage et tilsvarende strategispråk for sanntidssystemer, og så implementere det i Maude. Dette skjer i samarbeid med forskere i Paris.
Oppgaven skulle passe for studenter som likte emnet IN2100.