course-details-portlet

TTM4115 - Systemering av distribuerte sanntidssystemer

Om emnet

Vurderingsordning

Vurderingsordning: Mappevurdering
Karakter: Bokstavkarakterer

Vurdering Vekting Varighet Delkarakter Hjelpemidler
Arbeider 25/100
Skriftlig eksamen 75/100 4 timer

Faglig innhold

Emnet dreier seg om formelle systemutviklingsmetoder som egner seg for distribuerte sanntidssystemer generelt og telematikksystemer spesielt. Hovedtemaene er:
-Systemmodellering generelt med hovedvekt på modellering av logisk oppførsel på en måte som er forståelig for mennesker og uavhengig av realiseringsspråk/programmeringsspråk.
- Språk for systemmodellering, spesielt UML, MSC, SDL og prosessalgebra.
- Metodikk for systemutvikling.
- Teknikker for verifikasjon og validering.
- Modelldrevet utvikling.

Læringsutbytte

Studentene skal erverve inngående kjennskap til språkene UML, MSC og SDL og bli i stand til å spesifisere og realisere systemer ved hjelp av disse språkene og tilhørende verktøy. Desuten skal de erverve grunnleggende kunnskap om metodikk for utvikling av distribuerte sanntidssystemer, samt kjennskap til språkene ASN.1 og CCS.

Læringsformer og aktiviteter

Forelesninger og øvinger. Det er en større semesteroppgave der studentene modellerer oppførselen til et telematikksystem ved hjelp av UML og MSC og realiserer systemet med automatisk kodegenerering til Java. Mappevurdering gir grunnlag for sluttkarakteren i emnet. I mappen inngår skriftlig avsluttende eksamen 75% og semesteroppgave 25%. Resultatet for delene angis i %-poeng, mens sensur for hele mappen (sluttkarakteren) angis med bokstavkarakter. Undervisning kan bli gitt på engelsk dersom internasjonale studenter velger emnet. Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.

Kursmateriell

Oppgis ved semesterstart.

Studiepoengreduksjon

Emnekode Reduksjon Fra Til
SIE5020 7.5
Flere sider om emnet

Ingen

Fakta om emnet

Versjon: 1
Studiepoeng:  7.5 SP
Studienivå: Tredjeårsemner, nivå III

Undervisning

Termin nr.: 1
Undervises:  VÅR 2011

Undervisningsspråk: Engelsk

-

Fagområde(r)
  • IKT
  • Program/system-utvikling
  • Sivilingeniør
  • Teknologiske fag
  • Telematikk
Kontaktinformasjon
Emneansvarlig/koordinator:

Ansvarlig enhet
Institutt for informasjonssikkerhet og kommunikasjonsteknologi

Eksamensinfo

Vurderingsordning: Mappevurdering

Termin Statuskode Vurdering Vekting Hjelpemidler Dato Tid Eksamens- system Rom *
Vår ORD Skriftlig eksamen 75/100 28.05.2011 09:00
Rom Bygning Antall kandidater
Vår ORD Arbeider 25/100
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.
Eksamensinfo

For mer info om oppmelding til og gjennomføring av eksamen, se "Innsida - Eksamen"

Mer om eksamen ved NTNU