ITI44107 Utvikling av kritiske systemer (Vår 2008)

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.