Oppgaver innen formell modellering og analyse ved bruk av Maude og Real-Time Maude

Jeg veileder gjerne oppgaver innen formell modellering og analyse ved bruk av omskrivningslogikk-formalismen og verktøyet Maude og dets utvidelse Real-Time Maude. I tillegg kan man videreutvikle Real-Time Maude.

Jeg er åpen for hva slags systemer man skal modellere, så velg gjerne selv noen områder/systemer du ønsker å jobbe med.

Vi kan sikkert finne noe som er interesant både for kort og lang oppgave.

Noen eksempler på konkrete masteroppgaver kan være:

  1. Modellering og analyse av state-of-the-art skeduleringsalgoritmer for multicore maskiner utviklet av ledende forskere ved University of Illinois.
  2. Utvikle nye analysemetoder for Real-Time Maude ved bruk av, f. eks. av symbolske teknikker som narrowing og eventuelt SAT-solving.
  3. Kombinere Real-Time Maude med sannsynligheter for å modellere og analysere "probabilistic real-time systems".
  4. Integrere Real-Time Maude ved statistiske modellsjekkere som MultiVeStA.
  5. Formalisere deler av modelleringsstandarden AADL for flysystemer i Real-Time Maude.
  6. Analysere ulike slags protokoller for cloud computing systemer i Maude/Real-Time Maude.
  7. Selvkjørende biler begynner å bli "in" nå, så man kan også jobbe med å formalisere og analysere ulike bevegelsesmønstre til biler i trafikk.

 

Publisert 16. sep. 2014 11:28 - Sist endret 16. sep. 2014 11:28

Veileder(e)

Omfang (studiepoeng)

60