Faglig innhold

Kurset dreier seg om hvordan man konstruerer effektive og pålitelige programvareløsninger for distribuerte reaktive systemer generelt og telematikksystemer spesielt, med utgangspunkt i en formell spesifikasjon uttrykt med språket UML.
Det er seks hovedtemaer i kurs: 1) Implementering av tilstandsmaskin: Syntaks, semantikk og realiseringsaspekter av eksekverbare tilstandsmaskin diskuteres. 2) Implementasjonsdesign: Her lærer man om hvordan eksisterende spesifikasjoner kan bli overført til tekniske komponenter. I tillegg skal man forstå hvordan systemspesifikasjoner kan tilpasses slik at behov av spesiell maskinvare blir oppfylt. 3) Programvaredesign: Mønster of metoder som er nødvendig for å lagre eventdreven programvare undervises. Det inkluderer intern organisasjon og grensesnittaspekter av programvarekomponenter. 4) Systemutvikling med Reactive Blocks: Studenten skal lære seg å forstå systemer på forskjellige spesifikasjonstrinn, bruk av applikasjonsmønstere i programvareutvikling og modelbasert programvareutvikling i praksis.
5) Applikasjonsdesign: Strukturen av moderne systemer i Internet of Things området blir diskutert. Det behandles særlig relevante aspekter som tidsnok reaksjon og kommunikasjon. 6) Testing: Studentene skal lære om hovedidéene og metoder for å teste systemer.

Læringsutbytte

A. Kunnskap:
1) Den generelle karakteren av distribuerte og reaktive systemer, hvordan systemene kan modelleres, og rollen modellering spiller for å garantere at utviklingsprosessen er ferdig i tide og leder til systemer av høy kvalitet.
2) Utvalgte modelleringspråk, metoder og verktøy, spesielt språk brukt i industriell praksis som UML og TTCN.
3) Generelle prinsipp for å tilfredsstille sanntids-, pålitelighets- og ytelserestriksjoner.
4) Systemvalidering gjennom testing.
5) Implementasjonsdesign: De prinsipielle forskjellene mellom spesifikasjons- og designmodeller og deres realisering i maskin- og programvare, inkludert vesentlige vekselvirkninger mellom design og implementering og deres løsninger.
6) Verktøy for spesifikasjon, design, implementering og analyse: Modellbasert utvikling fra abstrakte systemmodeller via designsyntese til kodegenerering og eksekvering.

B. Ferdigheter:
1) Analyse av eksisterende systemer, nettbaserte tjenester og applikasjoner.
2) Spesifikasjon, design og implementering av nye systemer, nettbaserte tjenester og applikasjoner som oppfyller fastlagte krav.
3) Praktisk utvikling, eksekvering og bruk av utvalgte tjenester som Javabaserte plattformer for distribuerte mobile tjenester.

C. Generell kompetanse:
1) Anvendelse av prinsippene for programvaredesign av distribuerte sanntidssystemer.
2) Grunnleggende forståelse for mekanismene i støttesystemer og plattformer og konkret erfaring i realisering av et telesystem ved hjelp av en UML-basert utviklingsteknikk og et Java rammeverk.

Læringsformer og aktiviteter

Kurset blir undervist etter prinsippet av team-basert læring.
Opplegget består individuell læring, gruppearbeid og forløpende tilbakemelding. Hensikten er at studenter skal delta mer aktivt i kurset. Prinsippet er forklart på www.teambasedlearning.org.
Gjennom semesteret får studentene tilbakemelding på læringsfremgang gjennom flere tester (readiness assurance tests), som også teller til sluttkarakter.

Anbefalte forkunnskaper

TTM4115 Design av reaktive systemer 1 eller tilsvarende forkunnskaper.

Kursmateriell

Oppgis ved semesterstart.

Studiepoengreduksjon