ITI44107 Utvikling av kritiske systemer (Vår 2007)

Emnet er tilknyttet følgende studieprogram

Obligatorisk for alle masterstudenter

Forkunnskapskrav utover opptakskrav

Ingen utover opptak til masterstudiet.

Undervisningssemester

Tidspunkt/varighet: Vår 2007/ ett semester
Plass i utdanningen: 2. semester i masterstudiet
Timer pr. uke: 4-6

Innhold

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

Undervisnings- og læringsformer

Forelesninger og prosjekt

Eksamen

Skriftlig eksamen (40%) og prosjektarbeidet (60%). Både eksamen og prosjektarbeidet må bestås for at eksamen skal bestås. Karakterskala A - F.

Litteratur

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