Emne - Modelleringsteori for enbrikkesystemer og innvevde systemer - FE8119
Modelleringsteori for enbrikkesystemer og innvevde systemer
Undervises ikke studieåret 2010/2011
Om
Om emnet
Faglig innhold
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.
Læringsutbytte
Man skal studere og forstå de teoretiske modeller ("models of computation") som er logisk og beregningsmessig basis for forskjellige beskrivelser av enbrikkesystemer og innvevde systemer. Modellene vil også bli satt i sammenheng med relevante applikasjoner innen spesifikasjon, simulering, verifisering og syntese. Formålet er å gi studentene et grunnlag til å vurdere og videreutvikle prinsipper for systembeskrivelse og de abstraksjoner man håndterer.
Læringsformer og aktiviteter
Kollokvier, selvstudium, obligatorisk semesteroppgave.
Anbefalte forkunnskaper
TFE4175 Realisering og test av digitale komponenter, TFE4170 Enbrikkesystemer, eller tilsvarende kunnskaper.
Kursmateriell
Axel Jantsch: "Modeling Embedded Systems and SOC's" (Morgan Kaufmann/Elsevier Science, 2004, 351 sider)
Utvalgte artikler.
Fagområder
- Elektronikk
- Elektroteknikk
- Teknologiske fag