ITI44107 Utvikling av kritiske systemer (Vår 2009)

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.