ITI44107 Utvikling av kritiske systemer (Vår 2009)

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, studieretning Anvendt 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.
Arbeidskrav må være godkjent før studenten kan fremstille seg til eksamen.

Eksamen

Mappevurdering. Mappen består av

  • et prosjektarbeid i grupper (teller 60 %)
  • en 3 timers skriftlig eksamen (teller 40 %)

Det settes en samlet karakter. Det benyttes karakterskala A-F.

Ved ny og utsatt eksamen må både prosjektarbeid og skriftlig eksamen tas på nytt. Ved ny og utsatt eksamen avtales innholdet i prosjektarbeidet med faglærer.

Litteratur


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

Sist hentet fra FS (Felles studentsystem) 15. okt. 2026 05:04:36