Emne - Design av cyber-fysiske systemer - TTM4160
TTM4160 - Design av cyber-fysiske systemer
Om emnet
Vurderingsordning
Faglig innhold
Kurset dreier seg om hvordan man konstruerer effektive og pålitelige programvareløsninger for distribuerte cyber-fysiske systemer, med utgangspunkt i en formell spesifikasjon uttrykt med språket UML. Det er seks hovedtemaer i kurs:
- Tilstandsmaskin: Syntaks, semantikk og realiseringsaspekter av eksekverbare tilstandsmaskin diskuteres.
- Implementasjonsdesign: Her lærer man hvordan eksisterende spesifikasjoner kan bli overført til tekniske komponenter. I tillegg skal man forstå hvordan tilstandsmaskin kan brukes slik at behov av spesiell maskinvare blir oppfylt.
- Programvaredesign: Mønster og metoder som er nødvendig for å lagre eventdreven programvare undervises. Det inkluderer intern organisasjon og grensesnittaspekter av programvarekomponenter.
- Cyber-fysiske systemer: Basiskunnskap om cyber-fysiske systemer blir introdusert. Det inneholder metoder som støtter styringen av slike systemer som ofte produserer store datamengder. Særlig, interessante kommunikasjonsarkitekturer og -protokoller diskuteres.
- Design av IoT og ITS systemer: "Internet of Things" og "Intelligent Transportation Systems" er to viktige applikasjonsområder for cyber-fysiske systemer. Studentene vil lære teknologier å utvikle slike systemer som hyppig må oppfylle strikte sanntids- og sikkerhetskrav. Den lærte kunnskapen skal fordypes gjennom utvikling av et større eksempelsystem.
- Testing: Studentene skal lære om hovedidéene og metodene for å teste systemer.
Læringsutbytte
A. Kunnskap:
- Den generelle karakteren av distribuerte cyber-fysiske 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.
- Utvalgte modelleringspråk, metoder og verktøy, spesielt språk brukt i industriell praksis som UML og TTCN.
- Generelle prinsipp for å tilfredsstille sanntids-, pålitelighets- og ytelserestriksjoner.
- Systemvalidering gjennom testing.
- 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.
- Verktøy for spesifikasjon, design, implementering og analyse: Modellbasert utvikling fra abstrakte systemmodeller via designsyntese til kodegenerering og eksekvering.
B. Ferdigheter:
- Analyse av eksisterende cyber-fysiske systemer.
- Spesifikasjon, design og implementering av nye cyber-fysiske systemer som oppfyller fastlagte krav.
- Praktisk utvikling, eksekvering og bruk av utvalgte tjenester som Javabaserte plattformer for distribuerte mobile tjenester.
C. Generell kompetanse:
- Anvendelse av prinsippene for programvaredesign av distribuerte cyber-fysiske systemer.
- Grunnleggende forståelse for mekanismene i støttesystemer og plattformer og konkret erfaring i realisering av et cyber-fysisk system ved hjelp av en UML-basert utviklingsteknikk og et Java rammeverk.
Læringsutbyttet av dette kurset er knyttet til konstruksjon av cyber-fysiske systemer som kan bli ryggraden i digitale infrastrukturer. Dermed er slike systemer kritiske for samfunnet og må derfor implementere funksjoner på en robust, sikker og effektiv måte. Derfor er disse systemene direkte relatert til FNs bærekraftsmål (SDG) 9 (Industri, innovasjon og infrastruktur). Indirekte bidrar slike systemer også til andre bærekraftsmål som muliggjørende teknologi i ulike områder, særlig mål 2 (Utrydde sult), 3 (God helse og livskvalitet), 7 (Ren energi til alle) og 11 (Bærekraftige byer og lokalsamfunn).
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. For å kunne gå opp til eksamen må en student klare minst 40% av poengene i readiness assurance testene.
Mer om vurdering
Tre delvurderinger gir grunnlag for sluttkarakteren i emnet, individuelle flervalgstester (RATs), team RATs og en muntlig avsluttende eksamen som teller henholdsvis 15, 15 og 70% av sluttkarakteren. Alle tre delene må være bestått for å få bestått sluttkarakter. Vurdering for hver av delene angis med bokstavkarakter. Dersom en student også etter utsatt eksamen har sluttkarakteren F/ikke-bestått, må studenten gjenta hele emnet. Også ved frivillig gjentak må alle tre delvurderingene gjentas.
Anbefalte forkunnskaper
TTM4115 Design av reaktive systemer 1 eller tilsvarende forkunnskaper.
Kursmateriell
Oppgis ved semesterstart.
Studiepoengreduksjon
| Emnekode | Reduksjon | Fra | Til |
|---|---|---|---|
| SIE5065 | 7.5 |
Ingen
Versjon: 1
Studiepoeng:
7.5 SP
Studienivå: Høyere grads nivå
Termin nr.: 1
Undervises: HØST 2023
Undervisningsspråk: Engelsk
Sted: Trondheim
- Program/system-utvikling
- Telematikk
- IKT
- Sivilingeniør
- Teknologiske fag
Ansvarlig enhet
Institutt for informasjonssikkerhet og kommunikasjonsteknologi
Eksamensinfo
Vurderingsordning: Samlet karakter
- Termin Statuskode Vurdering Vekting Hjelpemidler Dato Tid Eksamens- system Rom *
-
Høst
ORD
Individuelle flervalgstester (RATs)
15/100
E
Utlevering
06.09.2023Innlevering
02.11.2023
10:00
12:00 -
Rom Bygning Antall kandidater -
Høst
ORD
Team flervalgstester (RATs)
15/100
E
Utlevering
06.09.2023Innlevering
02.11.2023
10:00
12:00 -
Rom Bygning Antall kandidater - Høst ORD Muntlig eksamen 70/100 A 21.12.2023
-
Rom Bygning Antall kandidater - Sommer UTS Muntlig eksamen 70/100 A
-
Rom Bygning Antall kandidater
- * Skriftlig eksamen plasseres på rom 3 dager før eksamensdato. Hvis mer enn ett rom er oppgitt, finner du ditt rom på Studentweb.
For mer info om oppmelding til og gjennomføring av eksamen, se "Innsida - Eksamen"