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. Utvikle nye analysemetoder for Real-Time Maude ved bruk av, f. eks. av symbolske teknikker som narrowing og eventuelt SAT-solving.
  2. Kombinere Real-Time Maude med sannsynligheter for å modellere og analysere "probabilistic real-time systems".
  3. Integrere Real-Time Maude ved statistiske modellsjekkere som MultiVeStA.
  4. Formalisere deler av modelleringsstandarden AADL for flysystemer i Real-Time Maude.
  5. Analysere ulike slags protokoller for cloud computing systemer i Maude/Real-Time Maude.
  6. Selvkjørende biler begynner å bli "in" nå, så man kan også jobbe med å formalisere og analysere ulike bevegelsesmønstre til biler i trafikk.

 

Published Sep. 16, 2025 12:55 PM - Last modified Sep. 16, 2025 12:56 PM

Supervisor(s)

Scope (credits)

60