Eksekveringsstrategier for sanntidssystemer

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.

 

Emneord: strategier, Maude, formelle metoder
Publisert 5. okt. 2022 13:02 - Sist endret 5. okt. 2022 13:02

Veileder(e)

Omfang (studiepoeng)

60