Modelleringsteori for enbrikkesystemer og innvevde systemer

Designmetodikk og systemmodeller, modeller for oppførsel, tilstandsmaskiner og samtidighet, modeller for tid, prosess-modeller, synkrone modeller, modeller for kommunikasjon, tids-basert modellering, grensesnitt mellom modell-domener, prosess-nettverk, non-determinisme og probabilitet.

A Kunnskaper: 1 - Studenten skal forstå og kunne bruke de avanserte teoretiske modeller ("models of computation") som er logisk og beregningsmessig basis for forskjellige beskrivelser av enbrikkesystemer og innvevde systemer. 2 - Studenten skal forstå hvordan slike avanserte modeller vil bli satt i sammenheng med relevante applikasjoner innen spesifikasjon, simulering, verifisering og syntese. B Ferdigheter: 1 - Studenten skal kunne vurdere og videreutvikle prinsipper for systembeskrivelse og de abstraksjoner man håndterer i spesifikasjon, simulering, verifisering og syntese av enbrikkesystemer og innvevde systemer.

Kollokvier, selvstudium, obligatorisk semesteroppgave.