ITI44107 Utvikling av kritiske systemer (Vår 2008)

Fakta om emnet

Studiepoeng:
10
Ansvarlig fakultet:
Avdeling for informasjonsteknologi
Emneansvarlig:
Rune Winther
Undervisningsspråk:
Norsk
Varighet:
½ år

Innholdsfortegnelse

Emnet er tilknyttet følgende studieprogram


Obligatorisk emne for masterstudiet i informatikk.

Forkunnskapskrav utover opptakskrav




Undervisningssemester


2. semester (vår).
Timer per uke: 4-6 timer forelesning 

Innhold


Emnet vil bli innledet med forelesninger om de grunnleggende metoder og prinsipper for utvikling av kritisk programvare. Deretter vil emnet i hovedsak være et gruppebasert prosjekt hvor studentene utvikler "kritiske" programmer.

Undervisnings- og læringsformer


Forelesninger og prosjekt.

Arbeidskrav - vilkår for å avlegge eksamen

Deltakelse i gruppearbeid.

Eksamen

Mappevurdering

  • Innlevering av 41 oppgaver innen fastsatt frist
  • Individuelt foredrag på grunnlag av innleverte oppgaver med påfølgende muntlig eksaminasjon ved faglærer og sensor

Vurdering gjøres på grunnlag av innleverte oppgaver, gjennomført foredrag samt muntlig eksaminasjon.
Det benyttes karakterskala A - F.

Ved ny og utsatt eksamen må kandidaten levere nye oppgaver som grunnlag for foredrag og muntlig eksaminasjon.

Litteratur


Safety-Critical Computer Systems, Neil Storey. Addison-Wesley.

Sist hentet fra FS (Felles studentsystem) 15. okt. 2026 05:02:11