Mulige Master-oppgaver hos Peter C. Ölveczky

Transkript

1 Masteroppgaver 1 Mulige Master-oppgaver hos Peter C. Ölveczky peterol

2 Masteroppgaver 2 Peter C. Ölveczky 1. amanuensis ved PMA-gruppen peterol@ifi.uio.no Kontor: 3403, Ifi Forskning: utvikling av formalismen og verktøyet Real-Time Maude for høynivå spesifikasjon og analyse av sanntids datasystemer

3 Masteroppgaver 3 Formell modellering og analyse i Maude Høynivå formell modellering, simulering, og analyse høyt abstraksjonsnivå: ikke fikling, men fokus på essensen/idéen til systemet modellering/programmering i en funksjonell/deklarativ stil applikasjoner: avanserte kommunikasjons-, sikkerhetsskedulerings- og trådløse sensor-nettverk-protokoller Maude state-of-the-art formelt verktøy Maude-kurset : INF3230/4230 Formell modellering og analyse av kommuniserende systemer

4 Masteroppgaver 4 Real-Time Maude Jeg er hovedutvikler av Real-Time Maude Utvidelse av Maude til å modellere og analysere sanntids datasystemer Stabil versjon 2.1, se Ment å komplementere andre formalismer og metoder, som timed automaton-baserte formalismer tradisjonell nettverks-simulering og testing Foreløpig brukt av forskere i USA, Norge, Brasil, Canada,..., inklusive i U.S. Air Force Regnes som en viktig del av Maude-prosjektet

5 Masteroppgaver 5 Real-Time Maude Applikasjoner Ny multicast protokoll under utvikling av IETF (hovedfagstudine ved HF, UiO) AER/NCA protokoll for multicast i aktive nettverk Real-Time Maude analyse fant alle signifikante designfeil i protokollen som utviklerne oppdaget ved tradisjonell testing og simulering, og i tillegg noen ekstra Nye avanserte scheduling protokoller for hard real-time systems Trådløse sensor-nettverk protokoller (USAF, UIUC, UCI, masteroppgave UiO)

6 Masteroppgaver 6 Klasser av Real-Time Maude oppgaver Ved utvikling av nytt verktøy: Utvikle verktøyet teoretisk og praktisk (eks: nye simulerings- og analysemetoder) Sammenligne med andre verktøy, ofte ved benchmark eksempler Seriøs testing ved å bruke det på avanserte sanntidssystemer

7 Masteroppgaver 7 Mulige Master-oppgaver I Teoretisk og praktisk utvikling av verktøyet: Abstraksjonsteknikker. Dette er en utfordring for flinke studenter Monitoring-teknikker Andre slags light-weight analyse-teknikker Simuleringsteknikker for bestemte klasser av applikasjoner. Symbolske teknikker (narrowing etc)

8 Masteroppgaver 8 Mulige Master-oppgaver II Spesifisere og resonnere om sannsynligheter det er 10% sannsynlighet at en melding går tapt en node starter opp med en sannsynlighet p vil systemet alltid være korrekt? vil systemet være korrekt med 80% sannsynlighet? noe statistikk nyttig Spesifisere hybride systemer noe matematikk kan være nyttig (diff. ligninger)

9 Masteroppgaver 9 Mulige Master-oppgaver III Sammenligne med klassiske benchmarks: enkel planovergang kontrollsystem for kraftverk produksjonsceller Man må sammenligne sin løsning med publiserte løsninger som bruker andre verktøy

10 Masteroppgaver 10 Mulige Master-oppgaver IV Seriøse applikasjoner: Flere trådløse sensornettverk-protokoller modellere protokoller og sammenligne ytelse ved simuleringer modellere andre state-of-the-art protokoller (Tidsavhengige sikkerhets-protokoller: Tesla)

11 Masteroppgaver 11 Mulige Master-oppgaver V Sammen med ND-gruppen (Griwodz, Halvorsen) tilbyr jeg en oppgave Formell modellering, simulering og analyse i Real-Time Maude av rekonfigurasjons-protokoller for interaktive multimedia applikasjoner ulike ideér fra ND-gruppa rundt lokal rekonfigurasjon av overlay ruting i en interaktiv applikasjon skal testes i Real-Time Maude utvikle både protokoll og modell til interaktive multimedia-applikasjoner som benytter peer-to-peer kommunikasjon fortrinnvis kort master-oppgave

12 Masteroppgaver 12 Mulige Master-oppgaver VI Sammenligne med konkurrentene: sammenligne med andre formelle verktøy for sanntidssystemer sammenligne med domene-spesifikke simuleringsverktøy i hvilken grad kan Real-Time Maude gjøre det som ulike simuleringsverktøy kan gjøre for simulering av trådløse sensornettverk? foreslå/implementere forberdringer/utvidelser av Real-Time Maude basert på dette

13 Masteroppgaver 13 Småplukk Dette var noen forslag Mulighet for andre oppgaver/temaer Både korte og lange oppgaver Anbefalt forhåndskunnskap: forståelse av formalismen Maude tilsvarende gitt i kurset INF3230/INF4230 ( Formell Modellering og Analyse av Kommuniserende Systemer ) eller tilsvarende kunnskaper